Daily lecture schedule for Foundations

To listen to the audio of the lectures you will need to be able to listen to .dss audio files. The free player for these files is available at olympus

All lectures are available at audio lectures

The lecture notes are available on reserve in the math library in Thackeray.

January

Week 1

• 1: 08/01 Thur: Overview ascii table

Week 2

• 2: 13/01 Tues: Currying functions. Introduction to types.
• 3: 15/01 Thur: Type theory

Week 3

• 4: 20/01 Tues: Terms
• 5: 22/01 Thur: Free Variables quiz 1 and problem set 1 due

Week 4

• 6: 27/01 Tues: Inference Rules I
• 7: 29/01 Thur: Inference Rules II problem set 2 due

February

Week 5

• 8: 03/02 Tues: Intuitionistic Logic I
• 9: 05/02 Thur: Logic II quiz 2

Week 6

• 10: 10/02 Tues: Axioms of Math problem set 3 due
• 11: 12/02 Thurs: special lecture

Week 7

• 12: 17/02 Tues: Excluded Middle, Classical Reasoning problem set 4 due
• 13: 19/02 Thur: Syntactic Sugar and ordered pairs quiz 3

Week 8

• 14: 24/02 Tues: Knaster-Tarski fixed point formula problem set 5 due
• 15: 26/02 Thur: Natural Numbers- construction, induction, and recursion

March

Week 9

• 16: 02/03 Mon 4pm: make-up session for Jan 6 in Room Bndm 423
• 17: 03/03 Tues: Midterm Exam (open book)
• 18: 05/03 Thur: Natural Numbers II

(Spring Break, March 8-15)

Week 10

• 19: 17/03 Tues: Inductive Types
• 20: 19/03 Thurs: Lists and Sets, let, equivalence classes problem set 6 due quiz 4 on natural numbers

Week 11

• 21: 24/03 Tues: HOL in HOL
• 22: 26/03 Thurs: Integers and Rational Numbers problem set 7 due

April

Week 12

• 23: 31/03 Tues: Real Numbers I
• 24: 02/04 Thur: Real Numbers II EV

Week 13

• 25: 06/04 Tues: Advanced Mathematics in HOL
• 26: 08/04 Thur: HOL proves HOL problem set 8 due

Week 14

• 27: 14/04 Tues: Goedel I quiz 5
• 28: 16/04 Thur: Goedel II problem set 9 due

Exam Week, April 18-25

• Office Hours: 20/04 Mon: 1-2pm in 416 Thackeray
• Review Session: 22/04 Wed: 2-4pm in 522 Benedum
• Final: Thursday, April 23, 10:00 a.m. - 11:50 a.m.