Wikinotes

Propositional calculus, truth-tables, switching circuits, natural deduction, first order predicate calculus, axiomatic theories, set theory.

3.0

Subject	Semester
List of tautologies	Fall 2011
HTSEFP: Propositional logic	Fall 2011
HTSEFP: Relations and lattices	Fall 2011
HTSEFP: Predicate logic	Fall 2011
HTSEFP: Model theory	Fall 2011
HTSEFP: Peano arithmetic	Fall 2011
HTSEFP: Prenex normal form	Fall 2011
HTSEFP: Set theory	Fall 2011

Subject	Semester
Friday, September 2, 2011 Introduction to propositional logic	Fall 2011
Wednesday, September 7, 2011 More propositional logic	Fall 2011
Friday, September 9, 2011 Propositional arguments and normal forms	Fall 2011
Monday, September 12, 2011 Introduction to relations	Fall 2011
Wednesday, September 14, 2011 Relations continued	Fall 2011
Friday, September 16, 2011 Orders and lattices	Fall 2011
Monday, September 19, 2011 Properties of lattices	Fall 2011
Wednesday, September 21, 2011 Facts about distributivity	Fall 2011
Friday, September 23, 2011 Atoms and complements	Fall 2011
Monday, September 26, 2011 Introduction to predicate logic	Fall 2011
Wednesday, September 28, 2011 Signatures and predicate logic	Fall 2011
Friday, September 30, 2011 The rules of formal logic	Fall 2011
Monday, October 3, 2011 Some example proofs and more quantifier rules	Fall 2011
Wednesday, October 5, 2011 Existential rules and more example proofs	Fall 2011
Friday, October 7, 2011 Logical theorems and more proofs	Fall 2011
Friday, October 14, 2011 More proofs, and some logical axioms	Fall 2011
Monday, October 17, 2011 Proofs involving equality	Fall 2011
Wednesday, October 19, 2011 A long proof and more on signatures	Fall 2011
Friday, October 21, 2011 Model theory	Fall 2011
Monday, October 24, 2011 More on models	Fall 2011
Wednesday, October 26, 2011 Introduction to Peano arithmetic	Fall 2011
Friday, October 28, 2011 More Peano arithmetic	Fall 2011
Monday, October 31, 2011 Probably more Peano arithmetic	Fall 2011
Wednesday, November 2, 2011 I don't even know	Fall 2011
Friday, November 4, 2011 Euclidean algorithm?	Fall 2011
Monday, November 7, 2011 Introduction to set theory	Fall 2011
Wednesday, November 9, 2011 More sets theory - ordinals and cardinals	Fall 2011
Friday, November 11, 2011 Ordinals and the natural numbers	Fall 2011
Monday, November 14, 2011 Couldn't make it to class	Fall 2011
Wednesday, November 16, 2011 Set theory and ordinals	Fall 2011
Friday, November 18, 2011 Probably something on sets	Fall 2011
Monday, November 21, 2011 More on sets and stuff	Fall 2011
Wednesday, November 23, 2011 Prenex normal form	Fall 2011
Friday, November 25, 2011 Defining the integers within set theory	Fall 2011
Monday, November 28, 2011 Dedekind cuts and more	Fall 2011
Wednesday, November 30, 2011 Don't think I was here	Fall 2011
Friday, December 2, 2011 Problems from past finals	Fall 2011
Monday, December 5, 2011 Missed it	Fall 2011
Tuesday, December 6, 2011 Missed this too	Fall 2011

Subject	Semester
Fall 2009 Final	Fall 2009
Fall 2010 Final	Fall 2010

MATH 318 Mathematical Logic

Summary

Lecture notes

Past exam