Matthew Cook: Katalogdaten im Frühjahrssemester 2020 |
| Name | Herr Dr. Matthew Cook |
| Adresse | Institut für Neuroinformatik ETH Zürich, Y55 G 90 Winterthurerstrasse 190 8057 Zürich SWITZERLAND |
| Telefon | +41 44 635 30 97 |
| mc@ethz.ch | |
| URL | http://www.ini.uzh.ch/~cook |
| Departement | Informationstechnologie und Elektrotechnik |
| Beziehung | Dozent |
| Nummer | Titel | ECTS | Umfang | Dozierende | |
|---|---|---|---|---|---|
| 252-1424-00L | Models of Computation | 6 KP | 2V + 2U + 1A | M. Cook | |
| Kurzbeschreibung | 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. | ||||
| Lernziel | The goal of this course is to become acquainted with a wide variety of models of computation, to understand how models help us to understand the modeled systems, and to be able to develop and analyze models appropriate for new systems. | ||||
| Inhalt | 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. | ||||