Unless otherwise specified, all readings are in RosenBook. As always, the future is uncertain, so you should take parts of the schedule that haven't happened yet with a grain of salt.
1. Detailed schedule
More PropositionalLogic: tautologies and logical equivalences. More about implication: converses, inverses, and contraposition. Readings: §1.2.
PredicateLogic. Readings: §§1.3–1.4.
InferenceRules and ProofTechniques. Direct proof, proof by contraposition, proof by cases. Readings: §§1.5–1.7. In class I mentioned this website that attempts to collect machine-verifiable proofs of basic mathematical results; it may be worth looking at it just to see how horrendous a detailed machine-verifiable proof can get. Most published proofs in mathematics and related disciplines tend to be "sketchier"—leaving out many details the reader is expected to infer on their own. This has the advantage of making proofs comprehensible to humans (by including only the important points), but may mean that these proofs are not, in fact, correct in all details. See here (PDF file) for a recent editorial lamenting the possible negative effects of this.
More ProofTechniques, especially those useful for quantified statements: proof by choosing, proof by construction, proof by counterexample, proof by instantiation. Indirect proof (proof by contradiction) and proof by elimination.
SetTheory basics. Naive set theory; axiomatic set theory up to axiom of the power set. Readings: §§2.1–2.2.
More axiomatic SetTheory: the axiom schema of specification (which gives set comprehension and intersection). Proving things about sets. The axiom of infinity and its consequences.
Functions basics: Cartesian product of two sets, relations, functions, sequences. Injections, surjections, and bijections. Readings: §2.3.
More Functions: Composition and inverses. How bijections define the size of a set.
Recursion and InductionProofs: simple induction, recursive definitions. Readings: §4.1.
Still more InductionProofs: strong induction and structural induction. Examples: prime factorizations, game trees, monotone Boolean formulas. Readings: §§4.2–4.3.
HowToCount: Counting as bijection. Countable and uncountable sets. Readings: §2.4 pp. 158–160.
HowToCount: Rules for counting. Readings: §§5.1–5.2.
Start of ProbabilityTheory: probability spaces and events. Probability of the union of two events. Independence. Readings: §§6.1–6.2.
More ProbabilityTheory: conditional probability. Readings: §6.3.
RandomVariables and expectation. Readings: §6.4.
More RandomVariables. Markov's inequality. Variance and Chebyshev's inequality.
The ProbabilisticMethod. Alternative formula for variance. Variance of a sum. Covariance.
The midterm exam will be given Friday, 2008-10-24 at the usual class time and location. It will be a closed-book, cumulative exam covering all material discussed in lecture prior to the test date.
Generating GeneratingFunctions: sums, products, pointing, composition and repetition. Getting coefficients out of generating functions using the binomial theorem.
More GeneratingFunctions: solving recurrences; getting coefficients using partial fraction expansions.
The DivisionAlgorithm and ModularArithmetic. Readings: §3.4. Also much flaming about learning theory, artificial intelligence, and the awesome and seemingly unattainable power of NP oracles, which was somehow vaguely inspired by the apparent difficulty of factoring. (You are not responsible for this.)
More NumberTheory: the extended Euclidean algorithm and applications. Readings: §3.7.
Relations: basic properties. Readings: §§8.1, 8.3, and 8.4.
More Relations: equivalence relations and partial orders. Readings: §§8.5–8.6.
Still more Relations: closures, pre-orders, maximum/maximal/minimum/minimal elements, lattices.
Start of GraphTheory: digraphs, graphs, basic graph terminology, some standard graphs. Readings: §§9.1–9.2.
More GraphTheory: subgraphs, products, homomorphisms and isomorphisms. Readings: §9.3.
GraphTheory: paths, cycles, and connectivity properties. Readings: §9.4.
LinearAlgebra: matrices, vectors, matrix multiplication and inverses. Readings: §3.8.
LinearAlgebra and geometry: dot-products, orthogonality, linear transformations.
AlgebraicStructures: magmas, semigroups, monoids, groups, abelian groups. Homomorphisms and isomorphisms.
The final exam was given Friday, 2008-12-19, starting at 9:00 am in WLH 208. It was a closed-book test covering all material discussed during the semester. Solutions: final-2008-solutions.pdf. Exam without solutions: final-2008.pdf.