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 TopicResourcesEvents

Spring Break Week

11MonMar 27Decidable Languages
  • Chapter 4.1
  • Decidability Notes

  • WedMar 29Chapters 0-3
  • Pencil
  • Paper
  • Definition/Results sheet
  • Exam 2

    12MonApr 03Undecidability
  • Chapter 4.2
  • Halting Problem Notes
  • Sample Decidable/Undecidable Proofs (from Ch 4 and 5)
  • How Dr. Seuss would prove the halting problem undecidable

  • WedApr 05Reducibility
  • Chapter 5.1
  • Reducibility Notes
  • HW 10 due