This page contains the slides presented during each one of the lectures.

The links will be updated periodically during the semester

Topic	Date	Link
Introduction and propositional logic	01/20/16	Lecture 1
Applications of propositional logic	01/25/16	Lecture 2
Proposition equivalence and proofs	01/27/16	Lecture 3
Quantifiers	02/01/16	Lecture 4
Introduction to proof methods	02/03/16	Lecture 5
Introduction to proof methods	02/08/16	Solved examples in class (no notes)
Introduction to proof methods	02/10/16	Solved examples in class (no notes)
Proof examples and Proof by Induction	02/15/16	Lecture 8
Proofs by Induction	02/17/16	Solved examples in class (no notes)
Exam 1	02/22/16
Proofs by Induction	02/24/16	Solved examples in class (no notes)
Sets	02/29/16	Lecture 12
Sets (operations, paradox)	03/02/16	Lecture 13
Sets (infinite, diagonalization)	03/07/16	Lecture 14
Introduction to Relations	03/09/16	Book 9.1
Operations on Relations	03/21/16	Book 9.1
Relation Representation	03/23/16	Book 9.3
Equivalence Relations	03/28/16	Book 9.5
Partitions and Equivalence Classes	03/30/16	Book 9.5
Exam 2	04/04/16
Functions and properties	04/06/16	Book 2.3
Formal languages	04/11/16	Lecture 22
Finite State Machines	04/13/16	Lecture 23
Regular Languages and Expressions	04/18/16	Lecture 24
NFA	04/20/16	Lecture 25
NFA DFA equivalence	04/25/16	Lecture 26
NFA epsilon. Turing Machine	04/27/16	Lecture 27 , Book 13.5 pages 888-892