Lectures

Mathematical Logic

   Course Outline
   Home
   Tutorials
   Assessments
   Marks
   Resources


 

   

Week

Date

(dd/mm)

Lecture Notes

  Topic
        
1

21/07

 Week One

  Propositional Calculus
22/07

24/07
2 28/07 Week Two
29/07

  Predicate Calculus

31/07
3 04/08 Week Three
05/08

07/08
4 11/08  Week Four   Numbers
12/08   Completeness and Cardinality

14/08
5 18/08  WeekFive
19/08

21/08

  Non-Standard Analysis
6 25/08   Week Six    Undecidability
26/08

28/08

 

 

.