VVZ API is not affiliated with ETH Zurich. Data might be outdated or incorrect. Please view the official ETHZ Vorlesungsverzeichnis for binding information.

251-1424-00L 6 Credits BSC , DS , MSC D-INFK

Models of Computation

Lecturers & Examiners: Dr. Matthew Cook
VVZ CR n/a

Last Updated: 2026-02-05 15:29:32

Abstract

This course will survey many different models of computation: Turing Machines, Cellular Automata, Finite State Machines, Stack Machines, Graph Automata, Lambda Calculus, Fractran, Tiling Systems, Chemical Reaction Systems, Hopfield Networks, Boltzmann Machines, Neural Networks, Circuits, Graphical Models, Boolean Algebra, String Rewriting Systems, Semigroups, Quantum Waves, etc.

General Information

Language
English
Levels
BSC , DS , MSC
Frequency
Yearly recurring

Examination

Type
end-of-semester examination
The final grade will be based on 67% weekly assignments and 33% final oral exam at the semester end.

Course Components

Type Title Time & Place Hours
lecture Models of Computation
  • Wed 15:15-16:00 (CAB G 11)
  • Fri 14:15-15:00 (CAB G 11)
2 h weekly
exercise Models of Computation
  • Wed 16:15-17:00 (CAB G 11)
  • Fri 15:15-16:00 (CAB G 11)
1 h weekly
practical/laboratory course Models of Computation
  • By Appointment None-None
1 h weekly

Offered In