Week |
Date |
Topic |
Notes |
1 |
Jan. 21st |
Matteo is away, class canceled. Self-study: ITC 0.1 |
|
|
Jan. 23rd |
Introduction & Preliminaries |
ITC 0 |
2 |
Jan. 28th |
Finite Automata |
ITC 1.1 |
|
Jan. 30th |
Finite Automata |
ITC 1.1 | additional notes |
3 |
Feb. 4th |
Finite Automata |
ITC 1.1 | additional notes |
|
Feb. 6th |
Nondeterministic Finite Automata |
ITC 1.2 | additional notes |
4 |
Feb. 11th |
Nondeterministic Finite Automata |
ITC 1.2 |
|
Feb. 13th |
Project Description |
|
5 |
Feb. 18th |
Monday Schedule |
|
|
Feb. 20th |
Nonregular Languages |
ITC 1.4 |
6 |
Feb. 25th |
Midterm Review |
|
|
Feb. 27th |
Midterm at Olsen Hall 408. Time: 11:00AM - 12:15PM |
|
7 |
Mar. 3rd |
Context-Free Grammars |
ITC 2.1 | additional notes |
|
Mar. 5th |
Pushdown Automata |
ITC 2.2 |
8 |
Mar. 10th |
|
|
|
Mar. 12th |
|
|
9 |
Mar. 17th |
Pushdown Automata |
ITC 2.2 | additional notes |
|
Mar. 19th |
Pushdown Automata vs Context-Free Grammars |
ITC 2.2 |
10 |
Mar. 24th |
Non-Context-free Languages |
ITC 2.3 |
|
Mar. 26th |
Turing Machines |
ITC 3.1 |
11 |
Mar. 31st |
Turing Machines |
ITC 3.1 | additional notes |
|
Apr. 2nd |
Variants of Turing Machines & Church-Turing Thesis  |
ITC 3.2, 3.3 |
12 |
Apr. 7th |
Variants of Turing Machines & Church-Turing Thesis  |
ITC 3.2, 3.3 |
|
Apr. 9th |
Variants of Turing Machines & Church-Turing Thesis  |
ITC 3.2, 3.3 |
13 |
Apr. 14th |
Regular Expressions |
ITC 2 |
|
Apr. 16th |
Decidable Problems |
ITC 4.1 |
14 |
Apr. 21st |
Undecidable Problems |
ITC 4.2 |
|
Apr. 23rd |
Undecidable Problems |
ITC 4.2 |
15 |
Apr. 28th |
Reducibility |
ITC 5.1, 5.2 |
|
Apr. 30th |
Reducibility |
ITC 5.1, 5.2 |
16 |
May 5th |
Final Review |
|
|
May 7th |
Final Review |
|
|
|
Final Exam: Thursday 5/7/2020 at 11:30AM - 2:30PM. Where: REMOTE |
|