Matthew Cook: Catalogue data in Spring Semester 2016 |
Name | Dr. Matthew Cook |
Address | Institut für Neuroinformatik ETH Zürich, Y55 G 90 Winterthurerstrasse 190 8057 Zürich SWITZERLAND |
Telephone | +41 44 635 30 97 |
mc@ethz.ch | |
URL | http://www.ini.uzh.ch/~cook |
Department | Information Technology and Electrical Engineering |
Relationship | Lecturer |
Number | Title | ECTS | Hours | Lecturers | |
---|---|---|---|---|---|
252-1424-00L | Models of Computation | 6 credits | 2V + 2U + 1A | M. Cook | |
Abstract | This course surveys many different models of computation: Turing Machines, Cellular Automata, Finite State Machines, Graph Automata, Circuits, Tilings, Lambda Calculus, Fractran, Chemical Reaction Networks, Hopfield Networks, String Rewriting Systems, Tag Systems, Diophantine Equations, Register Machines, Primitive Recursive Functions, and more. | ||||
Objective | see above | ||||
Content | This course surveys many different models of computation: Turing Machines, Cellular Automata, Finite State Machines, Graph Automata, Circuits, Tilings, Lambda Calculus, Fractran, Chemical Reaction Networks, Hopfield Networks, String Rewriting Systems, Tag Systems, Diophantine Equations, Register Machines, Primitive Recursive Functions, and more. |