Lecture 1
Introduction to Discrete Mathematics and
Propositional Logic
S. Ahmed
CSE173 Discrete Mathematics
1
Discrete Mathemetics: Introduction
Discrete vs. Continuous
Continuous math example:
Given a fixed surface area, what are the dimensions of a c
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 computer circuits
Construct computer programs
Verify the
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 using rules of inference
Text:
It is not sunny this after
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. Ahmed
CSE173 Discrete Mathematics
4
Important sets in
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 does not rain or if it is not foggy, then the sailing rac