Lecture 1
Introduction to Discrete Mathematics and
Propositional Logic
S. Ahmed
CSE173 Discrete Mathematics
1
Discrete Mathemetics: Introduction
Discrete vs. Continuous
Continuous math example:
Giv
Lecture 2
Application of Propositional Logic and
Propositional Equivalence
S. Ahmed
CSE173 Discrete Mathematics
1
Application of Propositional Logic
Specification of software and hardware
Design of co
Lecture 6
Introduction to Proofs
S. Ahmed
CSE173 Discrete Mathematics
1
Formal proofs
Allow us to infer new TRUE statements from known TRUE
statements.
S. Ahmed
CSE173 Discrete Mathematics
2
Proofs us
Lecture 7
Sets and Set Operations
S. Ahmed
CSE173 Discrete Mathematics
1
Basic Discrete Structures
S. Ahmed
CSE173 Discrete Mathematics
2
Set
S. Ahmed
CSE173 Discrete Mathematics
3
Representing sets
S
CSE 173: Discrete Mathematics
Sec 3 & 4, Faculty - SvA
Homework # 4, Total: 50 Points
Deadline: 17.06.2015
Rules of Inference (20 Points)
1. Use rules of inference to show that the hypotheses If it do