0% found this document useful (0 votes)
97 views35 pages

Discrete Structure Introduction To Discrete Structure & Logic

This document provides an introduction to a course on discrete structures and logic. It discusses why the course is important for developing mathematical maturity needed for computer science topics that rely on discrete objects. The course will cover logic, sets, relations, functions, counting, recursion, probability, induction, and graph theory. Students will use a specified textbook and are encouraged to actively participate through doing exercises to fully understand the concepts from this foundational course.

Uploaded by

Mohsin Ali
Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as PPTX, PDF, TXT or read online on Scribd
0% found this document useful (0 votes)
97 views35 pages

Discrete Structure Introduction To Discrete Structure & Logic

This document provides an introduction to a course on discrete structures and logic. It discusses why the course is important for developing mathematical maturity needed for computer science topics that rely on discrete objects. The course will cover logic, sets, relations, functions, counting, recursion, probability, induction, and graph theory. Students will use a specified textbook and are encouraged to actively participate through doing exercises to fully understand the concepts from this foundational course.

Uploaded by

Mohsin Ali
Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as PPTX, PDF, TXT or read online on Scribd
You are on page 1/ 35

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

You might also like