MATH 4LT3/6LT3 home page

MATH 4LT3/6LT3
Topics in Logic
Fall 2021

Important Announcement:

All MATH 4LT3/6LT3 lectures and office hours will be delivered live and online using Zoom. To obtain the Zoom link for a particular upcoming lecture or office hour, please go to the MATH 4LT3/6LT3 Avenue to Learn homepage. Details on how to access the Zoom meetings are provided there.
Each Zoom meeting will have its own, unique link, so you will not be able to use an old Zoom link to attend a current or upcoming Zoom meeting related to this course.
All lectures will be recorded and posted for viewing and download on the Avenue to Learn course site.
The Avenue to Learn site for this course will be used to provide links to the lectures and office hours, to upload homework assignments, to provide grades for students, and for viewing and downloading archived lectures. All other course information will be posted on this website.

Announcements:

September 24: Assignment #2 has been posted here. It is due on Friday, 8 October by 11:59pm. Please upload your solution, as a single file (preferably as a pdf file) to the Avenue To Learn course site. The LaTeX source for this assignment can be found here.
September 21: The deadline for Assignment #1 has been extended to Monday, 27 September by 11:59pm.
September 14: The MATH 4LT3 lecture for Thursday, 16 September will be pre-recorded and will be available for viewing and downloading from the Avenue To Learn course site sometime on Wednesday, 15 September. The Thursday office hour will be held from 11:00am to noon instead of from 2:00pm to 3:30pm as well. Dr. Valeriote will not be available to give the lecture and office hour at the usual time.
September 08: A MATH 4LT3/6LT3 Discussion Forum has been set up on the course Avenue to Learn site. Feel free to use it to pose questions related to the course, including questions about the homework. Dr. Valeriote will try to respond to any questions in a timely manner. Please do not provide answers to any of the homework problems. The Discussion Forum can be found by clicking on the "Communication" pull down menu that is located near the top of the site.
Assignment #1 has been posted here. It is due on Friday, September 24 by 11:59pm. The LaTeX source for this assignment can be found here.
Some useful, free software for dealing with automata and Turing machines can be found at www.jflap.org. You may use it while working through any of the homework assignments in this course, especially assignment #1.
Students should read Chapters 1 and 2 from the textbook during the first week of classes.
A record of the topics covered in each lecture can be found near the bottom of this webpage (here). It will be updated on a regular basis.
Dr. Valeriote's office hours will be held from 2:00pm to 3:20pm on Mondays and Thursdays. He is also available by appointment.
The text for the course can be downloaded, at no cost, from the McMaster Library system. Here is a link to the library's entry for this book: http://discovery.mcmaster.ca/iii/encore/record/C__Rb1734127
The course announcement can be found here.
The first class will be held on Tuesday, 7 September at 1:30pm, online.
To register for this course, please contact Dr. Valeriote to obtain permission. The prerequisite for this course is MATH 2R03 or its equivalent. This course is not open to students who have already taken a course on the theory of computation (say, for example from the CAS department). If you aren't sure, please consult with Dr. Valeriote.

Course Information:

Course Announcement

Assignments, Tests, and Solutions:

Test Dates:

There will be two 50-minute tests held on Tuesday, October 19 and Tuesday, November 16 during the scheduled class time (dates and times are tentative). 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 Schedule (tentative):

Lecture #	Date	topics covered	reading/resources/comments
1	07/09/21	introduction, algorithms	section 2.2 from the textbook
2	09/09/21	strings, languages, example of finite automata	section 2.2
3	13/09/21	formal definition of a DFA	section 3.1 (1.1 from Sipser)
4	14/09/21	jflap, examples of DFA's and their languages.	section 3.1
5	16/09/21	examples of DFAs. Non-deterministic finite state automata.	secrtion 3.1, 3.2 (1.2 from Sipser)
6	20/09/21	definition of an NFA, examples of NFAs	section 3.2
7	21/09/21	Theorem 3.14, regular expressions	sections 3.2, 3.3
8	23/09/21	regular expressions, regular languages, examples	section 3.3
9	27/09/21
10	28/09/21
11	30/09/21
12	04/10/21
13	05/10/21
14	07/10/21
15	18/10/21
16	19/10/21
17	21/10/21
18	25/10/21
19	26/10/21
20	28/10/21
21	01/11/21
22	02/11/21
23	04/11/21
24	08/11/21
25	09/11/21
26	11/11/21
27	15/11/21
28	16/11/21
29	18/11/21
30	22/11/21
31	23/11/21
32	25/11/21
33	29/11/21
34	30/11/21
35	02/12/21
36	06/12/21
37	07/12/21

Matt Valeriote

MATH 4LT3/6LT3 Topics in Logic Fall 2021

Announcements:

Course Information:

Test Dates:

Final Exam Information:

MATH 4LT3/6LT3
Topics in Logic
Fall 2021