Embed Size (px)
Citation preview
Mathematical Logic
(MATH30290)
Dr Richard Smith
(http://maths.ucd.ie/~rsmith)
Dr Richard Smith (maths.ucd.ie/~rsmith) Mathematical Logic (MATH30290) Semester 1 2011 – 2012 1 / 6
Introduction Module Details
Module DetailsLecturesThursdays 15.00 – 15.50, G-15 AGFridays 9.00 – 9.50, Theatre N ART.
TutorialsThursdays 17.00 – 17.50, G-15 AG, in even weeks (22 Sep, 6, 20 Oct, 3, 17Nov, 1 Dec)
Lecturer – Dr Richard SmithEmail: [email protected]: maths.ucd.ie/~rsmith
Lecture notes, slides, homework etc.maths.ucd.ie/~rsmith/teaching/math30290.shtml
Dr Richard Smith (maths.ucd.ie/~rsmith) Mathematical Logic (MATH30290) Semester 1 2011 – 2012 2 / 6
Introduction Module Details
Module DetailsLecturesThursdays 15.00 – 15.50, G-15 AGFridays 9.00 – 9.50, Theatre N ART.
TutorialsThursdays 17.00 – 17.50, G-15 AG, in even weeks (22 Sep, 6, 20 Oct, 3, 17Nov, 1 Dec)
Lecturer – Dr Richard SmithEmail: [email protected]: maths.ucd.ie/~rsmith
Lecture notes, slides, homework etc.maths.ucd.ie/~rsmith/teaching/math30290.shtml
Dr Richard Smith (maths.ucd.ie/~rsmith) Mathematical Logic (MATH30290) Semester 1 2011 – 2012 2 / 6
Introduction Module Details
Module DetailsLecturesThursdays 15.00 – 15.50, G-15 AGFridays 9.00 – 9.50, Theatre N ART.
TutorialsThursdays 17.00 – 17.50, G-15 AG, in even weeks (22 Sep, 6, 20 Oct, 3, 17Nov, 1 Dec)
Lecturer – Dr Richard SmithEmail: [email protected]: maths.ucd.ie/~rsmith
Lecture notes, slides, homework etc.maths.ucd.ie/~rsmith/teaching/math30290.shtml
Dr Richard Smith (maths.ucd.ie/~rsmith) Mathematical Logic (MATH30290) Semester 1 2011 – 2012 2 / 6
Introduction Module Details
Module DetailsLecturesThursdays 15.00 – 15.50, G-15 AGFridays 9.00 – 9.50, Theatre N ART.
TutorialsThursdays 17.00 – 17.50, G-15 AG, in even weeks (22 Sep, 6, 20 Oct, 3, 17Nov, 1 Dec)
Lecturer – Dr Richard SmithEmail: [email protected]: maths.ucd.ie/~rsmith
Lecture notes, slides, homework etc.maths.ucd.ie/~rsmith/teaching/math30290.shtml
Dr Richard Smith (maths.ucd.ie/~rsmith) Mathematical Logic (MATH30290) Semester 1 2011 – 2012 2 / 6
Introduction Module Details
School of Mathematical Sciences LocationMy current location is Room 27, Science Hub.
Dr Richard Smith (maths.ucd.ie/~rsmith) Mathematical Logic (MATH30290) Semester 1 2011 – 2012 3 / 6
Introduction Module Details
School of Mathematical Sciences LocationBUT, on 23rd September I will move to Room 3.52, Belfield Office Park!
Dr Richard Smith (maths.ucd.ie/~rsmith) Mathematical Logic (MATH30290) Semester 1 2011 – 2012 3 / 6
Introduction Module Details
School of Mathematical Sciences LocationThe Maths Sciences school office will be in Room 533, Library Building.
Dr Richard Smith (maths.ucd.ie/~rsmith) Mathematical Logic (MATH30290) Semester 1 2011 – 2012 3 / 6
Introduction Module outline and schedule
Module outline and scheduleTopics covered
Turing Machines and ComputabilityWe consider simple theoretical computing machines called Turing Ma-chines and use them to show that certain well-defined functions or tasksare not computable by algorithm.
Propositional LogicAn analysis of truth and deduction within the framework of a formal propo-sitional language LP . Mathematical induction required.Formal Propositional LogicAn analysis of axiomatic proof within LP . The Deduction Theorem. Con-sistent and inconsistent systems of statements. The connection betweentruth and proof. Completeness of LP . Mathematical induction required.
Elements of the module are similar to COMP10070 (Formal Foundations),and possibly COMP20110 (Discrete Maths).
Approximately 22 lectures on the above, plus a couple of revision lectures.
Dr Richard Smith (maths.ucd.ie/~rsmith) Mathematical Logic (MATH30290) Semester 1 2011 – 2012 4 / 6
Introduction Module outline and schedule
Module outline and scheduleTopics covered
Turing Machines and ComputabilityWe consider simple theoretical computing machines called Turing Ma-chines and use them to show that certain well-defined functions or tasksare not computable by algorithm.Propositional LogicAn analysis of truth and deduction within the framework of a formal propo-sitional language LP . Mathematical induction required.
Formal Propositional LogicAn analysis of axiomatic proof within LP . The Deduction Theorem. Con-sistent and inconsistent systems of statements. The connection betweentruth and proof. Completeness of LP . Mathematical induction required.
Elements of the module are similar to COMP10070 (Formal Foundations),and possibly COMP20110 (Discrete Maths).
Approximately 22 lectures on the above, plus a couple of revision lectures.
Dr Richard Smith (maths.ucd.ie/~rsmith) Mathematical Logic (MATH30290) Semester 1 2011 – 2012 4 / 6
Introduction Module outline and schedule
Module outline and scheduleTopics covered
Turing Machines and ComputabilityWe consider simple theoretical computing machines called Turing Ma-chines and use them to show that certain well-defined functions or tasksare not computable by algorithm.Propositional LogicAn analysis of truth and deduction within the framework of a formal propo-sitional language LP . Mathematical induction required.Formal Propositional LogicAn analysis of axiomatic proof within LP . The Deduction Theorem. Con-sistent and inconsistent systems of statements. The connection betweentruth and proof. Completeness of LP . Mathematical induction required.
Elements of the module are similar to COMP10070 (Formal Foundations),and possibly COMP20110 (Discrete Maths).
Approximately 22 lectures on the above, plus a couple of revision lectures.
Dr Richard Smith (maths.ucd.ie/~rsmith) Mathematical Logic (MATH30290) Semester 1 2011 – 2012 4 / 6
Introduction Module outline and schedule
Module outline and scheduleTopics covered
Turing Machines and ComputabilityWe consider simple theoretical computing machines called Turing Ma-chines and use them to show that certain well-defined functions or tasksare not computable by algorithm.Propositional LogicAn analysis of truth and deduction within the framework of a formal propo-sitional language LP . Mathematical induction required.Formal Propositional LogicAn analysis of axiomatic proof within LP . The Deduction Theorem. Con-sistent and inconsistent systems of statements. The connection betweentruth and proof. Completeness of LP . Mathematical induction required.
Elements of the module are similar to COMP10070 (Formal Foundations),and possibly COMP20110 (Discrete Maths).
Approximately 22 lectures on the above, plus a couple of revision lectures.
Dr Richard Smith (maths.ucd.ie/~rsmith) Mathematical Logic (MATH30290) Semester 1 2011 – 2012 4 / 6
Introduction Module outline and schedule
Module outline and scheduleTopics covered
Turing Machines and ComputabilityWe consider simple theoretical computing machines called Turing Ma-chines and use them to show that certain well-defined functions or tasksare not computable by algorithm.Propositional LogicAn analysis of truth and deduction within the framework of a formal propo-sitional language LP . Mathematical induction required.Formal Propositional LogicAn analysis of axiomatic proof within LP . The Deduction Theorem. Con-sistent and inconsistent systems of statements. The connection betweentruth and proof. Completeness of LP . Mathematical induction required.
Elements of the module are similar to COMP10070 (Formal Foundations),and possibly COMP20110 (Discrete Maths).
Approximately 22 lectures on the above, plus a couple of revision lectures.
Dr Richard Smith (maths.ucd.ie/~rsmith) Mathematical Logic (MATH30290) Semester 1 2011 – 2012 4 / 6
Introduction Assessment and grading
Assessment and gradingMidterm Exam (20%)50-minute written exam, AG G-08, 5pm 27th October.
Final Exam (80%)2-hour written exam, RDS Main Hall, Anglesea Road, 6pm 21st December.
MATH modules have their own mark to grade conversion table.
A+ 90 – 100%A 80 – 89.99%A- 70 – 79.99%
See maths.ucd.ie/tl/grading/en02 for the full table.
Dr Richard Smith (maths.ucd.ie/~rsmith) Mathematical Logic (MATH30290) Semester 1 2011 – 2012 5 / 6
Introduction Assessment and grading
Assessment and gradingMidterm Exam (20%)50-minute written exam, AG G-08, 5pm 27th October.
Final Exam (80%)2-hour written exam, RDS Main Hall, Anglesea Road, 6pm 21st December.
MATH modules have their own mark to grade conversion table.
A+ 90 – 100%A 80 – 89.99%A- 70 – 79.99%
See maths.ucd.ie/tl/grading/en02 for the full table.
Dr Richard Smith (maths.ucd.ie/~rsmith) Mathematical Logic (MATH30290) Semester 1 2011 – 2012 5 / 6
Introduction Assessment and grading
Assessment and gradingMidterm Exam (20%)50-minute written exam, AG G-08, 5pm 27th October.
Final Exam (80%)2-hour written exam, RDS Main Hall, Anglesea Road, 6pm 21st December.
MATH modules have their own mark to grade conversion table.
A+ 90 – 100%A 80 – 89.99%A- 70 – 79.99%
See maths.ucd.ie/tl/grading/en02 for the full table.
Dr Richard Smith (maths.ucd.ie/~rsmith) Mathematical Logic (MATH30290) Semester 1 2011 – 2012 5 / 6
Introduction Final remarks
Final remarksIf you have any queries about the material, ask during the lectures or after-wards, or send me an email.
If you want to meet me to discuss aspects of the module (homework problemsetc.), then send me an email and we can arrange a time and location.
Dr Richard Smith (maths.ucd.ie/~rsmith) Mathematical Logic (MATH30290) Semester 1 2011 – 2012 6 / 6
Introduction Final remarks
Final remarksIf you have any queries about the material, ask during the lectures or after-wards, or send me an email.
If you want to meet me to discuss aspects of the module (homework problemsetc.), then send me an email and we can arrange a time and location.
Dr Richard Smith (maths.ucd.ie/~rsmith) Mathematical Logic (MATH30290) Semester 1 2011 – 2012 6 / 6
