DISCRETE STRUCTURE

Introduction to Discrete Structure &

Logic

Instructor:
Engr.Sadaf Khan Gondal
Discrete Mathematics
 Why Are You Studying this Course

• This course will develop your mathematical maturity

• Discrete mathematics provides the mathematical
foundations for many computer science courses
• Data Structures
• Algorithm Analysis and Design
• Database Management Systems and Database Theory
• Compiler Construction
• Computer Security
• Digital Logic Design
• Artificial Intelligence
 Course Information
• Syllabus:
• Logic
• Sets
• Relations
• Functions.
• Combinatory: counting, permutations, combinations.
• Recursion
• Probibility
• Mathematical Induction
• Graph theory: Graphs and Trees
 Course Information

• Textbook:
• Discrete Mathematics and its Applications by Kenneth. H. Rosen,
7th Edition
• Discrete Mathematics with Application” by Susana. 4th edition,
2010
 
• How will you master Discrete Structures

• “I hear and I forget. I see and I remember. I do and

understand” - Chinese proverb
 Terminology
Discrete - Composed of distinct OR separable/unconnected parts.
(Opposite of continuous.)

Structures - Objects built up from simpler objects according to some

definite pattern.
 Introduction

• What is discrete mathematics?

• Part of mathematics devoted to the study of discrete
objects.
• Discrete means consisting of distinct or
unconnected elements.
• As computers are discrete object operating one jumpy,
discontinuous step at a time, Discrete Math is the right
framework for describing precisely Computer Science
concepts.
 Introduction

• What is discrete mathematics?

• In computer science we usually deal with finite,
discrete objects.
• For example, we cannot store a real number (infinite
precision) in a computer but can only store bits (finite
precisions).
Logic – 7
Statement – 8a
Examples – 8b
Truth Values of Propositions – 8c
Examples – 9a
Statements & Truth Values – 9b

T
T
F
F
Example – 10b
Understanding Statements – 11c
Example – 11b
Compound Statement – 12a
Symbolic Representation – 13a
Logical Connectives – 14a
Examples – 14b
Translating from English to
Symbols – 15
Translating from English to
Symbols – 16a
Translating from English to
Symbols – 16
Translating from English to
Symbols – 17a
Translating from English to
Symbols – 17b
Negation – 19
Truth Table for ~p – 20
Conjunction – 21
Truth Table for p ^ q – 22
Disjunction – 23
Truth Table for p q – 15