html>

CSE 240 - Logic and Discrete Mathematics.

Textbook:

Discrete Mathematics and Its Applications, either Fifth or Sixth Edition Edition, Kenneth Rosen. ISBN 0-07-293033-0. This book is required.

Course Policies

Contact Information

Robert Pless, 518 Lopata Hall.
- pless(at)cse.wustl
- "profpless" on yahoo and AIM instant messenger
- office hours wednesday 3:30 - 4:30
The following TA's will hold office hours in/near the ACM lounge on the 5th floor of Lopata.
- Robyn Haas, 4:00-5:30 monday, (rjhaas(-at-)wustl.edu)
- Aayush Munjal, 1:15-2:45 friday, (am11(-at-)cec.wustl.edu),
Our class has one more TA, who holds office hours in the TA room on the first floor of Urbauer
- James Jackson, 11-1 on monday and wednesday (jackson.jamesr(-at-)gmail.com)

Syllabus

The midterm will be Thursday October 19.
Lecture 1, Thursday October 31 (Terse) Lecture Notes
Topic: Introduction and Roadmap to Class, Intro to Propositional Logic

Book Section: 1.1
Vetted Online Resources: Logic Intro, Propositions and Connectives

Lecture 2 (Terse) Lecture Notes
Topic: Propositional Logic/Equivalence, touch on logical completeness.
Book Section: 1.1, 1.2
Homework 1,

Lecture 3 (Terser) Lecture Notes
Topics: Prepositions, Universal and Existential Quantifiers, Equivalance to propositional calculus over finite sets, Generalized deMorgans law, Negations of quantified statements.
Book Section: 1.3 / 1.4 AV experience: "Photo Tourism"

Lecture 4 (Tersest) Lecture Notes
Topics, multi-variable prepositions, multiply quantified statements.
Homework 2, Solutions,
Book Section: 1.5 though example 16

Lecture 5 (Terserest) Lecture Notes
Topic: Inference Continued, Proofs, Direct and Indirect
Vetted online information about fallacies link.
Book Section: 1.5 though example 22, Section 3.1

Lecture 7 (this is approximately 6) Lecture Notes
Topic: More Proofs
Book Section: 1.5 though example 22, Section 3.1
Homework 3, (solutions),
Official GRE page about analytic essay exam

Lecture 8 Lecture Notes
Topic: Induction
Book Section: 3.3

Lecture 9
Topic: Induction+1 (This will be funny) Lecture Topics
Homework 4, (solutions),
Book Section: 3.3

Lecture 10 Lecture Outline
Strong Induction, NIM
AV experience (Evolved Creatures)
Book Section: 3.4-3.6

Lecture 11 Lecture Highlights
Topic: Program Correctness
Homework 5, (solutions),
Book Section: 1.6

Lecture 12
Topic: More Program Correctness
Book Section: 1.6

Lecture 13
Topic: Logic Reprise. Multi-valued logic.

Lecture 14
Topic: Proof Topics Reprise. Hard Inductions and Games.

Lecture 15
Topic: IN CLASS MIDTERM Sample Midterm and Solutions

Lecture 16 Lecture Highlights
Homework 6, solutions,
Topic: Sets, Power Sets, Recursively Defined Sets, Power Sets

Lecture 17 Lecture Highlights
Topic: Functions, one to one, onto, composition.
Book Section: 3.2

Lecture 18 Lecture notes
Topic: Cardinality, intro to Sequences and Series
Homework 7, solutions,
Book Section: 1.7

Lecture 19 Lecture notes
Topic: Counting
Book Section: 4.1-4.3

Lecture 20 Lecture notes
Topic: Counting + 1 (This won't be funny)
Homework 8,
Book Section: 4.2

Lecture 21 Lecture notes
Topic: Probability
Book Section: 4.6

Lecture 22 Lecture notes
Topic: Relations
Homework 9, (solutions),
Book Section: 6.1, 6.3

Lecture 20 Lecture notes
Topic: Closure and Equivalence of Relations
Book Section: 6.4, 6.5

Lecture 21 Lecture notes
Topic: Partial Orders and Graphs
Book Section: 6.6, 7.1 AV expreience; articial life defined by graph genome

Lecture 22 Lecture notes
Topic: Graph Properties (Isomorphism, Euler and Hamiltonian Cycles)
Homework 10, (solutions),
Book Section: 7.2, 7.3, 7.5

Lecture 23
Topic: Finite State Machines
Book Section: 10.2, 10.3

Lecture 24
Topic: Limitations of Finite State Machines
Homework 11/Sample Final,
Book Section: 10.4, Example 5.