CS105BKK
Mathematical Foundations of Computing
Faculty
Bartosz Kostka
Software Developer at Google Waterloo
Course length
Duration
Total hours
Credits
Language
Course type
Fee for single course
Fee for degree students
Skills you’ll learn
Overview
This course will develop the ability to strictly formulate thoughts, express them as mathematical proofs and will teach students the basic concepts and methods in abstract mathematics used in computer science
Learning highlights
- Ability to carry out formal reasoning with the use of mathematical methods of proving.
- Knowledge of calculus of propositions and predicates and set theory.
- Ability to model and analyze problems in computer science.
- Understanding of the mathematical model of computation.
Course outline
15 classes
Mathematical proof and Induction
Mathematical proof and Induction
Propositional calculus (I)
Propositional calculus (I)
Propositional calculus (II)
Propositional calculus (II)
Quantificational logic
Quantificational logic
Review + Exam (I)
Review + Exam (I)
Sets
Sets
Relations
Relations
Functions
Functions
Graphs
Graphs
Review + Exam (II)
Review + Exam (II)
Arithmetic in Computing
Arithmetic in Computing
Big O Notation and Analysis
Big O Notation and Analysis
Finite State Automata
Finite State Automata
Formal Languages and Grammars
Formal Languages and Grammars
Review + Exam (III)
Review + Exam (III)
Prerequisites
High school mathematics
Methodology
12 assignments (after each non-exam session), each worth 10 points.
2 mid-term exams (session 5 and session 10) and one final exam (session 15), each worth 40 points.
In total, students can obtain 12*10+3*40=240 points.
The final grade will be equal to min(P, 200)/200*100 (%), where P is the number of points obtained by a student.
Grading
Software developer at Google Canada. Member of the team responsible for the Google Kick Start competition. Former high-school teacher, where he mostly focused on personal tutoring with gifted students. Within 6 years, his students won 7 medals in International Olympiad in Informatics (5 gold, 1 silver, and 1 bronze) and 22 medals in Polish Olympiad in Informatics. He helped to organize many national and international competitions: a member of the IOI Host Scientific Committee in 2019 and Baltic OI Scientific Committee in 2015, among others. Now he focuses on educating the youngest generation, being the chair of the jury, a problemsetter, and a member of the organizing committee of the Polish Junior Olympiad in Informatics. Retired sports programmer, International Grandmaster on Codeforces.
See full profileApply for this course
Mathematical Foundations of Computing
by Bartosz Kostka
Total hours
45 Hours
Dates
Nov 15 - Dec 03, 2021
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.