13 views

Uploaded by Mohammad Gulam Ahamad

Logic

save

- Discrete Maths x
- Chuong03_RegisterTransferSpecificationAndDesign
- Tuto Logic
- Summation
- Efficient Construction of Discrete Adjoint Operators on Unstructured Grids by Using Complex Variables
- Pages from gri2.pdf
- אלגוריתמים- הרצאה 1 | Divide and Conquer
- TOS - Math
- Discrete
- segundosorites
- Sec7.1
- Solution2_2_16
- Handout Math c222
- A brief account on Smarandache 2-2 subtractive relationships, by H.Ibstedt
- Binomial Theorems
- Everybody Knows Article Version This Clases Particulares de Matematica en Belgrano.20140924.183702
- classifyng and sorting final
- highly tested process standards
- maths program
- dec 14 2016 - morning activities - lesson plan
- 314c08
- Baachelor of Secondary Education Major in Math
- Cst prepared ppt.
- references
- math and science with ipads
- october newsletter 2015
- kin 355 lesson
- Lec 1 Mathematical Ideas (Intro)
- Work, Knowledge and Identity Implications for school learning of out-of-school mathematical knowledge
- japnoor kaur 1
- un documento.odt
- publicaciones impresas
- Brightloop Blv040 00 Dsh
- LKPD I
- 1
- LactatoRingerHartmann.pdf
- Trabalho Motores 1
- Dasar Pendidikan dan hala tuju pendidikan di malaysia
- 6. Alcohol
- Prueba mixta 01 calificada de filosofia.docx
- Universia-guia-elaborar-tesis-grado-.pdf
- el-poder-infinito-de-su-mente.pdf
- 13. Jovito Salonga v. Warner Barnes & Co.
- Test Clasa a 3 a e
- vlad
- ngeno.txt
- anatomie_instructori_2015.pdf
- Template Classic Green-right
- ANATOMIE si EMBRIOLOGIE- an 1 RO - sem 2.doc
- BAB II_3.pdf
- Jedi Govna
- Argumento Con Sustento Teórico
- Geologia General I Unidad.pdf
- La Presion Arterial y Su Salud
- asdf
- SIKB-Bidan.pdf
- BAB III
- my cv
- 11.docx
- Logica.pdf
- Control Systems1
- m5-csp.ppt
- Semiconductors
- Distributed System Architeture
- Graph Theory
- Intro Signals
- 8086 Chip Evalution
- Functions
- Microprocessor Begning
- Control Systems1
- m6-game.ppt
- Client Server 1
- Introtocomputer.ppt
- Examples OfzTransform
- Donors and Acceptors in Semiconductors
- AlgorithmAnalysis.ppt
- m3-search.ppt
- m2-agents.ppt
- AI-ppt.ppt
- Addressingmodes.pdf
- _ch1_lecture1.pdf
- Hashing.ppt
- Intro to Amplifiers.pdf
- LIST_Lecture in Data Structures.ppt
- Data Structures-Trees.ppt
- PIC.ppt
- History Lecture Notes - S2004.ppt
- m4-heuristics.ppt
- Imageenhancement.pdf
- Data Structures-Trees.ppt

You are on page 1of 17

**Discrete Mathematics for Computer Science
**

Milos Hauskrecht milos@cs.pitt.edu 5329 Sennott Square

CS 441 Discrete mathematics for CS

M. Hauskrecht

Course administrivia

Instructor: Milos Hauskrecht 5329 Sennott Square milos@cs.pitt.edu TAs: James Larkby-Lahet 5501 Sennott Square, jamesll@cs.pitt.edu Vyasa Sai 6150 Sennott Sq vys1+@pitt.edu

Course web page: http://www.cs.pitt.edu/~milos/courses/cs441/

CS 441 Discrete mathematics for CS

M. Hauskrecht

Discrete Mathematics and Its Applications. McGraw Hill.Course administrivia Lectures: • Tuesday. Exercises from the book will be given for homework assignments CS 441 Discrete mathematics for CS M. 2007. 6th Edition. TA: Vyasa Sai – Section 13734: 11:00 – 11:50 AM. TA: James Larkby-Lahet CS 441 Discrete mathematics for CS M. TA: Vyasa Sai – Section 13682: 12:00 – 12:50 AM. Hauskrecht . Rosen. Thursday: 1:00-2:15 PM • WWPH 1500 Recitations: • held on Friday in 5313 SENSQ – Section 35296: 10:00 – 10:50 AM. Hauskrecht Course administrivia Textbook: • Kenneth H.

Course administrivia Grading policy • Exams: (60%) – Midterm 1 – Midterm 2 – Final (cumulative) 20% 20% 20% • Homework assignments: 30% • Lectures/recitations: 10% CS 441 Discrete mathematics for CS M. Hauskrecht Course administrivia Weekly homework assignments • Assigned in class and posted on the course web page • Due one week later at the beginning of the lecture • No extension policy Collaboration policy: • You may discuss the material covered in the course with your fellow students in order to understand it better • However. homework assignments should be worked on and written up individually CS 441 Discrete mathematics for CS M. Hauskrecht .

Hauskrecht .Course administrivia Course policies: • Any un-intellectual behavior and cheating on exams. CS 441 Discrete mathematics for CS M. quizzes will be dealt with severely • If you feel you may have violated the rules speak to us as soon as possible. understand and abide by the Academic Integrity Code for the Faculty and College of Arts and Sciences. • Please make sure you read. homework assignments. Hauskrecht Course syllabus Tentative topics: • Logic and proofs • Sets • Functions • Integers and modular arithmetic • Sequences and summations • Counting • Probability • Relations CS 441 Discrete mathematics for CS M.

Hauskrecht . graphs. These have applications in cryptography.Course administrivia Questions CS 441 Discrete mathematics for CS M. Hauskrecht Discrete mathematics • Discrete mathematics is the study of mathematical structures and objects that are fundamentally discrete rather than continuous. and software development. Concepts from discrete mathematics are useful for describing objects and problems in computer algorithms and programming languages. • Examples of objects with discrete values are integers. • Discrete mathematics and computer science. CS 441 Discrete mathematics for CS M. or statements in logic. automated theorem proving.

Hauskrecht Logic Logic: • defines a formal language for representing knowledge and for making logical inferences • It helps us to understand how to construct a valid argument Logic defines: • Syntax of statements • The meaning of statements • The rules of logical inference CS 441 Discrete mathematics for CS M. Hauskrecht .Course syllabus Tentative topics: • Logic and proofs • Sets • Functions • Integers and modular arithmetic • Sequences and summations • Counting • Probability • Relations CS 441 Discrete mathematics for CS M.

• (T) – 5 + 2 = 8. Hauskrecht . • (either T or F) M. • Examples: – Pitt is located in the Oakland section of Pittsburgh.): – How are you? • ? CS 441 Discrete mathematics for CS M. Hauskrecht CS 441 Discrete mathematics for CS Propositional logic • Examples (cont.Propositional logic • The simplest logic • Definition: – A proposition is a statement that is either true or false. • (F) – It is raining today.

Propositional logic • Examples (cont. • Logical connectives: – Negation – Conjunction – Disjunction – Exclusive or – Implication – Biconditional CS 441 Discrete mathematics for CS M. • (T) – She is very talented. Hauskrecht . neither true nor false – There are other life forms on other planets in the universe. Hauskrecht CS 441 Discrete mathematics for CS Composite statements • More complex propositional statements can be build from the elementary statements using logical connectives. • since she is not specified.): – How are you? • a question is not a proposition – x+5=3 • since x is not specified. • either T or F M. neither true nor false – 2 is a prime number.

– 2 is a prime number. – 10 is not a prime number. The negation of p is denoted by ¬ p and read as "not p. • It is not raining today." • Examples: – It is not the case that Pitt is located in the Oakland section of Pittsburgh. called the negation of p. The statement "It is not the case that p. – 5 + 2 ≠ 8. Hauskrecht Negation • Negate the following propositions: – It is raining today. • It is not the case that there are other life forms on other planets in the universe. – It is not the case that buses stop running at 9:00pm. CS 441 Discrete mathematics for CS M.Negation • Defn: Let p be a proposition. • 2 is not a prime number – There are other life forms on other planets in the universe. CS 441 Discrete mathematics for CS M." is another proposition. Hauskrecht .

p T F ¬p F T CS 441 Discrete mathematics for CS M. Hauskrecht . – 2 is a prime number and 5 + 2 ≠ 8. The proposition "p and q" denoted by p ∧ q. – 13 is a perfect square and 9 is a prime. CS 441 Discrete mathematics for CS M. is true when both p and q are true and is false otherwise. The proposition p ∧ q is called the conjunction of p and q. Hauskrecht Conjunction • Definition: Let p and q be propositions. • Examples: – Pitt is located in the Oakland section of Pittsburgh and 5 + 2=8 – It is raining today and 2 is a prime number.Negation • A truth table displays the relationships between truth values (T or F) of propositions.

• Examples: – Pitt is located in the Oakland section of Pittsburgh or 5 + 2 = 8. The proposition p ∨ q is called the disjunction of p and q. Hauskrecht Truth tables • Conjunction and disjunction • Four different combinations of values for p and q p T T F F q T F T F p∧q T F F F p∨q T T T F • NB: p ∨ q (the or is used inclusively. i. – 13 is a perfect square or 9 is a prime. – 2 is a prime number or 5 + 2 ≠ 8. The proposition "p or q" denoted by p ∨ q..Disjunction • Definition: Let p and q be propositions. – It is raining today or 2 is a prime number. CS 441 Discrete mathematics for CS M. is false when both p and q are false and is true otherwise. CS 441 Discrete mathematics for CS M. Hauskrecht .e. p ∨ q is true when either p or q or both are true).

is true when exactly one of p and q is true and it is false otherwise. The proposition "p exclusive or q" denoted by p ⊕ q. Hauskrecht CS 441 Discrete mathematics for CS . p is called the hypothesis and q is called the conclusion. It is false when p is true and q is false and is true otherwise. p T T F F q T F T F p→q T F T T M.Exclusive or • Definition: Let p and q be propositions. • In p → q. Hauskrecht Implication • Definition: Let p and q be propositions. The proposition "p implies q" denoted by p → q is called implication. p T T F F q T F T F p⊕q F T T F CS 441 Discrete mathematics for CS M.

• What is the truth value ? CS 441 Discrete mathematics for CS M.Implication • p → q is read in a variety of equivalent ways: • if p then q • p only if q • p is sufficient for q • q whenever p • Examples: – if the moon is made of green cheese then 2 is a prime. • What is the truth value ? CS 441 Discrete mathematics for CS M. Hauskrecht . • What is the truth value ? – if today is tuesday then 2 * 3 = 8. • If F then T ? – if today is tuesday then 2 * 3 = 8. Hauskrecht Implication • p → q is read in a variety of equivalent ways: • if p then q • p only if q • p is sufficient for q • q whenever p • Examples: – if the moon is made of green cheese then 2 is a prime.

•T – if today is tuesday then 2 * 3 = 8. • What is the truth value ? CS 441 Discrete mathematics for CS M.Implication • p → q is read in a variety of equivalent ways: • if p then q • p only if q • p is sufficient for q • q whenever p • Examples: – if the moon is made of green cheese then 2 is a prime. •T – if today is tuesday then 2 * 3 = 8. Hauskrecht . Hauskrecht Implication • p → q is read in a variety of equivalent ways: • if p then q • p only if q • p is sufficient for q • q whenever p • Examples: – if the moon is made of green cheese then 2 is a prime. • If T then F CS 441 Discrete mathematics for CS M.

Hauskrecht Implication • The converse of p → q is q → p.Implication • p → q is read in a variety of equivalent ways: • if p then q • p only if q • p is sufficient for q • q whenever p • Examples: – if the moon is made of green cheese then 2 is a prime. • p→q – The converse: If the traffic moves slowly then it snows. • p: it snows q: traffic moves slowly. •F CS 441 Discrete mathematics for CS M. • q→p M. the traffic moves slowly. •T – if today is tuesday then 2 * 3 = 8. • The contrapositive of p → q is ¬q → ¬p • The inverse of .p → q is ¬p → ¬q • Examples: • If it snows. Hauskrecht CS 441 Discrete mathematics for CS .

Hauskrecht . Hauskrecht Biconditional • Definition: Let p and q be propositions. • ¬q → ¬p – The inverse: • If does not snow the traffic moves quickly.p → q is ¬p → ¬q • Examples: • If it snows. CS 441 Discrete mathematics for CS M.Implication • The contrapositive of p → q is ¬q → ¬p • The inverse of . p T T F F q T F T F p↔q T F F T • Note: two truth values always agree. • ¬p → ¬q CS 441 Discrete mathematics for CS M. the traffic moves slowly. The biconditional p ↔ q (read p if and only if q). – The contrapositive: • If the traffic does not move slowly then it does not snow. is true when p and q have the same truth values and is false otherwise.

Constructing the truth table • Examples: Construct a truth table for (p → q) ∧ (¬p ↔ q) p T T F F q T F T F ¬p F F T T p→q T F T T ¬p ↔ q F T T F (p→q)∧ (¬p↔q) F F T F CS 441 Discrete mathematics for CS M. Hauskrecht .

- Discrete Maths xUploaded byssssoumiksen
- Chuong03_RegisterTransferSpecificationAndDesignUploaded byHiếu Nguyễn
- Tuto LogicUploaded byNor Hafizah
- SummationUploaded bySingh Sudip
- Efficient Construction of Discrete Adjoint Operators on Unstructured Grids by Using Complex VariablesUploaded byJoshua Smith
- Pages from gri2.pdfUploaded byyuritzi
- אלגוריתמים- הרצאה 1 | Divide and ConquerUploaded byRon
- TOS - MathUploaded byGeorge Ezar N. Quiriado
- DiscreteUploaded byMarisol Triple S
- segundosoritesUploaded byillmrpinheiro
- Sec7.1Uploaded byTheGreatPostulio
- Solution2_2_16Uploaded byArsy
- Handout Math c222Uploaded byarvchamp
- A brief account on Smarandache 2-2 subtractive relationships, by H.IbstedtUploaded byAnonymous 0U9j6BLllB
- Binomial TheoremsUploaded bymanmonbha
- Everybody Knows Article Version This Clases Particulares de Matematica en Belgrano.20140924.183702Uploaded bybenchelbow0
- classifyng and sorting finalUploaded byapi-296254452
- highly tested process standardsUploaded byapi-265598449
- maths programUploaded byapi-319348099
- dec 14 2016 - morning activities - lesson planUploaded byapi-335982597
- 314c08Uploaded byLouis Guy
- Baachelor of Secondary Education Major in MathUploaded byDeckerChua
- Cst prepared ppt.Uploaded byjenny255
- referencesUploaded byapi-319899078
- math and science with ipadsUploaded byapi-252453811
- october newsletter 2015Uploaded byapi-294162501
- kin 355 lessonUploaded byapi-316834958
- Lec 1 Mathematical Ideas (Intro)Uploaded byShe Qin
- Work, Knowledge and Identity Implications for school learning of out-of-school mathematical knowledgeUploaded byKinkini Bhadra
- japnoor kaur 1Uploaded byapi-362406474

- Control Systems1Uploaded byMohammad Gulam Ahamad
- m5-csp.pptUploaded byMohammad Gulam Ahamad
- SemiconductorsUploaded byMohammad Gulam Ahamad
- Distributed System ArchitetureUploaded byMohammad Gulam Ahamad
- Graph TheoryUploaded byMohammad Gulam Ahamad
- Intro SignalsUploaded byMohammad Gulam Ahamad
- 8086 Chip EvalutionUploaded byMohammad Gulam Ahamad
- FunctionsUploaded byMohammad Gulam Ahamad
- Microprocessor BegningUploaded byMohammad Gulam Ahamad
- Control Systems1Uploaded byMohammad Gulam Ahamad
- m6-game.pptUploaded byMohammad Gulam Ahamad
- Client Server 1Uploaded byMohammad Gulam Ahamad
- Introtocomputer.pptUploaded byMohammad Gulam Ahamad
- Examples OfzTransformUploaded byMohammad Gulam Ahamad
- Donors and Acceptors in SemiconductorsUploaded byMohammad Gulam Ahamad
- AlgorithmAnalysis.pptUploaded byMohammad Gulam Ahamad
- m3-search.pptUploaded byMohammad Gulam Ahamad
- m2-agents.pptUploaded byMohammad Gulam Ahamad
- AI-ppt.pptUploaded byMohammad Gulam Ahamad
- Addressingmodes.pdfUploaded byMohammad Gulam Ahamad
- _ch1_lecture1.pdfUploaded byMohammad Gulam Ahamad
- Hashing.pptUploaded byMohammad Gulam Ahamad
- Intro to Amplifiers.pdfUploaded byMohammad Gulam Ahamad
- LIST_Lecture in Data Structures.pptUploaded byMohammad Gulam Ahamad
- Data Structures-Trees.pptUploaded byMohammad Gulam Ahamad
- PIC.pptUploaded byMohammad Gulam Ahamad
- History Lecture Notes - S2004.pptUploaded byMohammad Gulam Ahamad
- m4-heuristics.pptUploaded byMohammad Gulam Ahamad
- Imageenhancement.pdfUploaded byMohammad Gulam Ahamad
- Data Structures-Trees.pptUploaded byMohammad Gulam Ahamad