SlideShare a Scribd company logo
1 of 55
Download to read offline
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

What's hot (20)

AI Lesson 04
AI Lesson 04AI Lesson 04
AI Lesson 04
 
Turing Machine
Turing MachineTuring Machine
Turing Machine
 
Discrete structures & optimization unit 1
Discrete structures & optimization unit 1Discrete structures & optimization unit 1
Discrete structures & optimization unit 1
 
Backtracking
BacktrackingBacktracking
Backtracking
 
Pda
PdaPda
Pda
 
5.2 primitive recursive functions
5.2 primitive recursive functions5.2 primitive recursive functions
5.2 primitive recursive functions
 
Code Optimization
Code OptimizationCode Optimization
Code Optimization
 
Iterations and Recursions
Iterations and RecursionsIterations and Recursions
Iterations and Recursions
 
digital logic design number system
digital logic design number systemdigital logic design number system
digital logic design number system
 
module6_stringmatchingalgorithm_2022.pdf
module6_stringmatchingalgorithm_2022.pdfmodule6_stringmatchingalgorithm_2022.pdf
module6_stringmatchingalgorithm_2022.pdf
 
Automata theory
Automata theoryAutomata theory
Automata theory
 
Theory of Automata and formal languages unit 1
Theory of Automata and formal languages unit 1Theory of Automata and formal languages unit 1
Theory of Automata and formal languages unit 1
 
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
 
Turing machine and Halting Introduction
Turing machine and Halting IntroductionTuring machine and Halting Introduction
Turing machine and Halting Introduction
 
Turing machine
Turing machineTuring machine
Turing machine
 
NFA or Non deterministic finite automata
NFA or Non deterministic finite automataNFA or Non deterministic finite automata
NFA or Non deterministic finite automata
 
Bfs and Dfs
Bfs and DfsBfs and Dfs
Bfs and Dfs
 
Parsing in Compiler Design
Parsing in Compiler DesignParsing in Compiler Design
Parsing in Compiler Design
 
Pumping lemma Theory Of Automata
Pumping lemma Theory Of AutomataPumping lemma Theory Of Automata
Pumping lemma Theory Of Automata
 
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
 

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 ChidaravalliSharmilaChidaravalli
 
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.pptxAdeel Saifee
 
0 CPE105 ORIENTATION.ppsx
0 CPE105 ORIENTATION.ppsx0 CPE105 ORIENTATION.ppsx
0 CPE105 ORIENTATION.ppsxSioMairice11
 
Computational methods couurseout line
Computational methods couurseout lineComputational methods couurseout line
Computational methods couurseout lineTemesgen Geta
 
Introduction to Computational Thinking.pptx
Introduction to Computational Thinking.pptxIntroduction to Computational Thinking.pptx
Introduction to Computational Thinking.pptxAyodeleOgegbo
 
Lesson 1 - Chapter0_Introductory Lecture.pptx
Lesson 1 - Chapter0_Introductory Lecture.pptxLesson 1 - Chapter0_Introductory Lecture.pptx
Lesson 1 - Chapter0_Introductory Lecture.pptxMUHAMMADHAIQALHELMIM
 
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
 
Introduction Machine Learning Syllabus
Introduction Machine Learning SyllabusIntroduction Machine Learning Syllabus
Introduction Machine Learning SyllabusAndres Mendez-Vazquez
 
Scientific methods in computer science
Scientific methods in computer scienceScientific methods in computer science
Scientific methods in computer scienceParinda Rajapaksha
 
Discrete Mathematics Lecture Notes
Discrete Mathematics Lecture NotesDiscrete Mathematics Lecture Notes
Discrete Mathematics Lecture NotesFellowBuddy.com
 
Mathematical skills
Mathematical   skillsMathematical   skills
Mathematical skillsAngelSophia2
 
Setsuya Kurahashi: Teaching Simulation on Collaborative Learning, Ability Gro...
Setsuya Kurahashi: Teaching Simulation on Collaborative Learning, Ability Gro...Setsuya Kurahashi: Teaching Simulation on Collaborative Learning, Ability Gro...
Setsuya Kurahashi: Teaching Simulation on Collaborative Learning, Ability Gro...Saxion University of Applied Sciences
 

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
 
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
 
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
 
Kmeans
KmeansKmeans
Kmeans
 
Setsuya Kurahashi: Teaching Simulation on Collaborative Learning, Ability Gro...
Setsuya Kurahashi: Teaching Simulation on Collaborative Learning, Ability Gro...Setsuya Kurahashi: Teaching Simulation on Collaborative Learning, Ability Gro...
Setsuya Kurahashi: Teaching Simulation on Collaborative Learning, Ability Gro...
 

More from 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

Interactive Powerpoint_How to Master effective communication
Interactive Powerpoint_How to Master effective communicationInteractive Powerpoint_How to Master effective communication
Interactive Powerpoint_How to Master effective communicationnomboosow
 
Software Engineering Methodologies (overview)
Software Engineering Methodologies (overview)Software Engineering Methodologies (overview)
Software Engineering Methodologies (overview)eniolaolutunde
 
How to Make a Pirate ship Primary Education.pptx
How to Make a Pirate ship Primary Education.pptxHow to Make a Pirate ship Primary Education.pptx
How to Make a Pirate ship Primary Education.pptxmanuelaromero2013
 
How to Configure Email Server in Odoo 17
How to Configure Email Server in Odoo 17How to Configure Email Server in Odoo 17
How to Configure Email Server in Odoo 17Celine George
 
Concept of Vouching. B.Com(Hons) /B.Compdf
Concept of Vouching. B.Com(Hons) /B.CompdfConcept of Vouching. B.Com(Hons) /B.Compdf
Concept of Vouching. B.Com(Hons) /B.CompdfUmakantAnnand
 
18-04-UA_REPORT_MEDIALITERAСY_INDEX-DM_23-1-final-eng.pdf
18-04-UA_REPORT_MEDIALITERAСY_INDEX-DM_23-1-final-eng.pdf18-04-UA_REPORT_MEDIALITERAСY_INDEX-DM_23-1-final-eng.pdf
18-04-UA_REPORT_MEDIALITERAСY_INDEX-DM_23-1-final-eng.pdfssuser54595a
 
Separation of Lanthanides/ Lanthanides and Actinides
Separation of Lanthanides/ Lanthanides and ActinidesSeparation of Lanthanides/ Lanthanides and Actinides
Separation of Lanthanides/ Lanthanides and ActinidesFatimaKhan178732
 
POINT- BIOCHEMISTRY SEM 2 ENZYMES UNIT 5.pptx
POINT- BIOCHEMISTRY SEM 2 ENZYMES UNIT 5.pptxPOINT- BIOCHEMISTRY SEM 2 ENZYMES UNIT 5.pptx
POINT- BIOCHEMISTRY SEM 2 ENZYMES UNIT 5.pptxSayali Powar
 
Call Girls in Dwarka Mor Delhi Contact Us 9654467111
Call Girls in Dwarka Mor Delhi Contact Us 9654467111Call Girls in Dwarka Mor Delhi Contact Us 9654467111
Call Girls in Dwarka Mor Delhi Contact Us 9654467111Sapana Sha
 
URLs and Routing in the Odoo 17 Website App
URLs and Routing in the Odoo 17 Website AppURLs and Routing in the Odoo 17 Website App
URLs and Routing in the Odoo 17 Website AppCeline George
 
Science 7 - LAND and SEA BREEZE and its Characteristics
Science 7 - LAND and SEA BREEZE and its CharacteristicsScience 7 - LAND and SEA BREEZE and its Characteristics
Science 7 - LAND and SEA BREEZE and its CharacteristicsKarinaGenton
 
Kisan Call Centre - To harness potential of ICT in Agriculture by answer farm...
Kisan Call Centre - To harness potential of ICT in Agriculture by answer farm...Kisan Call Centre - To harness potential of ICT in Agriculture by answer farm...
Kisan Call Centre - To harness potential of ICT in Agriculture by answer farm...Krashi Coaching
 
ECONOMIC CONTEXT - LONG FORM TV DRAMA - PPT
ECONOMIC CONTEXT - LONG FORM TV DRAMA - PPTECONOMIC CONTEXT - LONG FORM TV DRAMA - PPT
ECONOMIC CONTEXT - LONG FORM TV DRAMA - PPTiammrhaywood
 
Introduction to ArtificiaI Intelligence in Higher Education
Introduction to ArtificiaI Intelligence in Higher EducationIntroduction to ArtificiaI Intelligence in Higher Education
Introduction to ArtificiaI Intelligence in Higher Educationpboyjonauth
 
“Oh GOSH! Reflecting on Hackteria's Collaborative Practices in a Global Do-It...
“Oh GOSH! Reflecting on Hackteria's Collaborative Practices in a Global Do-It...“Oh GOSH! Reflecting on Hackteria's Collaborative Practices in a Global Do-It...
“Oh GOSH! Reflecting on Hackteria's Collaborative Practices in a Global Do-It...Marc Dusseiller Dusjagr
 
Class 11 Legal Studies Ch-1 Concept of State .pdf
Class 11 Legal Studies Ch-1 Concept of State .pdfClass 11 Legal Studies Ch-1 Concept of State .pdf
Class 11 Legal Studies Ch-1 Concept of State .pdfakmcokerachita
 
Contemporary philippine arts from the regions_PPT_Module_12 [Autosaved] (1).pptx
Contemporary philippine arts from the regions_PPT_Module_12 [Autosaved] (1).pptxContemporary philippine arts from the regions_PPT_Module_12 [Autosaved] (1).pptx
Contemporary philippine arts from the regions_PPT_Module_12 [Autosaved] (1).pptxRoyAbrique
 

Recently uploaded (20)

Interactive Powerpoint_How to Master effective communication
Interactive Powerpoint_How to Master effective communicationInteractive Powerpoint_How to Master effective communication
Interactive Powerpoint_How to Master effective communication
 
Software Engineering Methodologies (overview)
Software Engineering Methodologies (overview)Software Engineering Methodologies (overview)
Software Engineering Methodologies (overview)
 
How to Make a Pirate ship Primary Education.pptx
How to Make a Pirate ship Primary Education.pptxHow to Make a Pirate ship Primary Education.pptx
How to Make a Pirate ship Primary Education.pptx
 
How to Configure Email Server in Odoo 17
How to Configure Email Server in Odoo 17How to Configure Email Server in Odoo 17
How to Configure Email Server in Odoo 17
 
Concept of Vouching. B.Com(Hons) /B.Compdf
Concept of Vouching. B.Com(Hons) /B.CompdfConcept of Vouching. B.Com(Hons) /B.Compdf
Concept of Vouching. B.Com(Hons) /B.Compdf
 
18-04-UA_REPORT_MEDIALITERAСY_INDEX-DM_23-1-final-eng.pdf
18-04-UA_REPORT_MEDIALITERAСY_INDEX-DM_23-1-final-eng.pdf18-04-UA_REPORT_MEDIALITERAСY_INDEX-DM_23-1-final-eng.pdf
18-04-UA_REPORT_MEDIALITERAСY_INDEX-DM_23-1-final-eng.pdf
 
Separation of Lanthanides/ Lanthanides and Actinides
Separation of Lanthanides/ Lanthanides and ActinidesSeparation of Lanthanides/ Lanthanides and Actinides
Separation of Lanthanides/ Lanthanides and Actinides
 
POINT- BIOCHEMISTRY SEM 2 ENZYMES UNIT 5.pptx
POINT- BIOCHEMISTRY SEM 2 ENZYMES UNIT 5.pptxPOINT- BIOCHEMISTRY SEM 2 ENZYMES UNIT 5.pptx
POINT- BIOCHEMISTRY SEM 2 ENZYMES UNIT 5.pptx
 
Call Girls in Dwarka Mor Delhi Contact Us 9654467111
Call Girls in Dwarka Mor Delhi Contact Us 9654467111Call Girls in Dwarka Mor Delhi Contact Us 9654467111
Call Girls in Dwarka Mor Delhi Contact Us 9654467111
 
Staff of Color (SOC) Retention Efforts DDSD
Staff of Color (SOC) Retention Efforts DDSDStaff of Color (SOC) Retention Efforts DDSD
Staff of Color (SOC) Retention Efforts DDSD
 
URLs and Routing in the Odoo 17 Website App
URLs and Routing in the Odoo 17 Website AppURLs and Routing in the Odoo 17 Website App
URLs and Routing in the Odoo 17 Website App
 
Science 7 - LAND and SEA BREEZE and its Characteristics
Science 7 - LAND and SEA BREEZE and its CharacteristicsScience 7 - LAND and SEA BREEZE and its Characteristics
Science 7 - LAND and SEA BREEZE and its Characteristics
 
Kisan Call Centre - To harness potential of ICT in Agriculture by answer farm...
Kisan Call Centre - To harness potential of ICT in Agriculture by answer farm...Kisan Call Centre - To harness potential of ICT in Agriculture by answer farm...
Kisan Call Centre - To harness potential of ICT in Agriculture by answer farm...
 
ECONOMIC CONTEXT - LONG FORM TV DRAMA - PPT
ECONOMIC CONTEXT - LONG FORM TV DRAMA - PPTECONOMIC CONTEXT - LONG FORM TV DRAMA - PPT
ECONOMIC CONTEXT - LONG FORM TV DRAMA - PPT
 
Introduction to ArtificiaI Intelligence in Higher Education
Introduction to ArtificiaI Intelligence in Higher EducationIntroduction to ArtificiaI Intelligence in Higher Education
Introduction to ArtificiaI Intelligence in Higher Education
 
“Oh GOSH! Reflecting on Hackteria's Collaborative Practices in a Global Do-It...
“Oh GOSH! Reflecting on Hackteria's Collaborative Practices in a Global Do-It...“Oh GOSH! Reflecting on Hackteria's Collaborative Practices in a Global Do-It...
“Oh GOSH! Reflecting on Hackteria's Collaborative Practices in a Global Do-It...
 
Class 11 Legal Studies Ch-1 Concept of State .pdf
Class 11 Legal Studies Ch-1 Concept of State .pdfClass 11 Legal Studies Ch-1 Concept of State .pdf
Class 11 Legal Studies Ch-1 Concept of State .pdf
 
Contemporary philippine arts from the regions_PPT_Module_12 [Autosaved] (1).pptx
Contemporary philippine arts from the regions_PPT_Module_12 [Autosaved] (1).pptxContemporary philippine arts from the regions_PPT_Module_12 [Autosaved] (1).pptx
Contemporary philippine arts from the regions_PPT_Module_12 [Autosaved] (1).pptx
 
Código Creativo y Arte de Software | Unidad 1
Código Creativo y Arte de Software | Unidad 1Código Creativo y Arte de Software | Unidad 1
Código Creativo y Arte de Software | Unidad 1
 
TataKelola dan KamSiber Kecerdasan Buatan v022.pdf
TataKelola dan KamSiber Kecerdasan Buatan v022.pdfTataKelola dan KamSiber Kecerdasan Buatan v022.pdf
TataKelola dan KamSiber Kecerdasan Buatan v022.pdf
 

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