Introduction

Daily Lecture schedule for Hanoi Foundations Course, Summer 2009

Homework

June Foundations of Mathematics

Week 1

• 08/06 Mon Orientation
• 10/06 Wed: (Chapter 2) Naive set theory, currying, natural numbers, base, recursion, lists.
• 12/06 Fri: (Chapter 3) Types in HOL

Week 2

• 15/06 Mon: Terms, Rules of Inference
• 17/06 Wed: Theorems in HOL, term and type definitions
• 19/06 Fri: Logical Constants, Derived Rules

Week 3

• 22/06 Mon: Axioms of Math, Proof of Excluded Middle, Knaster-Tarski fixed point
• 24/06 Wed: Natural Numbers,
• 26/06 Fri: Inductive Types, Integers, Rational Numbers

Week 4

• 29/06 Mon: HOL as meta-language, HOL proves HOL
• 01/07 Wed: Real numbers
• 03/07 Fri: Goedel incompleteness

July Kepler Conjecture

Week 5

• 06/07 Mon: Trigonometry
• 08/07 Wed: Volume
• 10/07 Fri: Hypermap

Week 6

• 13/07 Mon: Hypermap
• 15/07 Wed: Fan
• 17/07 Fri: Fan

Week 7

• 20/07 Mon: Formulation
• 22/07 Wed: Formulation
• 24/07 Fri: Formulation

Week 8

• 27/07 Mon: Tame Hypermap
• 29/07 Wed: Linear Programming
• 31/07 Fri: Nonlinear inequalities