Lectures Thursday 14.00-16.00 Consulting time Tuesday 15.00-15.45 (This may have to change in future) |
For additional exercises and solutions, look up the webpage of MATH3029.
|
 |
| COURSE INFO |
|
||||||||
| INTRODUCTION TO MATHEMATICAL LOGIC 2008 | Last update: March 19, 2008 | |||||||
|
RECENT ANNOUNCEMENTS |
|
|||||
|
|
||||||
| notes, tutorials, assignments | additional readings | related links | ||||
| schedule | ||||||
| Week 01 Feb 04 - Feb 08 | Week 02 Feb 11 - Feb 15 | Week 03 Feb 18 - Feb 22 | ||||
| Week 04 Feb 25 - Feb 29 | Week 05 Mar 03 - Mar 07 | Week 06 Mar 10 - Mar 14 | ||||
| Week 07 Mar 17 - Mar 21 | Week 08 Mar 31 - Apr 04 | Week 09 Apr 07 - Apr 11 | ||||
| Week 10 Apr 14 - Apr 18 | Week 11 Apr 21 - Apr 25 | Week 12 Apr 28 - May 02 | ||||
| Week 13 May 05 - May 09 | Week 14 May 12 - May 16 | |||||
| top | ||||||
| notes, tutorials, assignments | |||||||||||||||||
| Week 01 | |||||||||||||||||
| Feb 04 - Feb 08 | |||||||||||||||||
| notes | |||||||||||||||||
| Concrete Maths 2006 Lecture notes, Sections 1.1, 1.2.1 | |||||||||||||||||
| slides | |||||||||||||||||
| exercises | |||||||||||||||||
Refresh and exercise on the topics above from the lecture notes on Concrete Maths 2006 |
|||||||||||||||||
| assignments | |||||||||||||||||
Assignment 1. Due: February 14. |
|||||||||||||||||
| top | |||||||||||||||||
| schedule | |||||||||||||||||
| Week 02 | |||||||||||||||||
| Feb 11 - Feb 15 | |||||||||||||||||
| notes | |||||||||||||||||
From the Lecture notes on Concrete Maths 2006: revise on logical equivalences, p.15-16 and section 3, p.21-28. Handouts on "Propositional logical consequence and satisfiability. Propositional theories." including Assignment 2 |
|||||||||||||||||
| slides | |||||||||||||||||
None. |
|||||||||||||||||
| exercises | |||||||||||||||||
Do all exercises in the handouts. |
|||||||||||||||||
| assignments | |||||||||||||||||
Assignment 2 Due: February 21. |
|||||||||||||||||
| top | |||||||||||||||||
| schedule | |||||||||||||||||
| Week 03 | |||||||||||||||||
| Feb 18 - Feb 22 | |||||||||||||||||
| notes | |||||||||||||||||
| slides | |||||||||||||||||
none |
|||||||||||||||||
| exercises | |||||||||||||||||
See handouts. |
|||||||||||||||||
| assignments | |||||||||||||||||
Assignment 3. Due: February 28. |
|||||||||||||||||
| additional reading | |||||||||||||||||
|
|||||||||||||||||
| top | |||||||||||||||||
| schedule | |||||||||||||||||
| Week 04 | |||||||||||||||||
| Feb 25 - 29 | |||||||||||||||||
| notes | |||||||||||||||||
| slides | |||||||||||||||||
Axiomatic systems. (ignore the last slide on extension to first-order logic) |
|||||||||||||||||
| exercises | |||||||||||||||||
See handouts. |
|||||||||||||||||
| assignments | |||||||||||||||||
Assignment 4. Due: March 6. |
|||||||||||||||||
| additional reading | |||||||||||||||||
|
|||||||||||||||||
| top | |||||||||||||||||
| schedule | |||||||||||||||||
| Week 05 | |||||||||||||||||
| March 3-7 | |||||||||||||||||
| notes | |||||||||||||||||
Revision on Propositional Semantic Tableau: Lecture notes on Concrete Maths 2006, p. 29-35 Propositional Natural Deduction Revision on Negation of propositional formulae, conjunctive and Disjunctive normal forms: Lecture notes on Concrete Maths 2006, p. 16-20 |
|||||||||||||||||
| slides | |||||||||||||||||
Propositional Semantic Tableau Propositional Natural Deduction Negation of propositional formulae, conjunctive and Disjunctive normal forms |
|||||||||||||||||
| exercises | |||||||||||||||||
See lecture notes handouts |
|||||||||||||||||
| assignments | |||||||||||||||||
Assignment 5. Due: March 13. |
|||||||||||||||||
| additional reading | |||||||||||||||||
|
|||||||||||||||||
| top | |||||||||||||||||
| schedule | |||||||||||||||||
| Week 06 | |||||||||||||||||
| March 10 - 14 | |||||||||||||||||
| notes | |||||||||||||||||
Propositional resolution: to be added. Soundness and completeness of Natural Deduction: to be revised. |
|||||||||||||||||
| slides | |||||||||||||||||
| exercises | |||||||||||||||||
See lecture notes handouts |
|||||||||||||||||
| assignments | |||||||||||||||||
Assignment 6. Due: March 20 |
|||||||||||||||||
| additional reading | |||||||||||||||||
|
|||||||||||||||||
| top | |||||||||||||||||
| schedule | |||||||||||||||||
| Week 07 | |||||||||||||||||
| Mar 17-20 | |||||||||||||||||
| notes | |||||||||||||||||
Lecture notes on Concrete Maths 2006, p. 36-48. |
|||||||||||||||||
| slides | |||||||||||||||||
| exercises | |||||||||||||||||
Lecture notes on Concrete Maths 2006, Exercises 6.7, p. 50-52. |
|||||||||||||||||
| assignments | |||||||||||||||||
Assignment 7. Due: April 3 |
|||||||||||||||||
| additional reading | |||||||||||||||||
|
|||||||||||||||||
| top | |||||||||||||||||
| schedule | |||||||||||||||||
| Week 08 | |||||||||||||||||
| Dat 00 - Dat 00 | |||||||||||||||||
 |
|||||||||||||||||
| notes | |||||||||||||||||
link1 link2 |
|||||||||||||||||
| slides | |||||||||||||||||
link1 link2 |
|||||||||||||||||
| exercises | |||||||||||||||||
link1 link2 |
|||||||||||||||||
| assignments | |||||||||||||||||
link1 link2 |
|||||||||||||||||
| additional reading | |||||||||||||||||
|
|||||||||||||||||
| top | |||||||||||||||||
| schedule | |||||||||||||||||
| Week 09 | |||||||||||||||||
| Dat 00 - Dat 00 | |||||||||||||||||
| notes | |||||||||||||||||
link1 link2 |
|||||||||||||||||
| slides | |||||||||||||||||
link1 link2 |
|||||||||||||||||
| exercises | |||||||||||||||||
link1 link2 |
|||||||||||||||||
| assignments | |||||||||||||||||
link1 link2 |
|||||||||||||||||
| additional reading | |||||||||||||||||
|
|||||||||||||||||
| top | |||||||||||||||||
| schedule | |||||||||||||||||
| Week 10 | |||||||||||||||||
| Dat 00 - Dat 00 | |||||||||||||||||
| notes | |||||||||||||||||
link1 link2 |
|||||||||||||||||
| slides | |||||||||||||||||
link1 link2 |
|||||||||||||||||
| exercises | |||||||||||||||||
link1 link2 |
|||||||||||||||||
| assignments | |||||||||||||||||
link1 link2 |
|||||||||||||||||
| additional reading | |||||||||||||||||
|
|||||||||||||||||
| top | |||||||||||||||||
| schedule | |||||||||||||||||
| Week 11 | |||||||||||||||||
| Dat 00 - Dat 00 | |||||||||||||||||
| notes | |||||||||||||||||
link1 link2 |
|||||||||||||||||
| slides | |||||||||||||||||
link1 link2 |
|||||||||||||||||
| exercises | |||||||||||||||||
link1 link2 |
|||||||||||||||||
| assignments | |||||||||||||||||
link1 link2 |
|||||||||||||||||
| additional reading | |||||||||||||||||
|
|||||||||||||||||
| top | |||||||||||||||||
| schedule | |||||||||||||||||
| Week 12 | |||||||||||||||||
| Dat 00 - Dat 00 | |||||||||||||||||
| notes | |||||||||||||||||
link1 link2 |
|||||||||||||||||
| slides | |||||||||||||||||
link1 link2 |
|||||||||||||||||
| exercises | |||||||||||||||||
link1 link2 |
|||||||||||||||||
| assignments | |||||||||||||||||
link1 link2 |
|||||||||||||||||
| additional reading | |||||||||||||||||
|
|||||||||||||||||
| top | |||||||||||||||||
| schedule | |||||||||||||||||
| Week 13 | |||||||||||||||||
| Dat 00 - Dat 00 | |||||||||||||||||
| notes | |||||||||||||||||
link1 link2 |
|||||||||||||||||
| slides | |||||||||||||||||
link1 link2 |
|||||||||||||||||
| exercises | |||||||||||||||||
link1 link2 |
|||||||||||||||||
| assignments | |||||||||||||||||
link1 link2 |
|||||||||||||||||
| additional reading | |||||||||||||||||
|
|||||||||||||||||
| top | |||||||||||||||||
| schedule | |||||||||||||||||
| Week 14 | |||||||||||||||||
| Dat 00 - Dat 00 | |||||||||||||||||
| notes | |||||||||||||||||
link1 link2 |
|||||||||||||||||
| slides | |||||||||||||||||
link1 link2 |
|||||||||||||||||
| exercises | |||||||||||||||||
link1 link2 |
|||||||||||||||||
| assignments | |||||||||||||||||
link1 link2 |
|||||||||||||||||
| additional reading | |||||||||||||||||
|
|||||||||||||||||
| top | |||||||||||||||||
| schedule | |||||||||||||||||
| additional reading material | |||||||||||||||||
|
|||||||||||||||||
| related links | |||||||||||||||||
general links  |
links on specific topics |
other links |
|||||||||||||||
| general links to related course material on the web | |||||||||||||||||
| links to related course material on specific topics | |||||||||||||||||
| top | |||||||||||||||||
| links | |||||||||||||||||
| top | |||||||||||||||||
| links | |||||||||||||||||
| top | |||||||||||||||||
| links | |||||||||||||||||
| top | |||||||||||||||||
| links | |||||||||||||||||
| other links | |||||||||||||||||
| For any queries, please contact Prof V Goranko | |||||||||||||||||