SlideShare a Scribd company logo
Sindh Madressatul Islam
University, Karachi
Department of Information
Technology
COURSE INTRODUCTION
Course Code
MAT-104
Course Title
Discrete Structure
Credit Hours
3+0 (3hr)
COURSE OBJECTIVES
 Mathematical reasoning: introduction to logic, propositional and
predicate calculus; negation disjunction and conjunction; implication
and equivalence; truth tables; predicates; quantifiers; natural
deduction; rules of Inference; methods of proofs; use in program
proving; resolution principle; Set theory: Paradoxes in set theory;
inductive definition of sets and proof by induction; Relations,
representation of relations by graphs; properties of relations,
equivalence relations and partitions; Partial orderings; Linear and
wellordered sets; Functions: mappings, injection and surjection,
composition of functions; inverse functions; special functions; Peano
postulates; Recursive function theory; Elementary combinatorics;
counting techniques; recurrence relation; generating functions. Graph
Theory: elements of graph theory, Planar Graphs, Graph Colouring,
Euler graph, Hamiltonian path, trees and their applications.
LEARNING STRATEGIES
Active learning strategies are employed in this course to encourage students'
participation in class and to foster their abilities to gather information and data
from its sources and analyze it.
Active learning strategies include assignments/projects where students work in
individual and in teams to solve certain problems. Readings may include many
Research Papers and other related studies.
RECOMMENDED RESOURCES
• Discrete Mathematical Structure with Application to
Computer Science, J. P. Temblay and B Manohar, McGraw-
Hill, 2nd Edition.
• Discrete Mathematics, 7th edition, Richard Johnson Baugh,
2008, Prentice Hall Publishers.
• Relevant Research Papers (Journal + Conference)
EVALUATION CRITERIA
COURSE GRADE SCALE
ATTENDANCE POLICY
• Students are expected to attend their classes. Absence never exempts a
student from the work required for satisfactory completion of the courses.
• Excessive absences of any course will result in:
 First warning for absence of 10% of the class hours
 Second warning for absence of 20% of the class hours
• A failing grade in the course for an absence of 25% of the class hours (as per
HEC guidelines)
• Exception to (3) may be made in the case of serious illness or death to an
immediate family member if approved by the dean of the college. In such
case, the student will receive a W grade in the course
PLAGIARISM
It is use of someone else’s idea, words, projects, artwork, phrasing, sentence
structure, or other work without properly acknowledging the ownership
(source) of the property.
Plagiarism is dishonest because it misrepresents the work of someone else as
ones own.
Students who are suspected of plagiarism will answer to an investigation
Those found guilty will face a disciplinary action as per the university
rules.
ASSESSMENT BREAKDOWN(THEORY)
100 MARKS
 Quizzes 10%
 Two + one quizzes
 Assignments 10%
 Two+One assignment
 Presentation 15%
 Class Participation/Attend. 05%
 Total 40%
 Mid term 20%
 Final 40%
OUTLINE
 Introduction to Discrete Structure
 Why Discrete Mathematics?
 Basic preliminaries
INTRODUCTIONTO DISCRETE
STRUCTURES
INTRODUCTION
 Discrete Structure describes processes that consist
of a sequence of individual steps, as compared to
forms of mathematics that describe processes that
change in a continuous manner. The major topics we
cover in this course are single-membership sets,
mathematical logic, induction, and proofs.
WHATISDISCRETEMATHEMATICS?
• Discrete mathematics focuses on problems that are not
over a continuous domain. For example, is it possible to
visit 3 islands in a river with 6 bridges without crossing
any bridge more than once? That is a discrete math
problem (because there are a finite (fixed, discrete)
number of bridges). Or, what is the smallest number of
telephone lines needed to connect 200 cities? The
numbers can be large and the logic can be complex, but
these type of problems are different from finding an
optimal value for a function where the domain can be 3,
WHATISDISCRETEMATHEMATICS?
• Discrete Mathematics concerns processes that
consist of a sequence of individual steps.
WHY DISCRETE STRUCTURE /
MATHEMATICS? (I)
 Computers use discrete structures to represent
and manipulate data.
 Computer Science is not Programming
 Computer Science is not Software Engineering
 Edsger Dijkstra: “Computer Science is no more
about computers than Astronomy is about
telescopes.”
 Computer Science is about problem solving.
WHY DISCRETE MATHEMATICS?
(II)
 Mathematics is at the heart of problem solving
 Defining a problem requires mathematical rigor
 Use and analysis of models, data structures,
algorithms requires a solid foundation of
mathematics
 To justify why a particular way of solving a
problem is correct or efficient (i.e., better than
another way) requires analysis with a well-defined
mathematical model.
PROBLEM SOLVING REQUIRES MATHEMATICAL
 Your boss is not going to ask you to solve
 an MST (Minimal SpanningTree) or
 aTSP (Travelling Salesperson Problem)
 Rarely will you encounter a problem in an abstract
setting
 However, he/she may ask you to build a rotation
of the company’s delivery trucks to minimize fuel
usage
 It is up to you to determine
 a proper model for representing the problem and
 a correct or efficient algorithm for solving it
Why Discrete Math?
Design efficient computer systems.
•How did Google manage to build a fast search engine?
•What is the foundation of internet security?
algorithms, data structures, database,
parallel computing, distributed systems,
cryptography, computer networks…
Logic, sets/functions, counting, graph theory…
What is discrete mathematics?
logic, sets, functions, relations, etc
Logic: artificial intelligence (AI), database, circuit design
Counting: probability, analysis of algorithm
Graph theory: computer network, data structures
Number theory: cryptography, coding theory
L
OGIC
Logicis the study of the principles and methods
that distinguishes between a valid and an invalid
argument.
STATEMENT
Topic 1: Logic and Proofs
Logic: propositional logic, first order logic
Proof: induction, contradiction
How do computers think?
Artificial intelligence, database, circuit, algorithms
Topic 2: Counting
• Sets
• Combinations, Permutations, Binomial theorem
• Functions
• Counting by mapping, pigeonhole principle
• Recursions, generating functions
Probability, algorithms, data structures
Topic 2: Counting
How many steps are needed to sort n numbers?
Topic 3: Graph Theory
• Relations, graphs
• Degree sequence, isomorphism, Eulerian graphs
• Trees
Computer networks, circuit design, data structures
Topic 4: Number Theory
• Number sequence
• Euclidean algorithm
• Prime number
• Modular arithmetic
Cryptography, coding theory, data structures
PROPOSITIONS
 A statement that has a truth value
 Which of the following are propositions?
 TheWashington State flag is red
 It snowed inWhistler, BC on January 4, 2008.
 Hillary Clinton won the democratic caucus in Iowa
 Space aliens landed in Roswell, New Mexico
 Ron Paul would be a great president
 Turn your homework in onWednesday
 Why are we taking this class?
 If n is an integer greater than two, then the equation an + bn = cn has no
solutions in non-zero integers a, b, and c.
 Every even integer greater than two can be written as the sum of two
primes
 This statement is false
– Propositional variables: p, q, r, s, . . .
– Truth values: T for true, F for false
TRUTHV
ALUESOFPROPOSITIONS
E
XAMPLES
E
XAMPLES
COMPOUND PROPOSITIONS
 Negation (not) ¬ p
 Conjunction (and) p ∧ q
 Disjunction (or) p ∨ q
 Exclusive or p ⊕ q
 Implication p → q
 Biconditional p ↔ q
NOTPROPOSITIONS
LECTURE #2/WEEK #2
 Rules of Discrete Structure
 TruthTable
RULE
E
XAMPLE
E
XAMPLE
UNDERSTANDINGSTATEMENTS
UNDERSTANDINGSTATEMENTS
COMPOUNDSTATEMENT
SYMBOLICREPRESENTATION
LOGICALCONNECTIVES
E
XAMPLES
TRANSLATING FROM ENGLISHTO
SYMBOLS
TRANSLATING FROM ENGLISHTO
SYMBOLS
TRANSLATING FROM ENGLISHTO
SYMBOLS
TRANSLATING FROM ENGLISHTO
SYMBOLS
TRANSLATING FROM ENGLISHTO
SYMBOLS
NEGATION(~)
TRUTHTABLE
TRUTHTABLEFOR
CONJUNCTION(^)
TRUTHTABLEFOR
DISJUNCTION(ᴠ)
TRUTHTABLEFOR

More Related Content

What's hot

9. chapter 8 np hard and np complete problems
9. chapter 8   np hard and np complete problems9. chapter 8   np hard and np complete problems
9. chapter 8 np hard and np complete problems
Jyotsna Suryadevara
 
Theory of automata and formal language
Theory of automata and formal languageTheory of automata and formal language
Theory of automata and formal language
Rabia Khalid
 
Artificial intelligence and first order logic
Artificial intelligence and first order logicArtificial intelligence and first order logic
Artificial intelligence and first order logic
parsa rafiq
 
TOC 1 | Introduction to Theory of Computation
TOC 1 | Introduction to Theory of ComputationTOC 1 | Introduction to Theory of Computation
TOC 1 | Introduction to Theory of Computation
Mohammad Imam Hossain
 
Greedy algorithms
Greedy algorithmsGreedy algorithms
Greedy algorithms
Rajendran
 
Propositional logic
Propositional logicPropositional logic
Propositional logicRushdi Shams
 
Unit 1 chapter 1 Design and Analysis of Algorithms
Unit 1   chapter 1 Design and Analysis of AlgorithmsUnit 1   chapter 1 Design and Analysis of Algorithms
Unit 1 chapter 1 Design and Analysis of Algorithms
P. Subathra Kishore, KAMARAJ College of Engineering and Technology, Madurai
 
5 csp
5 csp5 csp
5 csp
Mhd Sb
 
Greedy Algorithm - Knapsack Problem
Greedy Algorithm - Knapsack ProblemGreedy Algorithm - Knapsack Problem
Greedy Algorithm - Knapsack Problem
Madhu Bala
 
AI: Logic in AI
AI: Logic in AIAI: Logic in AI
AI: Logic in AI
DataminingTools Inc
 
Design & Analysis of Algorithms Lecture Notes
Design & Analysis of Algorithms Lecture NotesDesign & Analysis of Algorithms Lecture Notes
Design & Analysis of Algorithms Lecture Notes
FellowBuddy.com
 
Query trees
Query treesQuery trees
Query trees
Shefa Idrees
 
Algorithms Lecture 7: Graph Algorithms
Algorithms Lecture 7: Graph AlgorithmsAlgorithms Lecture 7: Graph Algorithms
Algorithms Lecture 7: Graph Algorithms
Mohamed Loey
 
Propositional logic & inference
Propositional logic & inferencePropositional logic & inference
Propositional logic & inferenceSlideshare
 
First Order Logic resolution
First Order Logic resolutionFirst Order Logic resolution
First Order Logic resolution
Amar Jukuntla
 
Forward and Backward chaining in AI
Forward and Backward chaining in AIForward and Backward chaining in AI
Forward and Backward chaining in AI
Megha Sharma
 
Graph coloring using backtracking
Graph coloring using backtrackingGraph coloring using backtracking
Graph coloring using backtracking
shashidharPapishetty
 
Greedy algorithm
Greedy algorithmGreedy algorithm
Context free grammar
Context free grammar Context free grammar
Context free grammar
Mohammad Ilyas Malik
 

What's hot (20)

Fibonacci Heap
Fibonacci HeapFibonacci Heap
Fibonacci Heap
 
9. chapter 8 np hard and np complete problems
9. chapter 8   np hard and np complete problems9. chapter 8   np hard and np complete problems
9. chapter 8 np hard and np complete problems
 
Theory of automata and formal language
Theory of automata and formal languageTheory of automata and formal language
Theory of automata and formal language
 
Artificial intelligence and first order logic
Artificial intelligence and first order logicArtificial intelligence and first order logic
Artificial intelligence and first order logic
 
TOC 1 | Introduction to Theory of Computation
TOC 1 | Introduction to Theory of ComputationTOC 1 | Introduction to Theory of Computation
TOC 1 | Introduction to Theory of Computation
 
Greedy algorithms
Greedy algorithmsGreedy algorithms
Greedy algorithms
 
Propositional logic
Propositional logicPropositional logic
Propositional logic
 
Unit 1 chapter 1 Design and Analysis of Algorithms
Unit 1   chapter 1 Design and Analysis of AlgorithmsUnit 1   chapter 1 Design and Analysis of Algorithms
Unit 1 chapter 1 Design and Analysis of Algorithms
 
5 csp
5 csp5 csp
5 csp
 
Greedy Algorithm - Knapsack Problem
Greedy Algorithm - Knapsack ProblemGreedy Algorithm - Knapsack Problem
Greedy Algorithm - Knapsack Problem
 
AI: Logic in AI
AI: Logic in AIAI: Logic in AI
AI: Logic in AI
 
Design & Analysis of Algorithms Lecture Notes
Design & Analysis of Algorithms Lecture NotesDesign & Analysis of Algorithms Lecture Notes
Design & Analysis of Algorithms Lecture Notes
 
Query trees
Query treesQuery trees
Query trees
 
Algorithms Lecture 7: Graph Algorithms
Algorithms Lecture 7: Graph AlgorithmsAlgorithms Lecture 7: Graph Algorithms
Algorithms Lecture 7: Graph Algorithms
 
Propositional logic & inference
Propositional logic & inferencePropositional logic & inference
Propositional logic & inference
 
First Order Logic resolution
First Order Logic resolutionFirst Order Logic resolution
First Order Logic resolution
 
Forward and Backward chaining in AI
Forward and Backward chaining in AIForward and Backward chaining in AI
Forward and Backward chaining in AI
 
Graph coloring using backtracking
Graph coloring using backtrackingGraph coloring using backtracking
Graph coloring using backtracking
 
Greedy algorithm
Greedy algorithmGreedy algorithm
Greedy algorithm
 
Context free grammar
Context free grammar Context free grammar
Context free grammar
 

Similar to SMIU Lecture #1 & 2 Introduction to Discrete Structure and Truth Table.pdf

Dms introduction Sharmila Chidaravalli
Dms introduction Sharmila ChidaravalliDms introduction Sharmila Chidaravalli
Dms introduction Sharmila Chidaravalli
SharmilaChidaravalli
 
DisMath-lecture-1-Introduction-to-Discrete-Maths-08032022-114934am.pptx
DisMath-lecture-1-Introduction-to-Discrete-Maths-08032022-114934am.pptxDisMath-lecture-1-Introduction-to-Discrete-Maths-08032022-114934am.pptx
DisMath-lecture-1-Introduction-to-Discrete-Maths-08032022-114934am.pptx
Adeel Saifee
 
0 CPE105 ORIENTATION.ppsx
0 CPE105 ORIENTATION.ppsx0 CPE105 ORIENTATION.ppsx
0 CPE105 ORIENTATION.ppsx
SioMairice11
 
Computational methods couurseout line
Computational methods couurseout lineComputational methods couurseout line
Computational methods couurseout line
Temesgen Geta
 
DS Lecture-1 about discrete structure .ppt
DS Lecture-1 about discrete structure .pptDS Lecture-1 about discrete structure .ppt
DS Lecture-1 about discrete structure .ppt
TanveerAhmed817946
 
Introduction to Computational Thinking.pptx
Introduction to Computational Thinking.pptxIntroduction to Computational Thinking.pptx
Introduction to Computational Thinking.pptx
AyodeleOgegbo
 
Lesson 1 - Chapter0_Introductory Lecture.pptx
Lesson 1 - Chapter0_Introductory Lecture.pptxLesson 1 - Chapter0_Introductory Lecture.pptx
Lesson 1 - Chapter0_Introductory Lecture.pptx
MUHAMMADHAIQALHELMIM
 
Presentation1
Presentation1Presentation1
Presentation1
Vikas Saxena
 
Inverse Modeling for Cognitive Science "in the Wild"
Inverse Modeling for Cognitive Science "in the Wild"Inverse Modeling for Cognitive Science "in the Wild"
Inverse Modeling for Cognitive Science "in the Wild"
Aalto University
 
Computational Thinking in the Workforce and Next Generation Science Standards...
Computational Thinking in the Workforce and Next Generation Science Standards...Computational Thinking in the Workforce and Next Generation Science Standards...
Computational Thinking in the Workforce and Next Generation Science Standards...
Josh Sheldon
 
01 Introduction to Machine Learning
01 Introduction to Machine Learning01 Introduction to Machine Learning
01 Introduction to Machine Learning
Tamer Ahmed Farrag, PhD
 
Machine Learning - Deep Learning
Machine Learning - Deep LearningMachine Learning - Deep Learning
Machine Learning - Deep Learning
Adetimehin Oluwasegun Matthew
 
Introduction Machine Learning Syllabus
Introduction Machine Learning SyllabusIntroduction Machine Learning Syllabus
Introduction Machine Learning Syllabus
Andres Mendez-Vazquez
 
Scientific methods in computer science
Scientific methods in computer scienceScientific methods in computer science
Scientific methods in computer science
Parinda Rajapaksha
 
Discrete Mathematics Lecture Notes
Discrete Mathematics Lecture NotesDiscrete Mathematics Lecture Notes
Discrete Mathematics Lecture Notes
FellowBuddy.com
 
Computational Learning Theory ppt.pptxhhhh
Computational Learning Theory ppt.pptxhhhhComputational Learning Theory ppt.pptxhhhh
Computational Learning Theory ppt.pptxhhhh
zoobiarana76
 
Mathematical skills
Mathematical   skillsMathematical   skills
Mathematical skills
AngelSophia2
 
Arithmetic skills
Arithmetic   skillsArithmetic   skills
Arithmetic skills
AngelSophia2
 
Arithmetic skills
Arithmetic   skillsArithmetic   skills
Arithmetic skills
AngelSophia2
 
LR2. Summary Day 2
LR2. Summary Day 2LR2. Summary Day 2
LR2. Summary Day 2
Machine Learning Valencia
 

Similar to SMIU Lecture #1 & 2 Introduction to Discrete Structure and Truth Table.pdf (20)

Dms introduction Sharmila Chidaravalli
Dms introduction Sharmila ChidaravalliDms introduction Sharmila Chidaravalli
Dms introduction Sharmila Chidaravalli
 
DisMath-lecture-1-Introduction-to-Discrete-Maths-08032022-114934am.pptx
DisMath-lecture-1-Introduction-to-Discrete-Maths-08032022-114934am.pptxDisMath-lecture-1-Introduction-to-Discrete-Maths-08032022-114934am.pptx
DisMath-lecture-1-Introduction-to-Discrete-Maths-08032022-114934am.pptx
 
0 CPE105 ORIENTATION.ppsx
0 CPE105 ORIENTATION.ppsx0 CPE105 ORIENTATION.ppsx
0 CPE105 ORIENTATION.ppsx
 
Computational methods couurseout line
Computational methods couurseout lineComputational methods couurseout line
Computational methods couurseout line
 
DS Lecture-1 about discrete structure .ppt
DS Lecture-1 about discrete structure .pptDS Lecture-1 about discrete structure .ppt
DS Lecture-1 about discrete structure .ppt
 
Introduction to Computational Thinking.pptx
Introduction to Computational Thinking.pptxIntroduction to Computational Thinking.pptx
Introduction to Computational Thinking.pptx
 
Lesson 1 - Chapter0_Introductory Lecture.pptx
Lesson 1 - Chapter0_Introductory Lecture.pptxLesson 1 - Chapter0_Introductory Lecture.pptx
Lesson 1 - Chapter0_Introductory Lecture.pptx
 
Presentation1
Presentation1Presentation1
Presentation1
 
Inverse Modeling for Cognitive Science "in the Wild"
Inverse Modeling for Cognitive Science "in the Wild"Inverse Modeling for Cognitive Science "in the Wild"
Inverse Modeling for Cognitive Science "in the Wild"
 
Computational Thinking in the Workforce and Next Generation Science Standards...
Computational Thinking in the Workforce and Next Generation Science Standards...Computational Thinking in the Workforce and Next Generation Science Standards...
Computational Thinking in the Workforce and Next Generation Science Standards...
 
01 Introduction to Machine Learning
01 Introduction to Machine Learning01 Introduction to Machine Learning
01 Introduction to Machine Learning
 
Machine Learning - Deep Learning
Machine Learning - Deep LearningMachine Learning - Deep Learning
Machine Learning - Deep Learning
 
Introduction Machine Learning Syllabus
Introduction Machine Learning SyllabusIntroduction Machine Learning Syllabus
Introduction Machine Learning Syllabus
 
Scientific methods in computer science
Scientific methods in computer scienceScientific methods in computer science
Scientific methods in computer science
 
Discrete Mathematics Lecture Notes
Discrete Mathematics Lecture NotesDiscrete Mathematics Lecture Notes
Discrete Mathematics Lecture Notes
 
Computational Learning Theory ppt.pptxhhhh
Computational Learning Theory ppt.pptxhhhhComputational Learning Theory ppt.pptxhhhh
Computational Learning Theory ppt.pptxhhhh
 
Mathematical skills
Mathematical   skillsMathematical   skills
Mathematical skills
 
Arithmetic skills
Arithmetic   skillsArithmetic   skills
Arithmetic skills
 
Arithmetic skills
Arithmetic   skillsArithmetic   skills
Arithmetic skills
 
LR2. Summary Day 2
LR2. Summary Day 2LR2. Summary Day 2
LR2. Summary Day 2
 

More from MuhammadUmerIhtisham

LECT 10, 11-DSALGO(Hashing).pdf
LECT 10, 11-DSALGO(Hashing).pdfLECT 10, 11-DSALGO(Hashing).pdf
LECT 10, 11-DSALGO(Hashing).pdf
MuhammadUmerIhtisham
 
LEC 12-DSALGO-GRAPHS(final12).pdf
LEC 12-DSALGO-GRAPHS(final12).pdfLEC 12-DSALGO-GRAPHS(final12).pdf
LEC 12-DSALGO-GRAPHS(final12).pdf
MuhammadUmerIhtisham
 
Lect 13, 14 (final)AVL Tree and Rotations.pdf
Lect 13, 14 (final)AVL Tree and Rotations.pdfLect 13, 14 (final)AVL Tree and Rotations.pdf
Lect 13, 14 (final)AVL Tree and Rotations.pdf
MuhammadUmerIhtisham
 
LEC4-DS ALGO.pdf
LEC4-DS  ALGO.pdfLEC4-DS  ALGO.pdf
LEC4-DS ALGO.pdf
MuhammadUmerIhtisham
 
LEC3-DS ALGO(updated).pdf
LEC3-DS  ALGO(updated).pdfLEC3-DS  ALGO(updated).pdf
LEC3-DS ALGO(updated).pdf
MuhammadUmerIhtisham
 
LEC 7-DS ALGO(expression and huffman).pdf
LEC 7-DS  ALGO(expression and huffman).pdfLEC 7-DS  ALGO(expression and huffman).pdf
LEC 7-DS ALGO(expression and huffman).pdf
MuhammadUmerIhtisham
 
LEC 8-DS ALGO(heaps).pdf
LEC 8-DS  ALGO(heaps).pdfLEC 8-DS  ALGO(heaps).pdf
LEC 8-DS ALGO(heaps).pdf
MuhammadUmerIhtisham
 
LEC 5-DS ALGO(updated).pdf
LEC 5-DS  ALGO(updated).pdfLEC 5-DS  ALGO(updated).pdf
LEC 5-DS ALGO(updated).pdf
MuhammadUmerIhtisham
 
LEC 6-DS ALGO(updated).pdf
LEC 6-DS  ALGO(updated).pdfLEC 6-DS  ALGO(updated).pdf
LEC 6-DS ALGO(updated).pdf
MuhammadUmerIhtisham
 
lect 1-ds algo(final)_2.pdf
lect 1-ds  algo(final)_2.pdflect 1-ds  algo(final)_2.pdf
lect 1-ds algo(final)_2.pdf
MuhammadUmerIhtisham
 
lect 2-DS ALGO(online).pdf
lect 2-DS  ALGO(online).pdflect 2-DS  ALGO(online).pdf
lect 2-DS ALGO(online).pdf
MuhammadUmerIhtisham
 
SMIU Discrete Structure Lecture 3 Section 3E.pdf
SMIU Discrete Structure Lecture 3 Section 3E.pdfSMIU Discrete Structure Lecture 3 Section 3E.pdf
SMIU Discrete Structure Lecture 3 Section 3E.pdf
MuhammadUmerIhtisham
 
Discrete Structure Lecture #5 & 6.pdf
Discrete Structure Lecture #5 & 6.pdfDiscrete Structure Lecture #5 & 6.pdf
Discrete Structure Lecture #5 & 6.pdf
MuhammadUmerIhtisham
 
Discrete Structure Lecture #7 & 8.pdf
Discrete Structure Lecture #7 & 8.pdfDiscrete Structure Lecture #7 & 8.pdf
Discrete Structure Lecture #7 & 8.pdf
MuhammadUmerIhtisham
 

More from MuhammadUmerIhtisham (14)

LECT 10, 11-DSALGO(Hashing).pdf
LECT 10, 11-DSALGO(Hashing).pdfLECT 10, 11-DSALGO(Hashing).pdf
LECT 10, 11-DSALGO(Hashing).pdf
 
LEC 12-DSALGO-GRAPHS(final12).pdf
LEC 12-DSALGO-GRAPHS(final12).pdfLEC 12-DSALGO-GRAPHS(final12).pdf
LEC 12-DSALGO-GRAPHS(final12).pdf
 
Lect 13, 14 (final)AVL Tree and Rotations.pdf
Lect 13, 14 (final)AVL Tree and Rotations.pdfLect 13, 14 (final)AVL Tree and Rotations.pdf
Lect 13, 14 (final)AVL Tree and Rotations.pdf
 
LEC4-DS ALGO.pdf
LEC4-DS  ALGO.pdfLEC4-DS  ALGO.pdf
LEC4-DS ALGO.pdf
 
LEC3-DS ALGO(updated).pdf
LEC3-DS  ALGO(updated).pdfLEC3-DS  ALGO(updated).pdf
LEC3-DS ALGO(updated).pdf
 
LEC 7-DS ALGO(expression and huffman).pdf
LEC 7-DS  ALGO(expression and huffman).pdfLEC 7-DS  ALGO(expression and huffman).pdf
LEC 7-DS ALGO(expression and huffman).pdf
 
LEC 8-DS ALGO(heaps).pdf
LEC 8-DS  ALGO(heaps).pdfLEC 8-DS  ALGO(heaps).pdf
LEC 8-DS ALGO(heaps).pdf
 
LEC 5-DS ALGO(updated).pdf
LEC 5-DS  ALGO(updated).pdfLEC 5-DS  ALGO(updated).pdf
LEC 5-DS ALGO(updated).pdf
 
LEC 6-DS ALGO(updated).pdf
LEC 6-DS  ALGO(updated).pdfLEC 6-DS  ALGO(updated).pdf
LEC 6-DS ALGO(updated).pdf
 
lect 1-ds algo(final)_2.pdf
lect 1-ds  algo(final)_2.pdflect 1-ds  algo(final)_2.pdf
lect 1-ds algo(final)_2.pdf
 
lect 2-DS ALGO(online).pdf
lect 2-DS  ALGO(online).pdflect 2-DS  ALGO(online).pdf
lect 2-DS ALGO(online).pdf
 
SMIU Discrete Structure Lecture 3 Section 3E.pdf
SMIU Discrete Structure Lecture 3 Section 3E.pdfSMIU Discrete Structure Lecture 3 Section 3E.pdf
SMIU Discrete Structure Lecture 3 Section 3E.pdf
 
Discrete Structure Lecture #5 & 6.pdf
Discrete Structure Lecture #5 & 6.pdfDiscrete Structure Lecture #5 & 6.pdf
Discrete Structure Lecture #5 & 6.pdf
 
Discrete Structure Lecture #7 & 8.pdf
Discrete Structure Lecture #7 & 8.pdfDiscrete Structure Lecture #7 & 8.pdf
Discrete Structure Lecture #7 & 8.pdf
 

Recently uploaded

How to Split Bills in the Odoo 17 POS Module
How to Split Bills in the Odoo 17 POS ModuleHow to Split Bills in the Odoo 17 POS Module
How to Split Bills in the Odoo 17 POS Module
Celine George
 
The geography of Taylor Swift - some ideas
The geography of Taylor Swift - some ideasThe geography of Taylor Swift - some ideas
The geography of Taylor Swift - some ideas
GeoBlogs
 
Operation Blue Star - Saka Neela Tara
Operation Blue Star   -  Saka Neela TaraOperation Blue Star   -  Saka Neela Tara
Operation Blue Star - Saka Neela Tara
Balvir Singh
 
1.4 modern child centered education - mahatma gandhi-2.pptx
1.4 modern child centered education - mahatma gandhi-2.pptx1.4 modern child centered education - mahatma gandhi-2.pptx
1.4 modern child centered education - mahatma gandhi-2.pptx
JosvitaDsouza2
 
Students, digital devices and success - Andreas Schleicher - 27 May 2024..pptx
Students, digital devices and success - Andreas Schleicher - 27 May 2024..pptxStudents, digital devices and success - Andreas Schleicher - 27 May 2024..pptx
Students, digital devices and success - Andreas Schleicher - 27 May 2024..pptx
EduSkills OECD
 
Home assignment II on Spectroscopy 2024 Answers.pdf
Home assignment II on Spectroscopy 2024 Answers.pdfHome assignment II on Spectroscopy 2024 Answers.pdf
Home assignment II on Spectroscopy 2024 Answers.pdf
Tamralipta Mahavidyalaya
 
MARUTI SUZUKI- A Successful Joint Venture in India.pptx
MARUTI SUZUKI- A Successful Joint Venture in India.pptxMARUTI SUZUKI- A Successful Joint Venture in India.pptx
MARUTI SUZUKI- A Successful Joint Venture in India.pptx
bennyroshan06
 
Language Across the Curriculm LAC B.Ed.
Language Across the  Curriculm LAC B.Ed.Language Across the  Curriculm LAC B.Ed.
Language Across the Curriculm LAC B.Ed.
Atul Kumar Singh
 
Mule 4.6 & Java 17 Upgrade | MuleSoft Mysore Meetup #46
Mule 4.6 & Java 17 Upgrade | MuleSoft Mysore Meetup #46Mule 4.6 & Java 17 Upgrade | MuleSoft Mysore Meetup #46
Mule 4.6 & Java 17 Upgrade | MuleSoft Mysore Meetup #46
MysoreMuleSoftMeetup
 
special B.ed 2nd year old paper_20240531.pdf
special B.ed 2nd year old paper_20240531.pdfspecial B.ed 2nd year old paper_20240531.pdf
special B.ed 2nd year old paper_20240531.pdf
Special education needs
 
The Challenger.pdf DNHS Official Publication
The Challenger.pdf DNHS Official PublicationThe Challenger.pdf DNHS Official Publication
The Challenger.pdf DNHS Official Publication
Delapenabediema
 
Instructions for Submissions thorugh G- Classroom.pptx
Instructions for Submissions thorugh G- Classroom.pptxInstructions for Submissions thorugh G- Classroom.pptx
Instructions for Submissions thorugh G- Classroom.pptx
Jheel Barad
 
Fish and Chips - have they had their chips
Fish and Chips - have they had their chipsFish and Chips - have they had their chips
Fish and Chips - have they had their chips
GeoBlogs
 
Sha'Carri Richardson Presentation 202345
Sha'Carri Richardson Presentation 202345Sha'Carri Richardson Presentation 202345
Sha'Carri Richardson Presentation 202345
beazzy04
 
aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
siemaillard
 
How libraries can support authors with open access requirements for UKRI fund...
How libraries can support authors with open access requirements for UKRI fund...How libraries can support authors with open access requirements for UKRI fund...
How libraries can support authors with open access requirements for UKRI fund...
Jisc
 
Basic phrases for greeting and assisting costumers
Basic phrases for greeting and assisting costumersBasic phrases for greeting and assisting costumers
Basic phrases for greeting and assisting costumers
PedroFerreira53928
 
Sectors of the Indian Economy - Class 10 Study Notes pdf
Sectors of the Indian Economy - Class 10 Study Notes pdfSectors of the Indian Economy - Class 10 Study Notes pdf
Sectors of the Indian Economy - Class 10 Study Notes pdf
Vivekanand Anglo Vedic Academy
 
Thesis Statement for students diagnonsed withADHD.ppt
Thesis Statement for students diagnonsed withADHD.pptThesis Statement for students diagnonsed withADHD.ppt
Thesis Statement for students diagnonsed withADHD.ppt
EverAndrsGuerraGuerr
 
Introduction to Quality Improvement Essentials
Introduction to Quality Improvement EssentialsIntroduction to Quality Improvement Essentials
Introduction to Quality Improvement Essentials
Excellence Foundation for South Sudan
 

Recently uploaded (20)

How to Split Bills in the Odoo 17 POS Module
How to Split Bills in the Odoo 17 POS ModuleHow to Split Bills in the Odoo 17 POS Module
How to Split Bills in the Odoo 17 POS Module
 
The geography of Taylor Swift - some ideas
The geography of Taylor Swift - some ideasThe geography of Taylor Swift - some ideas
The geography of Taylor Swift - some ideas
 
Operation Blue Star - Saka Neela Tara
Operation Blue Star   -  Saka Neela TaraOperation Blue Star   -  Saka Neela Tara
Operation Blue Star - Saka Neela Tara
 
1.4 modern child centered education - mahatma gandhi-2.pptx
1.4 modern child centered education - mahatma gandhi-2.pptx1.4 modern child centered education - mahatma gandhi-2.pptx
1.4 modern child centered education - mahatma gandhi-2.pptx
 
Students, digital devices and success - Andreas Schleicher - 27 May 2024..pptx
Students, digital devices and success - Andreas Schleicher - 27 May 2024..pptxStudents, digital devices and success - Andreas Schleicher - 27 May 2024..pptx
Students, digital devices and success - Andreas Schleicher - 27 May 2024..pptx
 
Home assignment II on Spectroscopy 2024 Answers.pdf
Home assignment II on Spectroscopy 2024 Answers.pdfHome assignment II on Spectroscopy 2024 Answers.pdf
Home assignment II on Spectroscopy 2024 Answers.pdf
 
MARUTI SUZUKI- A Successful Joint Venture in India.pptx
MARUTI SUZUKI- A Successful Joint Venture in India.pptxMARUTI SUZUKI- A Successful Joint Venture in India.pptx
MARUTI SUZUKI- A Successful Joint Venture in India.pptx
 
Language Across the Curriculm LAC B.Ed.
Language Across the  Curriculm LAC B.Ed.Language Across the  Curriculm LAC B.Ed.
Language Across the Curriculm LAC B.Ed.
 
Mule 4.6 & Java 17 Upgrade | MuleSoft Mysore Meetup #46
Mule 4.6 & Java 17 Upgrade | MuleSoft Mysore Meetup #46Mule 4.6 & Java 17 Upgrade | MuleSoft Mysore Meetup #46
Mule 4.6 & Java 17 Upgrade | MuleSoft Mysore Meetup #46
 
special B.ed 2nd year old paper_20240531.pdf
special B.ed 2nd year old paper_20240531.pdfspecial B.ed 2nd year old paper_20240531.pdf
special B.ed 2nd year old paper_20240531.pdf
 
The Challenger.pdf DNHS Official Publication
The Challenger.pdf DNHS Official PublicationThe Challenger.pdf DNHS Official Publication
The Challenger.pdf DNHS Official Publication
 
Instructions for Submissions thorugh G- Classroom.pptx
Instructions for Submissions thorugh G- Classroom.pptxInstructions for Submissions thorugh G- Classroom.pptx
Instructions for Submissions thorugh G- Classroom.pptx
 
Fish and Chips - have they had their chips
Fish and Chips - have they had their chipsFish and Chips - have they had their chips
Fish and Chips - have they had their chips
 
Sha'Carri Richardson Presentation 202345
Sha'Carri Richardson Presentation 202345Sha'Carri Richardson Presentation 202345
Sha'Carri Richardson Presentation 202345
 
aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
 
How libraries can support authors with open access requirements for UKRI fund...
How libraries can support authors with open access requirements for UKRI fund...How libraries can support authors with open access requirements for UKRI fund...
How libraries can support authors with open access requirements for UKRI fund...
 
Basic phrases for greeting and assisting costumers
Basic phrases for greeting and assisting costumersBasic phrases for greeting and assisting costumers
Basic phrases for greeting and assisting costumers
 
Sectors of the Indian Economy - Class 10 Study Notes pdf
Sectors of the Indian Economy - Class 10 Study Notes pdfSectors of the Indian Economy - Class 10 Study Notes pdf
Sectors of the Indian Economy - Class 10 Study Notes pdf
 
Thesis Statement for students diagnonsed withADHD.ppt
Thesis Statement for students diagnonsed withADHD.pptThesis Statement for students diagnonsed withADHD.ppt
Thesis Statement for students diagnonsed withADHD.ppt
 
Introduction to Quality Improvement Essentials
Introduction to Quality Improvement EssentialsIntroduction to Quality Improvement Essentials
Introduction to Quality Improvement Essentials
 

SMIU Lecture #1 & 2 Introduction to Discrete Structure and Truth Table.pdf

  • 1. Sindh Madressatul Islam University, Karachi Department of Information Technology
  • 2. COURSE INTRODUCTION Course Code MAT-104 Course Title Discrete Structure Credit Hours 3+0 (3hr)
  • 3. COURSE OBJECTIVES  Mathematical reasoning: introduction to logic, propositional and predicate calculus; negation disjunction and conjunction; implication and equivalence; truth tables; predicates; quantifiers; natural deduction; rules of Inference; methods of proofs; use in program proving; resolution principle; Set theory: Paradoxes in set theory; inductive definition of sets and proof by induction; Relations, representation of relations by graphs; properties of relations, equivalence relations and partitions; Partial orderings; Linear and wellordered sets; Functions: mappings, injection and surjection, composition of functions; inverse functions; special functions; Peano postulates; Recursive function theory; Elementary combinatorics; counting techniques; recurrence relation; generating functions. Graph Theory: elements of graph theory, Planar Graphs, Graph Colouring, Euler graph, Hamiltonian path, trees and their applications.
  • 4. LEARNING STRATEGIES Active learning strategies are employed in this course to encourage students' participation in class and to foster their abilities to gather information and data from its sources and analyze it. Active learning strategies include assignments/projects where students work in individual and in teams to solve certain problems. Readings may include many Research Papers and other related studies.
  • 5. RECOMMENDED RESOURCES • Discrete Mathematical Structure with Application to Computer Science, J. P. Temblay and B Manohar, McGraw- Hill, 2nd Edition. • Discrete Mathematics, 7th edition, Richard Johnson Baugh, 2008, Prentice Hall Publishers. • Relevant Research Papers (Journal + Conference)
  • 8. ATTENDANCE POLICY • Students are expected to attend their classes. Absence never exempts a student from the work required for satisfactory completion of the courses. • Excessive absences of any course will result in:  First warning for absence of 10% of the class hours  Second warning for absence of 20% of the class hours • A failing grade in the course for an absence of 25% of the class hours (as per HEC guidelines) • Exception to (3) may be made in the case of serious illness or death to an immediate family member if approved by the dean of the college. In such case, the student will receive a W grade in the course
  • 9. PLAGIARISM It is use of someone else’s idea, words, projects, artwork, phrasing, sentence structure, or other work without properly acknowledging the ownership (source) of the property. Plagiarism is dishonest because it misrepresents the work of someone else as ones own. Students who are suspected of plagiarism will answer to an investigation Those found guilty will face a disciplinary action as per the university rules.
  • 10. ASSESSMENT BREAKDOWN(THEORY) 100 MARKS  Quizzes 10%  Two + one quizzes  Assignments 10%  Two+One assignment  Presentation 15%  Class Participation/Attend. 05%  Total 40%  Mid term 20%  Final 40%
  • 11. OUTLINE  Introduction to Discrete Structure  Why Discrete Mathematics?  Basic preliminaries
  • 13. INTRODUCTION  Discrete Structure describes processes that consist of a sequence of individual steps, as compared to forms of mathematics that describe processes that change in a continuous manner. The major topics we cover in this course are single-membership sets, mathematical logic, induction, and proofs.
  • 14. WHATISDISCRETEMATHEMATICS? • Discrete mathematics focuses on problems that are not over a continuous domain. For example, is it possible to visit 3 islands in a river with 6 bridges without crossing any bridge more than once? That is a discrete math problem (because there are a finite (fixed, discrete) number of bridges). Or, what is the smallest number of telephone lines needed to connect 200 cities? The numbers can be large and the logic can be complex, but these type of problems are different from finding an optimal value for a function where the domain can be 3,
  • 15. WHATISDISCRETEMATHEMATICS? • Discrete Mathematics concerns processes that consist of a sequence of individual steps.
  • 16. WHY DISCRETE STRUCTURE / MATHEMATICS? (I)  Computers use discrete structures to represent and manipulate data.  Computer Science is not Programming  Computer Science is not Software Engineering  Edsger Dijkstra: “Computer Science is no more about computers than Astronomy is about telescopes.”  Computer Science is about problem solving.
  • 17. WHY DISCRETE MATHEMATICS? (II)  Mathematics is at the heart of problem solving  Defining a problem requires mathematical rigor  Use and analysis of models, data structures, algorithms requires a solid foundation of mathematics  To justify why a particular way of solving a problem is correct or efficient (i.e., better than another way) requires analysis with a well-defined mathematical model.
  • 18. PROBLEM SOLVING REQUIRES MATHEMATICAL  Your boss is not going to ask you to solve  an MST (Minimal SpanningTree) or  aTSP (Travelling Salesperson Problem)  Rarely will you encounter a problem in an abstract setting  However, he/she may ask you to build a rotation of the company’s delivery trucks to minimize fuel usage  It is up to you to determine  a proper model for representing the problem and  a correct or efficient algorithm for solving it
  • 19. Why Discrete Math? Design efficient computer systems. •How did Google manage to build a fast search engine? •What is the foundation of internet security? algorithms, data structures, database, parallel computing, distributed systems, cryptography, computer networks… Logic, sets/functions, counting, graph theory…
  • 20. What is discrete mathematics? logic, sets, functions, relations, etc Logic: artificial intelligence (AI), database, circuit design Counting: probability, analysis of algorithm Graph theory: computer network, data structures Number theory: cryptography, coding theory
  • 21. L OGIC Logicis the study of the principles and methods that distinguishes between a valid and an invalid argument.
  • 23. Topic 1: Logic and Proofs Logic: propositional logic, first order logic Proof: induction, contradiction How do computers think? Artificial intelligence, database, circuit, algorithms
  • 24. Topic 2: Counting • Sets • Combinations, Permutations, Binomial theorem • Functions • Counting by mapping, pigeonhole principle • Recursions, generating functions Probability, algorithms, data structures
  • 25. Topic 2: Counting How many steps are needed to sort n numbers?
  • 26. Topic 3: Graph Theory • Relations, graphs • Degree sequence, isomorphism, Eulerian graphs • Trees Computer networks, circuit design, data structures
  • 27. Topic 4: Number Theory • Number sequence • Euclidean algorithm • Prime number • Modular arithmetic Cryptography, coding theory, data structures
  • 28. PROPOSITIONS  A statement that has a truth value  Which of the following are propositions?  TheWashington State flag is red  It snowed inWhistler, BC on January 4, 2008.  Hillary Clinton won the democratic caucus in Iowa  Space aliens landed in Roswell, New Mexico  Ron Paul would be a great president  Turn your homework in onWednesday  Why are we taking this class?  If n is an integer greater than two, then the equation an + bn = cn has no solutions in non-zero integers a, b, and c.  Every even integer greater than two can be written as the sum of two primes  This statement is false – Propositional variables: p, q, r, s, . . . – Truth values: T for true, F for false
  • 32. COMPOUND PROPOSITIONS  Negation (not) ¬ p  Conjunction (and) p ∧ q  Disjunction (or) p ∨ q  Exclusive or p ⊕ q  Implication p → q  Biconditional p ↔ q
  • 34. LECTURE #2/WEEK #2  Rules of Discrete Structure  TruthTable
  • 35. RULE