Studies
Admissions
The Institute
Resources
Studies
Admissions
The Institute
Resources
Studies
Admissions
The Institute
Resources

CS107BKK

Mathematical Foundations of Computing

Bangkok Campus
Jan 09, 2023 - Jan 27, 2023
This course will develop the ability to formalize the mathematical apparatus and will teach students the basic concepts and methods in abstract mathematics.
Bangkok Campus
Jan 09, 2023 - Jan 27, 2023
Pavel Marvin

Faculty

Pavel Marvin

Lecturer at ITMO University, ICPC World Champion

Course length

3 weeks

Duration

3 hours
per day

Total hours

45 hours

Credits

4 ECTS

Language

English

Course type

Offline

Fee for single course

€1500

Fee for degree students

€750

Skills you’ll learn

Discrete MathematicsComputational MathematicsBig-O NotationMathematics
OverviewCourse outlineCourse materialsPrerequisitesMethod & grading

Overview

Mathematics plays a huge role in computer science. For that reason, in this course we will learn how to build mathematical models of computational systems and analyze their properties.

Learning highlights

  • In this course, students will learn fundamental topics of discrete mathematics that they will later use in courses on algorithms, information systems, computer networks, etc.

Course outline

15 classes

Dive into the details of the course and get a sense of what each class will cover.
Monday
Tuesday
Wednesday
Thursday
Friday
Monday
1

Session 1

Sets, relations, functions

Tuesday
2

Session 2

Boolean functions

Wednesday
3

Session 3

Proofs

Thursday
4

Session 4

Probabilities

Friday
5

Session 5

Test 1

Monday
6

Session 6

Algorithm complexity

Tuesday
7

Session 7

Computational models

Wednesday
8

Session 8

Solvability, halt problem

Thursday
9

Session 9

Complexity, P and NP

Friday
10

Session 10

Test 2

Monday
11

Session 11

Codes

Tuesday
12

Session 12

Finite state automata

Wednesday
13

Session 13

Formal grammar

Thursday
14

Session 14

Graphs

Friday
15

Session 15

Final test

Prerequisites

High school mathematics.

Basic programming skills will be helpful.

Methodology

Classes will consist of lectures and problem-solving sessions where students will try to solve different problems related to the lecture theme. There will be a home assignment and three tests (2 intermediate and the final exam).

Grading

The final grade will be composed of the following criteria:
30% - Homeworks
20% - 1 intermediate test
20% - 2 intermediate tests
30% - Final test
Pavel Marvin

Faculty

Pavel Marvin

Lecturer at ITMO University, ICPC World Champion

Awards

  • ICPC World Champion 2004

    ICPC World Champion 2004

Pavel Mavrin started teaching algorithms while still a student and now has almost 20 years of teaching experience. He taught university students, high school students, and professional programmers. His course is published on his Youtube channel (https://www.youtube.com/pavelmavrin) He also participated in multiple programming competitions and won some titles including ICPC World Champion 2004

See full profile

Apply for this course

Snap up your chance to enroll before all spaces fill up.

Mathematical Foundations of Computing

by Pavel Marvin

Total hours

45 Hours

Dates

Jan 09 - Jan 27, 2023

Fee for single course

€1500

Fee for degree students

€750

How to secure your spot

Complete the form below to kickstart your application

Schedule your Harbour.Space interview

If successful, get ready to join us on campus

FAQ

Will I receive a certificate after completion?

Yes. Upon completion of the course, you will receive a certificate signed by the director of the program your course belonged to.

Do I need a visa?

This depends on your case. Please check with the Spanish or Thai consulate in your country of residence about visa requirements. We will do our part to provide you with the necessary documents, such as the Certificate of Enrollment.

Can I get a discount?

Yes. The easiest way to enroll in a course at a discounted price is to register for multiple courses. Registering for multiple courses will reduce the cost per individual course. Please ask the Admissions Office for more information about the other kinds of discounts we offer and what you can do to receive one.