MATH 4L03
Mathematical Logic
Fall 2024

Announcements:

• 6 December:  Assignment #6 has been graded.  Feedback on your submission can be found on the Avenue To Learn site for this course.  If you have any questions about the grading, please first carefully review the posted solutions, and then contact Dr. Valeriote, should you still have questions.
• 5 December:  For the final exam, you do not need to memorize the details of the proof system for first-order logic presented in class.  The exam paper will contain a list of the axioms and rules of the system.
  
• 5 December:  Solutions to Assignment #6 have been posted here.
• 29 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 can be found here.
  
• 28 November:  Information on the MATH 4L03 final exam can be found here.  The exam will be held from 9:00am to 11:30am on Monday, December 9 in Hamilton Hall Room 102.
  
• 28 November:  Assignment #5 has been graded.  Feedback on your submission can be found on the Avenue To Learn site for this course.  If you have any questions about the grading, please first carefully review the posted solutions, and then contact Dr. Valeriote, should you still have questions.
• 26 November:  Solutions to Assignment #5 have been posted here (LaTeX source here).
  
• 22 November:  Reminder:  the MATH 4L03 project is due on Thursday, 5 December by 11:59pm. This project is worth 10% of your final grade.  Details on the project can be found here.
  
• 22 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.
• 22 November:  Assignment #6 has been posted here.  It is due on Wednesday, December 4 by 11:59pm.  The LaTeX source for this assignment can be found here.
• 20 November:  Assignment #4 has been graded.  Feedback on your submission can be found on the Avenue To Learn site for this course.  If you have any questions about the grading, please first carefully review the posted solutions, and then contact Dr. Valeriote, should you still have questions.
• 13 November:  Solutions to Assignment #4 have been posted here (LaTeX source here).
• 11 November:  Assignment #5 has been posted here.  It is due on Friday, November 22 by 11:59pm.  The LaTeX source for this assignment can be found here.
• 30 October:  The midterm test has been graded and will be handed back during class or during Dr. Valeriote's office hours.  Solutions to the test questions can be found here. 
  
• 28 October:  Assignment #4 has been posted here.  It is due on Friday, November 8 by 11:59pm.  The LaTeX source for this assignment can be found here.
• 22 October:  Assignment #3 has been graded.  Feedback on your submission can be found on the Avenue To Learn site for this course.  If you have any questions about the grading, please first carefully review the posted solutions, and then contact Dr. Valeriote, should you still have questions.
• 21 October:  Details on the MATH 4L03 project can be found here.  You need to submit a project topic to Dr. Valeriote by Thursday, November 14.  The project essay is due on Thursday, 5 December.  Please read over the project details soon and start thinking about suitable project topics.
• 21 October:  Due to a scheduling conflict, today's office hour might start late or not at all.  If you would like to meet with Dr. Valeriote this week, please contact him via email to set up an appointment. 
  
• 16 October:  Solutions to Assignment #3 have been posted here (LaTeX source here).
  
• 10 October:  Information on the upcoming MATH 4L03 midterm test  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 24 from 1:30pm to 2:20pm.
• 10 October:  Dr. Valeriote will hold an office hour on Friday, 11 October, starting at 10:00am, via zoom.  Here is a link to the zoom meeting: https://mcmaster.zoom.us/j/95191925906?pwd=TQHt0tdvAHtOv3CSJDcISxD3eEMzak.1 If you have any problems joining the meeting, please send an email to Dr. Valeriote.
• 10 October:  Details on the upcoming Graduate School Information Session can be found here.  It will be held on October 23.
  
• 10 October:  Dr. Valeriote will hold an office hour today, starting at 10:00am, via zoom.  Here is a link to the zoom meeting:  https://mcmaster.zoom.us/j/98301120007?pwd=vcsB5g54GaAxKWVg11qbHIxEaWhQFI.1  If you have any problems joining the meeting, please send an email to Dr. Valeriote.
  
• 9 October:  The bonus question for Assignment #3 will be added as a bonus question for Assignment #4, so you do not need to submit a solution of it with your other Assignment #3 solutions.
  
• 9 October:  Assignment #2 has been graded.  Feedback on your submission can be found on the Avenue To Learn site for this course.  If you have any questions about the grading, please first carefully review the posted solutions, and then contact Dr. Valeriote, should you still have questions.
• 2 October:  Some of the derivations that were discussed in class today and last Thursday can be found here.
  
• 2 October:  The MATH 4L03 final exam has been scheduled.  It will be held on Monday, December 9 from 9:00am to 11:30am in Hamilton Hall Room 102.  Details on the exam will be made available near the end of the semester.
  
• 2 October:  Solutions to Assignment #2 have been posted here (LaTeX source here).
• 30 September:  Assignment #3 has been posted here.  It is due on Friday, October 11 by 11:59pm.  The LaTeX source for this assignment can be found here.
• 20 September:  Assignment #1 has been graded.  Feedback on your submission can be found on the Avenue To Learn site for this course.  If you have any questions about the grading, please first carefully review the posted solutions, and then contact Dr. Valeriote, should you still have questions.
• 18 September:  Details on the upcoming Math & Stats networking breakfast can be found here.
  
• 18 September:  Solutions to Assignment #1 have been posted here (LaTeX source here).
  
• 16 September:  Practice sessions for the Putnam exam will start on Thursday, September 19 at 4:30pm in Hamilton Hall Room 102.  Exam details can be found here.  Further details on the practice sessions can be obtained by emailing Dr. Franc.
  
• 16 September:  Assignment #2 has been posted here.  It is due on Saturday, September 28 by 11:59pm.  The LaTeX source for this assignment can be found here.
• 6 September:  Here is a link to a book that was mentioned in class on the 5th.  The following is part of a description of this book: "this text introduces mathematical logic by guiding students in implementing the underlying logical concepts and mathematical proofs via Python programming."  A similar treatment of the syntax and semantics of propositional logic that will be presented in class can be found in the first few chapters of the book.  Python code is provided that implements many of the concepts that we will discuss.  The book can be downloaded as an ebook through the McMaster library system.
  
• 4 September:  Try to read over Chapter 1 of the textbook this week and the first two sections of Chapter 2.
• 3 September:  Assignment #1 has been posted here.  It is due on Monday, September 16 by 11:59pm.  The LaTeX source for this assignment can be found here.  Please read over the instructions at the top of the assignment.  In particular note that you will need to upload to the course Avenue To Learn site, a single pdf file that contains all of your solutions to this assignment.  No other file formats will be accepted.  If you need assistance with this, please contact Dr. Valeriote prior to the assignment deadline.
• 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 2:30pm to 3:30 on Mondays.  He is also available by appointment.
• The course announcement can be found here.
• The first class will be held on Wednesday, September 4 at 1:30pm; the location can be found on Mosaic or on the Avenue to Learn site for this course.