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

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

✏️ Homework Deadlines

AssignmentTopicDue WeekDeadline
Homework 1📐 Set TheoryWeek 3Day before Test 1
Homework 2🔗 Binary RelationsWeek 7Day before Test 2
Homework 3⚡ Boolean AlgebraWeek 10Day before Test 3
Homework 4🧠 Formal LogicWeek 15Day before Test 4

💡 Submission: Upload via Dropbox link (shared in Telegram group)

📝 Test Schedule

TestCoverageWeekDuration
Test 1📐 Set Theory (Weeks 1-2)390 min
Test 2🔗 Binary Relations (Weeks 3-7)790 min
Test 3⚡ Boolean Algebra (Weeks 8-10)1090 min
Test 4🧠 Formal Logic (Weeks 11-15)1590 min

Format: Open book, individual work

🎓 Theoretical Minimums (TM)

ExamCoverageWeekDurationPassing Score
TM1📐 Set Theory + 🔗 Relations7120 min≥50%
TM2⚡ Boolean Algebra + 🧠 Logic15120 min≥50%

Format: Closed book, individual work

⚠️ Critical: You must pass BOTH TMs to receive course credit, regardless of your total points!

🎯 Final Exam

Coverage: All modules (Weeks 1-16)

Format & Duration:

ComponentFocusTime
✍️ WrittenProblem solving and proofs60 min
💬 OralConceptual understanding30 min
🔧 PracticalApplications and examples30 min

Date: During university exam period (announced later)


📌 Important Policies

  • Defense Required: All homework must be defended orally (scheduled individually via Telegram)
  • Make-ups: Available only for documented emergencies (medical, family, etc.)
  • Review Sessions: Scheduled before TMs and Final Exam

💡 Pro Tip: Start homework immediately when assigned. Cramming before deadlines leads to poor understanding and rushed defenses!