Schedule & Location

• Fridays, 11:00 AM – 12:00 PM (MS 3278)
  Fridays, 3:00 PM – 4:00 PM (SS 2125)
• Office Hours: Tuesdays, 1:00 PM – 6:00 PM (HSB 381)
  Only 21 Oct, 4 Nov, 11 Nov, 18 Nov. (Preferred: 1pm–4pm)

Textbook

• Stefan Bilaniuk. A Problem Course in Mathematical Logic, Version 1.6 (1994).

Here are the files that I have shared in class.

Weekly Log

Week 4

Class worksheet.

Worksheet

Week 9

Tutorial slides. You can load the target machine files into the online TM simulator made by Prof. David Eck.

Attempt / Input	$2,4$	$3,3$	$4,2$
Attempt 1	File	File	File
Attempt 2	File	File	File
Attempt 3	File	File	File

Slides

Week 10

You can load the configuration file into the TM simulator to simulate the computation of $$\mu m[\operatorname{Diff}(n,m) = 0]$$ using unbounded minimalization.

TM Config Readme