MATH 318 Mathematical Logic

Description
Propositional calculus, truth-tables, switching circuits, natural deduction, first order predicate calculus, axiomatic theories, set theory.
Credits
3.0
Mathematics & Statistics

Summary

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

Lecture notes

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

Past exam

Subject Semester

Fall 2009 Final

Fall 2009

Fall 2010 Final

Fall 2010