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

Key Deadlines

All times are 23:55 GMT+3 unless otherwise specified.

Homework Deadlines

AssignmentTopicDue Week
Homework 1Set TheoryWeek 3 (day before Test 1)
Homework 2Binary RelationsWeek 7 (day before Test 2)
Homework 3Boolean AlgebraWeek 10 (day before Test 3)
Homework 4Formal LogicWeek 15 (day before Test 4)

Test Schedule

TestCoverageWeek
Test 1Set Theory (Weeks 1-2)3
Test 2Binary Relations (Weeks 3-7)7
Test 3Boolean Algebra (Weeks 8-10)10
Test 4Formal Logic (Weeks 11-15)15

Format: 90 minutes, open book, individual work

Theoretical Minimums

ExamCoverageWeekPassing
TM1Set Theory + Binary Relations7≥50%
TM2Boolean Algebra + Formal Logic15≥50%

Format: 120 minutes, closed book, individual work

Critical: Must pass BOTH to receive course credit

Final Exam

Coverage: All modules (Weeks 1-16)

Components:

  • Written (60 min): Problem solving
  • Oral (30 min): Concepts and explanations
  • Practical (30 min): Applications

Date: During university exam period (TBA)

Important Notes

  • Homework: Submit via Dropbox link (provided in Telegram)
  • Defense: All homework requires oral defense (scheduled individually)
  • Make-ups: Available only for documented emergencies
  • Review sessions: Scheduled before major assessments

Pro tip: Start homework immediately when assigned. Don’t wait until the deadline!