MATH 4L03/6L03
Mathematical Logic
Fall 2022
Announcements:
- 10 December:
Dr. Valeriote's office hour on Monday, December 12, from 1:00 to 3:00pm,
will be held virtually, via zoom. Here is the link for the office
hour: https://mcmaster.zoom.us/j/92038485690?pwd=OGlNbnZLUlVwS3RmYlZJSFpLM3F4QT09
He will also be available by appointment.
- 8 December:
Solutions to assignments #6 and #7 have been posted here
and here.
- 5 December: Information on the MATH 4L03/6L03 final
exam can be found here. The exam will
be held on Tuesday, December 13 from
9:00am to 11:30am in PGCLL room 127.
- 30 November:
Assignment #7 has been posted here.
It will not be collected for grading, but you are encouraged to work
through the assignment questions. Solutions will be posted on the
course website soon.
- 30 November:
Assignment #5 has been graded. You can find a graded copy of your
submission on the Avenue To Learn site for this course. If you
have any questions about your assignment and how it was graded, please
first look over the posted solutions, and then contact me.
- 29 November:
The deadlines for assignment #6 and for the writing project have been
revised. The new deadline for submitting assignment #6 is
Wednesday, December 7 by 11:59pm and the new deadline for submitting
your essay is Saturday, December 10, by 11:59pm. Note that the
exam will be held on Tuesday, December 13.
- 24 November:
Recommended reading: The following is a link to an interesting
article by Dr. Henkin on the history behind his proof of the
completeness theorem for first-order logic. Click here.
- 23 November:
Assignment #6 has been posted here.
The LaTeX file for this assignment can be found here.
It is due on Friday, December 2 before 11:59pm. Please
upload your solution, as a single file, preferably using the pdf
file format, to the Avenue to Learn course website.
- 22 November:
The second midterm test has been graded and handed back in
class. Solutions to the test can be found here.
If you have any questions about the test, please contact Dr.
Valeriote. The class average and median were around 20.5/25 and
22/25 respectively.
- 21 November:
Assignment #4 has been graded. You can find a graded copy of your
submission on the Avenue To Learn site for this course. If you
have any questions about your assignment and how it was graded, please
first look over the posted solutions, and then contact me.
- 15 November:
Solutions to assignment #5 have been posted here
(LaTeX here).
- 9
November: Information on the upcoming MATH
4L03/6L03 midterm test #2 has been posted here. Please read it over carefully and contact
Dr. Valeriote if you have any questions or concerns with it.
The test will be held in person on Thursday November 17 from
3:30pm to 4:20pm.
- 9 November:
Solutions to assignment #4 have been posted here
(LaTeX here).
- 8 November:
Assignment #3 has been graded. You can find a graded copy of your
submission on the Avenue To Learn site for this course. If you
have any questions about your assignment and how it was graded, please
first look over the posted solutions, and then contact me.
- 6 November:
Assignment #5 has been posted here.
The LaTeX file for this assignment can be found here.
It is due on Tuesday, November 15 before 11:59pm. Please
upload your solution, as a single file, preferably using the pdf
file format, to the Avenue to Learn course website.
- 3 November: The deadline for assignment #4 has been changed to Monday,
November 7 at 11:59pm.
- 2 November: The Student Success Centre is hosting an Online Volunteer
& Part-time Job Fair on November 8. Click here
to find out more details on this event.
- 24 October: The
first midterm test has been graded and handed back in class.
Solutions to the test can be found here.
If you have any questions about the test, please contact Dr.
Valeriote. The class average and median were around 21/25.
- 23
October: Details on the MATH
4L03/6L03 project can be found here.
You need to submit a project topic to Dr. Valeriote by Monday,
November 14. The project essay is due on Wednesday, 7 December.
Please read over the project details soon and start thinking about
suitable project topics.
- 21 October:
Assignment #4 has been posted here.
The LaTeX file for this assignment can be found here.
It is due on Friday, November 4 before 11:59pm. Please
upload your solution, as a single file, preferably using the pdf
file format, to the Avenue to Learn course website.
- 19 October:
Solutions to assignment #3 have been posted here
(LaTeX here).
- 18 October:
Assignment #2 has been graded. You can find a graded copy of your
submission on the Avenue To Learn site for this course. If you
have any questions about your assignment and how it was graded, please
first look over the posted solutions, and then contact me.
- 5 October:
Solutions to assignment #2 have been posted here
(LaTeX here).
- 4 October: Information on the upcoming MATH 4L03/6L03 midterm test #1
has been posted here. Please
read it over carefully and contact Dr. Valeriote if you have any
questions or concerns with it. The test
will be held in person on Thursday October 20 from 3:30pm to 4:20pm.
- 3 October:
Assignment #3 has been posted here.
The LaTeX file for this assignment can be found here.
It is due on Tuesday, October 18 before 11:59pm. Please
upload your solution, as a single file, preferably using the pdf
file format, to the Avenue to Learn course website.
- 1 October:
Assignment #1 has been graded. You can find a graded copy of your
submission on the Avenue To Learn site for this course. If you
have any questions about your assignment and how it was graded, please
first look over the posted solutions, and then contact me.
- 27 September:
Details on the departmental Graduate School Information session can be
found here.
It will be held on Thursday, October 6 from 5:00pm to 6:30pm.
- 20 September:
Solutions to assignment #1 have been posted here
(LaTeX here).
- 20 September:
Assignment #2 has been posted here.
The LaTeX file for this assignment can be found here.
It is due on Saturday, October 1 before 11:59pm. Please
upload your solution, as a single file, preferably using the pdf
file format, to the Avenue to Learn course website.
- 14 September:
For information on STEM Week activities, please click here.
STEM
week runs during the week of September 19.
- 11 September:
As lecture notes become available they will be posted at the bottom of
this webpage. The notes for Lecture #1 can be found there.
- 5 September:
Assignment #1 has been posted here.
The LaTeX file for this assignment can be found here.
It is due on Friday, September 16 before 11:59pm. Please
upload your solution, as a single file, preferably using the pdf
file format, to the Avenue to Learn course website.
- The Avenue to Learn site for this course will
be used to upload homework assignments and to provide grades for
students. All other course information will be posted on this
website.
- Dr. Valeriote's office hours will be held from 3:00 - 4:20pm on
Tuesdays and from 2:00 - 3:20pm on Thursdays in his office, HH
323. He is also available by appointment.
- The course announcement can be found here.
- The first class will be held on Tuesday, September 6 at 4:30pm in
Hamilton Hall Room 102.
Course Information:
Assignments,
Tests, and Solutions:
Test Dates:
There will be two 50-minute tests held on Thursday, October 20 and Thursday,
November 17 during the scheduled class time. Further details on the tests
will be given in class and announced on the course web page.
Final Exam Information:
A final exam for this courses will be scheduled by the registrar.
Details will be posted on the course website as they become
available.
Lecture Notes (provided by a
student from the class):
- Lecture #1
- Lecture #2
- Lecture #3
- Lecture #4
- Lecture #5
- Lecture #6
- Lecture #7
- Lecture #8
- Lecture #9
- Lecture #10
- Lecture #11
- Lecture #12
- Lecture #13
- Lecture #14
Matt Valeriote