CS-205

Introduction to Discrtete Structures I


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