Instructor: Benjamin Schroeter
| Lecture: | Monday | 8:00 - 9:30 | CW 212 |
| Wednesday | 8:00 - 9:30 | CW 212 | |
| Friday | 8:00 - 9:30 | CW 212 |
| Office hours: | Monday | 9:45 - 10:45 | WH 209 |
| Tuesday | 10:45 - 11:45 | WH 209 | |
| Wednesday | 9:45 - 10:45 | WH 209 |
This course covers mathematical basics as logic, sets, relations, functions, induction, recursion, counting methods, graphs, trees, and some elements of abstract algebra.
The course is based on Chapter 1-7, 9, 10, 12, 15 and 22 of Mathematics for Computer Science by Lehman, Leighton and Meyer.
You can find additional material as videos, online multiple choice questions and practice problems here and here.
The python-3 script presented in class on Febuary 8 is here and the one from Feburay 25 is here.
Find Leonards Euler's work here and more about TSP here.
You can find the syllabus here. The final exam takes place on Monday May 13 in S1 149 at 8am.
| Week 1 | 22 Jan. -- 25 Jan. | Introduction, Proofs and Sets [Ch. 1 and 4.1-4.2] |
| Week 2 | 28 Jan. -- 1 Feb. | Logic and Mathematical Structures - Functions and Binary Relations [Ch. 3 and 4] |
| Week 3 | 4 Jan. -- 8 Feb. | Finite Cardinality and the Well Ordering Principle [Sections 4.5, 15.1-15.5, 15.8 and 2] |
| Week 4 | 11 Feb. -- 15 Feb. | Induction, Proofs and Relations [Ch. 2 and 5] |
| Week 5 | 18 Feb. -- 22 Feb. | (Strong) Induction and State Machines [Ch. 5.2 and 6] |
| Week 6 | 25 Feb. -- 1 Mar. | Fast Exponentiation, Towers of Hanoi, and Merge Sort [Section 6.3, 22.1, 22.2] |
| Week 7 | 4 Mar. -- 8 Mar. | Stable Marriage and Recursive Data Types [Section 6.4 and 7.1] |
| Week 8 | 11 Mar. -- 15 Mar. | Review and Midterm |
| Week 9 | 25 Mar. -- 29 Mar. | Solutions Midterm, Reccursion and Arithmetic Expressions [Section 7.2-7.4] |
| Week 10 | 1 April -- 5 April | Number Theory and Cryptography [Ch. 9 + Ceasar's cypher and One-time-pad] |
| Week 11 | 8 April -- 12 April | Congruences, rings, Euler's theorem and RSA [Ch. 9] |
| Week 12 | 15 April -- 19 April | Practice - Number Theory, and Directed Graphs [Section 10.1-10.3] |
| Week 13 | 22 April -- 26 April | Directed Graphs and Simple Graphs [Section 10.3, 10.10 and 12.1-12.5] |
| Week 14 | 29 April -- 3 May | Colorings, Conectivity and Trees [Chapter 12.6-12.11] |
| Week 15 | 6 April -- 10 May | Review and Practice |
| Here are some exercises for the basic understandig. and solutions for exercise 17 |
| Homework set 1, set 2 and set 3. |
| In class practice problems set 1 and set 2. |