Return to main course web page.

• In-class worksheets. All (or nearly all) lectures will have in-class worksheets, all available in a single PDF file.
• Podcasts. Available at podcast.ucsd.edu. In most most cases with both audio and video.

Thursday September 23	Course overview. Propositional connectives, usage in English PDF text: Section II.1, start of II.2. Hodel text: Sections 1.1 and 2.1. Prerecorded lectures: 1, 2.1 and start of 2.2 Podcast is audio only.
Tuesday September 28	Propositional formulas, definition of truth, satisfiability, tautologies PDF text: Sections II.2, II.3, II.4. Hodel text: Sections 2.1 and 2.2. Prerecorded lectures: 2.2, 2.3, 2.4. Screen slides from lecture. And Podcast -- audio and video.
Thursday September 30	Implication, equivalence, satisfiability (reduced) truth tables PDF text: II.4, II.5, II.6. Hodel text: Section 2.2 including some exercises. Prerecorded lectures: 2.3, 2.4, 2.5. Screen slides from lecture. And Podcast -- audio and video.
Tuesday October 5	Boolean functions; DNF and CNF formulas; Adequate sets of connectives; Proof by Induction. PDF text: II.7, II.8, II.9. Hodel text: Sections 1.2, 2.2 and 2.3. Prerecorded lectures: 2.6, 2.7, 2.8. Screen slides from lecture. And Podcast -- audio and video.
Thursday October 7	Adequate sets of connectives; Substitution; Introduction to PL proofs PDF text: II.8, II.10, III.1, III.2. Hodel text: Sections 1.3, 3.5 (system L) Prerecorded lectures: 2.7, 2.9, 3.1, 3.2. Screen slides from lecture. And Podcast -- audio and video.
Tuesday October 12	PL proofs. Deduction Theorem and Hypothetical Syllogism. PDF text: III.1, III.2. Hodel text: Sections 3.5 (system L). Prerecorded lectures: 3.2, 3.3. Screen slides from lecture. And Podcast -- audio and video.
Thursday October 14	Inconsistency, Contradiction, etc., and Compactness, Soundness, Completeness. PDF text: III.3, III.4, III.5, III.7. Hodel text: Sections 3.5, 3.2, 3.3, 3.4 Prerecorded lectures: 3.4, 3.5, 3.6. Screen slides from lecture. And Podcast -- audio and video.
Tuesday October 19	Compactness, Soundness, Completeness, Lindenbaum's Theorem. PDF text: III.5, III.6, III.7. Hodel text: Sections 3.2, 3.4, 3.5. Prerecorded lectures: 3.5, 3.6, 3.7. Screen slides from lecture. And Podcast -- audio and video.
Thursday October 21	MIDTERM #1.    Available: Review session slides and Review session podcast.
Tuesday October 26	Proof of Completeness Theorem. Introduction to First-order Logic. PDF text: III.6 and IV.1. Hodel text: Sections 3.4, 3.5, first page of Chapter 4. Prerecorded lectures: 3.7. Screen slides from lecture. And Podcast -- audio and video.
Thursday October 28	Terms, formulas, free and bound variables. Examples in the integers. PDF text: IV.1, IV.2. Hodel text: Sections 4.1, 4.2. Screen slides from lecture. And Podcast -- audio and video.
Tuesday November 2	Definition of Truth. PDF text: IV.3, IV.5. Hodel text: Sections 4.3. Screen slides from lecture. And Podcast -- audio and video.
Thursday November 4	Logical implication. Tautologies. Replacement with equivalent subformula. PDF text: IV.4, IV.5. Hodel text: Sections 4.3. Screen slides from lecture. And Podcast -- audio and video.
Tuesday November 9	Substitution, Equality Axioms and Alphabetic Variants. PDF text: IV.7, IV.8, IV.11. Hodel text: Sections 4.4. Screen slides from lecture. And Podcast -- audio and video.
Tuesday November 16	Alphabetic Variants, Quantifer axiom (instantiation), Prenex form, First-order axioms and rules. PDF text: IV.7, IV.8, IV.9, IV.11. V.1. Hodel text: Sections 5.1, 5.6. Screen slides from lecture. And Podcast -- audio and video.
Thursday November 18	MIDTERM #2.    Review session podcast.
Tuesday November 23	Prenex formulas. First-order (FO)-proofs. Axioms, Generalization, Equality, Tautological Implication. PDF text: IV.9, V.1. Hodel text: Sections 5.1, 5.6. Screen slides from lecture. And Podcast -- audio and video. Erratum: Some equality axioms omitted on slide 3, and included later on slide 9.
Tuesday November 30	Deduction Theorem, Proof by Contradiction, Soundness Theorem and Henkin theories. PDF text: V.1, V.2, and V.3. Hodel text: Sections 5.2, 5.3, 5.4, 5.5. Screen slides from lecture. And Podcast -- audio and video.
Thursday December 2	Proof of the Completeness Theorem; the Compactness Theorem. PDF text: V.4 and V.5. Hodel text: Sections 5.5, 6.2. Screen slides from lecture. And Podcast -- audio and video.