Course Schedule
See the detailed weekly plan and key deadlines.
Semester Overview
| Weeks | Module | Major Topics |
|---|---|---|
| 1-2 | Set Theory | Sets, operations, axioms |
| 3-7 | Binary Relations | Equivalence, order, functions, lattices |
| 6 | Set Theory (cont.) | Cardinality, infinity |
| 8-10 | Boolean Algebra | Logic gates, circuits, minimization |
| 11-16 | Formal Logic | Propositional/predicate logic, proofs |
Assessment Timeline
| Week | Assessment | Coverage |
|---|---|---|
| 3 | Test 1 | Set Theory |
| 3 | Homework 1 due | Set Theory |
| 7 | Test 2 | Binary Relations |
| 7 | Homework 2 due | Binary Relations |
| 7 | TM1 | Set Theory + Relations |
| 10 | Test 3 | Boolean Algebra |
| 10 | Homework 3 due | Boolean Algebra |
| 15 | Test 4 | Formal Logic |
| 15 | Homework 4 due | Formal Logic |
| 15 | TM2 | Boolean Algebra + Logic |
| Exam Week | Final Exam | All modules |
Note: Homework is due the day before tests at 23:55 GMT+3.