Keyboard shortcuts

Press or to navigate between chapters

Press S or / to search in the book

Press ? to show this help

Press Esc to hide this help

📅 Course Schedule

📖 See the detailed Weekly Plan and Key Deadlines for complete information.

🗓️ Semester Overview

WeeksModuleMajor Topics
1-2📐 Set TheorySets, operations, axioms
3-7🔗 Binary RelationsEquivalence, order, functions, lattices
6📐 Set Theory (cont.)Cardinality, infinity
8-10⚡ Boolean AlgebraLogic gates, circuits, minimization
11-16🧠 Formal LogicPropositional/predicate logic, proofs

✅ Assessment Timeline

WeekAssessmentCoverage
3📝 Test 1Set Theory
3✏️ Homework 1 dueSet Theory
7📝 Test 2Binary Relations
7✏️ Homework 2 dueBinary Relations
7🎓 TM1 (Colloquium)Set Theory + Relations
10📝 Test 3Boolean Algebra
10✏️ Homework 3 dueBoolean Algebra
15📝 Test 4Formal Logic
15✏️ Homework 4 dueFormal Logic
15🎓 TM2 (Colloquium)Boolean Algebra + Logic
Exam Week🎯 Final ExamAll modules

⚠️ Important: Homework is due the day before tests at 23:55 GMT+3.