cs2102

Discrete Mathematics

This is a preserved file from cs2102 Fall 2016. An updated version may exist at https://uvacs2102.github.io/

Posts

Fall 2017 Course 17 Mar, 2017

Final Exam Solutions 15 Dec, 2016

Problem Set Omega Highlights 14 Dec, 2016

Class 26: Wrap-Up 6 Dec, 2016

Practice Problems Solutions 2 Dec, 2016

Class 25: Cryptography 1 Dec, 2016

Class 24: Halting Problems 29 Nov, 2016

Final Exam Preparation 28 Nov, 2016

Trees Challenge 28 Nov, 2016

Problem Set 9 Solutions and Comments 27 Nov, 2016

Submitting Problem Set Omega 27 Nov, 2016

Class 23: Universal Machines 19 Nov, 2016

Exam 2 Solutions 19 Nov, 2016

Class 22: On Computable Numbers 17 Nov, 2016

Problem Set Omega 16 Nov, 2016

Class 21: Infinite Infinites, Exam 2 15 Nov, 2016

Class 20: Elections, Review 8 Nov, 2016

Problem Set 8 Solutions and Comments 5 Nov, 2016

Problem Set 7 Solutions and Comments 4 Nov, 2016

Class 19: Uncountable Sets 3 Nov, 2016

Problem Set 8 Revisions 3 Nov, 2016

Class 18: Infinite Sets 1 Nov, 2016

Problem Set 6 Comments 1 Nov, 2016

Problem Set 8 28 Oct, 2016

Class 17: Structural Induction 27 Oct, 2016

Class 16: Recursive Data Types 25 Oct, 2016

Problem Set 7 - Revised 23 Oct, 2016

Problem Set 7 21 Oct, 2016

Class 15: Stable Matchings 18 Oct, 2016

Problem Set 6 14 Oct, 2016

Class 14: Invariant Principle 13 Oct, 2016

Class 13: State Machines 11 Oct, 2016

Exam 1 Solutions 11 Oct, 2016

Problem Set 5 Comments 1 Oct, 2016

Three-Clause Challenge Refuted! 30 Sep, 2016

Anonymous Feedback Comments 29 Sep, 2016

Class 12: Review 29 Sep, 2016

Problem Set 4 Comments 29 Sep, 2016

Satisfiable Formula Challenge 28 Sep, 2016

Chicken vs. Egg Challenge 27 Sep, 2016

Class 11: Strong Induction 27 Sep, 2016

Self-Inverting Relations Challenge Solved! 24 Sep, 2016

Problem Set 5 23 Sep, 2016

Class 10: In(tro)duction 22 Sep, 2016

Problem Set 3 Comments 22 Sep, 2016

Class 9: Cardinality 20 Sep, 2016

Survey Questions (Part 3) 20 Sep, 2016

Anonymous Feedback Comments 19 Sep, 2016

Problem Set 2 Comments 19 Sep, 2016

Problem Set 4 16 Sep, 2016

Class 8: Relations 15 Sep, 2016

Generating PDFs 14 Sep, 2016

Anonymous Feedback Comments 13 Sep, 2016

Class 7: Sets 13 Sep, 2016

Problem Set 1 Comments 10 Sep, 2016

Survey Questions (Part 2) 10 Sep, 2016

Problem Set 3 9 Sep, 2016

Class 6: SAT Solving 8 Sep, 2016

Class 5: CNF, Quantifiers, and Proofs 6 Sep, 2016

Challenge Solved! 2 Sep, 2016

Problem Set 2 2 Sep, 2016

Class 4: Logical Formulas 1 Sep, 2016

Class 3: Well-Ordering Principle 30 Aug, 2016

Office Hours Posted 28 Aug, 2016

Survey Questions 27 Aug, 2016

Problem Set 1 26 Aug, 2016

Class 2: Proof Methods 25 Aug, 2016

Class 1: What makes it go? 23 Aug, 2016