Lecture 19 Exam: Tuesday June14 4-6pm Overview. Disclaimer The following is a only study guide. You need to know all the material treated in class.

Slides:



Advertisements
Similar presentations
Set Operations. When sets are equal A equals B iff for all x, x is in A iff x is in B or … and this is what we do to prove sets equal.
Advertisements

MAT 2720 Discrete Mathematics Spring Dr. Wai W. Lau Dr. Lau Wai.
Course Outline. Lecture 1 Learning Objectives  To use set notations  To apply operations (union, intersection) on sets  To define de Morgan’s Laws.
Basic Structures: Sets, Functions, Sequences, Sums, and Matrices
Basic Structures: Sets, Functions, Sequences, Sums, and Matrices
F22H1 Logic and Proof Week 7 Clausal Form and Resolution.
Chapter 4 Probability and Probability Distributions
Homework 7 –Average: 70Median: 75 – Homework 8 –Average: 74Median:
Chapter 3. Mathematical Reasoning 3.1 Methods of proof A theorem is a statement that can be shown to be true. A proof is to demonstrate that a theorem.
Laws of , , and  Excluded middle law Contradiction law P   P  T P   P  F NameLaw Identity laws P  F  P P  T  P Domination laws P  T  T P.
1 Section 1.7 Set Operations. 2 Union The union of 2 sets A and B is the set containing elements found either in A, or in B, or in both The denotation.
Syllabus Every Week: 2 Hourly Exams +Final - as noted on Syllabus
Lecture 19 Exam: Tuesday June15 4-6pm Overview. General Remarks Expect more questions than before that test your knowledge of the material. (rather then.
Proof by Deduction. Deductions and Formal Proofs A deduction is a sequence of logic statements, each of which is known or assumed to be true A formal.
IB Math Studies – Topic 3. IB Course Guide Description.
1 1.0 Students solve equations and inequalities involving absolute value. Algebra 2 Standards.
Course Outline Book: Discrete Mathematics by K. P. Bogart Topics:
CSCI 115 Chapter 2 Logic. CSCI 115 §2.1 Propositions and Logical Operations.
Induction and recursion
Chapter 1 Probability and Distributions Math 6203 Fall 2009 Instructor: Ayona Chatterjee.
Mathematical Structures A collection of objects with operations defined on them and the accompanying properties form a mathematical structure or system.
A Brief Summary for Exam 1 Subject Topics Propositional Logic (sections 1.1, 1.2) –Propositions Statement, Truth value, Proposition, Propositional symbol,
MATH 224 – Discrete Mathematics
Probability Notes Math 309. Sample spaces, events, axioms Math 309 Chapter 1.
Binomial Coefficients, Inclusion-exclusion principle
Chapter 3 – Set Theory  .
Week 15 - Wednesday.  What did we talk about last time?  Review first third of course.
Barnett/Ziegler/Byleen Finite Mathematics 11e1 Chapter 7 Review Important Terms, Symbols, Concepts 7.1. Logic A proposition is a statement (not a question.
Summary -1 Chapters 2-6 of DeCoursey. Basic Probability (Chapter 2, W.J.Decoursey, 2003) Objectives: -Define probability and its relationship to relative.
 期中测验时间:  10 月 31 日上午 9 : 40—11 : 30  第一到第四章  即,集合,关系,函数,组合数学.
Week 21 Conditional Probability Idea – have performed a chance experiment but don’t know the outcome (ω), but have some partial information (event A) about.
1 CMSC 250 Discrete Structures CMSC 250 Lecture 1.
Theory and Applications
Stats Probability Theory Summary. The sample Space, S The sample space, S, for a random phenomena is the set of all possible outcomes.
Math 4030 Midterm Exam Review. General Info: Wed. Oct. 26, Lecture Hours & Rooms Duration: 80 min. Close-book 1 page formula sheet (both sides can be.
Mathematical Preliminaries
CSE 311 Foundations of Computing I Lecture 9 Proofs and Set Theory Autumn 2012 CSE
A Brief Summary for Exam 2 Subject Topics Number theory (sections ) –Prime numbers Definition Relative prime Fundamental theorem of arithmetic.
Lecture 1 Overview Topics 1. Proof techniques: induction, contradiction Proof techniques June 1, 2015 CSCE 355 Foundations of Computation.
2007 D iscrete The foundations C ounting theory N umber theory G raphs & trees structure s
AP Statistics Wednesday, 20 November 2015 OBJECTIVE TSW review for the test covering probability.
CSci 2011 Discrete Mathematics Lecture 9, 10
CS 2800 Midterm Review. Announcements Midterm Tuesday, 11/3, 7:30PM, UP B17 Covers up to and including HW #4 (induction) Practice Prelim / Homework Solutions.
CSE 311: Foundations of Computing Fall 2013 Lecture 8: Proofs and Set theory.
Week 4 - Friday.  What did we talk about last time?  Floor and ceiling  Proof by contradiction.
Chapter 2: Probability. Section 2.1: Basic Ideas Definition: An experiment is a process that results in an outcome that cannot be predicted in advance.
MATHEMATICAL FOUNDATION OF COMPUTER SCIENCE By, A.Kousar Nikhath, Asst.Professor, CSE Dpt.
Set Operations Section 2.2.
1.  This course covers the mathematical foundations of computer science and engineering. It provides an introduction to elementary concepts in mathematics.
Week 15 - Wednesday.  What did we talk about last time?  Review first third of course.
Chapter 2 1. Chapter Summary Sets (This Slide) The Language of Sets - Sec 2.1 – Lecture 8 Set Operations and Set Identities - Sec 2.2 – Lecture 9 Functions.
Week 8 - Wednesday.  What did we talk about last time?  Relations  Properties of relations  Reflexive  Symmetric  Transitive.
Topic Overview and Study Checklist. From Chapter 7 in the white textbook: Modeling with Differential Equations basic models exponential logistic modified.
Chapter 1 Logic and proofs
Review: Discrete Mathematics and Its Applications
CSCE 355 Foundations of Computation
Advanced Algorithms Analysis and Design
CSE 321 Review Session Dave Bacon.
CSCE 355 Foundations of Computation
A Brief Summary for Exam 2
Set Operations Section 2.2.
Propositional Logic Defining Propositional Logic
CS201: Data Structures and Discrete Mathematics I
A Brief Summary for Exam 1
Review: Discrete Mathematics and Its Applications
Probability Notes Math 309.
Logic Logic is a discipline that studies the principles and methods used to construct valid arguments. An argument is a related sequence of statements.
CS201: Data Structures and Discrete Mathematics I
Probability Notes Math 309.
Probability Notes Math 309 August 20.
Presentation transcript:

Lecture 19 Exam: Tuesday June14 4-6pm Overview

Disclaimer The following is a only study guide. You need to know all the material treated in class

1.1 Definitions: know all the terms involved. Logical operators: how do they work? Truth tables Know how propositions are combined using operators.

1.2 Understand logical equivalence. (what does it mean to prove one ?) De Morgan’s law See if you understand the simpler ones in table 5.

1.3, 1.4 Understand universal and existential quantification and how to work with them. For instance: why is P(x) not a proposition without a quantifier? Rules for negating quantified statements. Understand how nested quantifiers work

1.5 Know the most important rules of inference by heart: addition, simplification, conjunction, modus ponens, modus tollens, hypothetical syllogism. Know how prove a logical statement or detect fallacies. Know the 3 most important methods of proof: direct, indirect, by contradiction. You may be asked to prove simple propositions. What kind of theorems with quantifiers are there?

1.6 Know all the definitions (e.g. empty set, power set, subset, cardinality, Cartesian product etc.). Venn diagrams

1.7 Know all the operations on sets (e.g. intersection, union, disjoint, difference, complement. Know some simple set identities treated in text, like negation of a union is intersection of negations.

1.8 Understand what one-to-one, onto and one-to-one correspondence are. Inversion, addition and multiplication and composition of functions.

Read 3.1 to train yourself in proving theorems. You may be asked to prove or disprove a simple theorem. Train yourself with sequences and summations. Most important ones: geometric and arithmetic progression Know what the solution is to a geom. and artihm. summations. You may be asked to find the solution of a summation using these. Definition of countable/uncountable: what does it mean, can you prove a simple example.

3.3 You can be asked to prove a simple theorem by induction (see quiz): train yourself. Difference induction-strong induction?

3.4 What does it mean to define something recursively (i.e. basis step, inductive step). How can we recursively define sets, such as rooted, binary trees? Some material is excluded from this section (see slides).

4.1, 4.2 Counting is difficult: it requires training! (study all examples in book and homework assignments) Product rule, Sum rule: know how to work with them. Pigeonhole principle: understand what it means.

4.3 Permutations and Combinations (without repetition, replacement). Look at slides: placing balls in baskets. You have to be able to recognize that a particular problem is one of these cases: e.g. find out if the “baskets” are distinguishable or indistinguishable.

4.4 Binomial theorem. Binomial coefficients You don’t have to learn the corollaries by heart, but you need to have some practice in manipulating binomial coefficients.

4.5 Look again at slides: now there are 4 cases and you have to be able to recognize a problem as one of these 4 (balls and/or baskets can be distinguishable/indistinguishable. Look at the examples, home-works, midterm, sample final, quizzes. Practice! Theorem 3.

5.1,5.2 Basic definitions: event, sample space, prob. of complement, prob. of union, prob. of intersection. Non-uniform probabilities. conditional prob. independence. (e.g. you may be asked if 2 events are independent). Bernoulli trials, Binomial distribution (recognize that a problem is a Bernoulli trial) Random variables.

5.3 Expected values and Variance, standard deviation (you may be asked to compute them). Linearity of expectation. This trick may help you when you are asked to compute expectation of sums of random variables. Geometric Distribution: what does it model? Independence and implications for mean/variance (they may simplify your calculations). mean and variance of Binomial distribution.

6.1,6.2 Recurrence Relations: How do you construct one from a description. How do you solve one! (you may be asked to solve “simple” recurrence relations of various sorts: e.g. with the same roots, with or without initial conditions etc). If you study the material in the book and practice there should be no surprises for you here.

6.4 What is a generating function. You should be able to construct one given a sequence and vice versa. Combining generating functions (add & multiply). Extended binomial coefficients (definition). Learn by heart GenFunc for 1/(1-ax), (1+x)^u (th.2). Study examples on how they are used to solve counting problems with constraints and recurrence relations.

6.5, 6.6 Understand and know by heart the formula for inclusion/exclusion. Understand how it is applied to counting problems of the sort: count the number of elements that do not have a the following properties. Derangements: what is it and how many are there?