MATH 4LT3/6LT3
Topics in Logic
Fall 2021


Important Announcement:

Announcements:

Course Information:


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 #Datetopics coveredreading/resources/comments
107/09/21introduction, algorithms
section 2.2 from the textbook
209/09/21strings, languages, example of finite automatasection 2.2
313/09/21formal definition of a DFAsection 3.1 (1.1 from Sipser)
414/09/21jflap, examples of DFA's and their languages.section 3.1
516/09/21examples of DFAs. Non-deterministic finite state automata.secrtion 3.1, 3.2 (1.2 from Sipser)
620/09/21definition of an NFA, examples of NFAssection 3.2
721/09/21Theorem 3.14, regular expressionssections 3.2, 3.3
823/09/21regular expressions, regular languages, examplessection 3.3
927/09/21

1028/09/21

1130/09/21

1204/10/21

1305/10/21

1407/10/21
1518/10/21

1619/10/21

1721/10/21
1825/10/21

1926/10/21

2028/10/21

2101/11/21

2202/11/21
2304/11/21

2408/11/21

2509/11/21

2611/11/21
2715/11/21
2816/11/21

2918/11/21

3022/11/21

3123/11/21

3225/11/21

3329/11/21

3430/11/21
3502/12/21
3606/12/21
3707/12/21







Matt Valeriote