CSCI 470 Spring 2023
Languages and Machines
Charles Cusack
Computer Science
Hope College
Main
Schedule
Grading
Gradebook
Homework
Policies
College Policies
Advice
Notes
Programs
Tutorials
Handin
CSCI 195b
CSCI 385
CSCI 470
MATH 360
Others
Admin
previous
next
today
future
all
Schedule for weeks 11 through 12
Wk
Day
Date
Topic
Resources
Events
Spring Break Week
11
Mon
Mar 27
Decidable Languages
Chapter 4.1
Decidability Notes
Wed
Mar 29
Chapters 0-3
Pencil
Paper
Definition/Results sheet
Exam 2
12
Mon
Apr 03
Undecidability
Chapter 4.2
Halting Problem Notes
Sample Decidable/Undecidable Proofs
(from Ch 4 and 5)
How Dr. Seuss would prove the halting problem undecidable
Wed
Apr 05
Reducibility
Chapter 5.1
Reducibility Notes
HW 10
due