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

Theoretical Minimums (Colloquiums)

Overview

“Theoretical Minimums” (TMs) are comprehensive exams testing deep understanding of theory and proof techniques. Called “minimums” because passing them is a minimum requirement for course completion.

  • 2 exams × 10 points = 20 total
  • 120 minutes each
  • Closed book
  • Must pass both (≥50%) to receive course credit

Schedule

ExamCoverageWeekPassing
TM1Set Theory + Relations7≥5.0/10
TM2Boolean Algebra + Logic15≥5.0/10

Purpose

Ensure you can:

  • State definitions and theorems precisely
  • Construct rigorous proofs
  • Explain concepts clearly
  • Make connections between topics
  • Demonstrate mathematical maturity

You cannot pass this course without theoretical understanding.

Key Pages

Difference from Tests

AspectTestsTMs
FocusComputationTheory, proofs
ResourcesOpen bookClosed book
Duration90 min120 min
Partial creditGenerousLimited
PassingNo minimumMust score ≥50%
Coverage1 module2+ modules

Retake Policy

If you fail a TM (< 50%):

  • One retake allowed
  • Scheduled 1-2 weeks later
  • May be more difficult or oral format
  • Retake score is final