CS107BKK
Mathematical Foundations of Computing

Faculty
Pavel Marvin
Lecturer at ITMO University, ICPC World Champion
Course length
Duration
Total hours
Credits
Language
Course type
Fee for single course
Fee for degree students
Skills you’ll learn
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
Session 1
Sets, relations, functions
Session 2
Boolean functions
Session 3
Proofs
Session 4
Probabilities
Session 5
Test 1
Session 6
Algorithm complexity
Session 7
Computational models
Session 8
Solvability, halt problem
Session 9
Complexity, P and NP
Session 10
Test 2
Session 11
Codes
Session 12
Finite state automata
Session 13
Formal grammar
Session 14
Graphs
Session 15
Final test
Course materials
Books
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
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 profileApply for this course
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.