Schedule

• Problem Set 1 due tomorrow (23 Jan, 8:29pm): [PDF] [Template]

Class

• Recap: Inference Rules and Soundness
• Contrapositive
• Introduction to Proof (Odd Square Theorem, Even Square Theorem)

10am Section: [Slides (PDF)] [Video]

2pm Section: [Slides (PDF)] [Video]

Schedule

• Problem Set 1 is now posted, and is due next Thursday (23 Jan, 8:29pm): [PDF] [Template]

Class

• Defining Boolean (Continued)
• Revisiting Propositions
• Implies (Logical operator)
• Axioms, Inference Rules, Predicates
• Soundness
• Contrapositive

10am Section: [Slides (PDF)] [Video]
2pm Section: [Slides (PDF)] [Video]

Schedule

• Problem Set 0 is due on Thursday (8:29pm) [PDF] [Overleaf Template]
• Read Chapter 1 of the MCS Book
• Problem Set 1 will be posted on Friday, and due next Thursday (23 Jan, 8:29pm)

Class

• Defense of Analog Computing
• “Hard” Problems
• Propositions
• Booleans
• Operations on Booleans

Note: Didn’t get to “Soundness”, but will on Friday.

10am Section: [Slides (PDF)] [Video]
2pm Section: [Slides (PDF)] [Video]

Schedule

• Read the Course Syllabus
• Problem Set 0 is due on Thursday (8:29pm) [PDF] [Overleaf Template]
• Read Chapter 1 of the MCS Book

Class

• What makes computers go?
• Introduction to Discrete Math (Kevin Bacon)
• Course Logistics
• Why discrete math?

10am Section: [Slides (PDF)] [Video (UVA Only)]
2pm Section: [Slides (PDF)] [Video (UVA Only)]

Welcome to cs2120: Discrete Math and Theory 1!

This is the public course website for UVA’s cs2120 Spring 2025 DMT course co-taught by David Evans and Aidan San.

There are two sections of the course:

• 10:00-10:50am on Mondays, Wednesdays, and Fridays in Olsson Hall 120
• 2:00-2:50pm on Mondays, Wednesdays, and Fridays in Rice Hall 130

Our first class meetings will be on Monday, 13 January 2025.

More material will be posted here as the beginning of the semester approaches, but feel free to reach out to either of the course teachers with any questions before then.