From 2 November 2020, the autumn semester 2020 will take place online. Exceptions: Courses that can only be carried out with on-site presence.
Please note the information provided by the lecturers via e-mail.

252-1424-00L  Models of Computation

SemesterSpring Semester 2016
LecturersM. Cook
Periodicityyearly recurring course
Language of instructionEnglish



Catalogue data

AbstractThis 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.
Objectivesee above
ContentThis 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.

Performance assessment

Performance assessment information (valid until the course unit is held again)
Performance assessment as a semester course
ECTS credits6 credits
ExaminersM. Cook
Typegraded semester performance
Language of examinationEnglish
RepetitionRepetition only possible after re-enrolling for the course unit.
Additional information on mode of examinationThe final grade will be based on 67% weekly assignments and 33% final project presentation (30 minutes). The final project is an individual project, not a group project.

Learning materials

 
Main linkclass web site
Only public learning materials are listed.

Courses

NumberTitleHoursLecturers
252-1424-00 VModels of Computation2 hrs
Fri14-16ML F 39 »
M. Cook
252-1424-00 UModels of Computation
Exercise lessons start in the second week of semester.
2 hrs
Tue15-17I55 G 20 »
M. Cook
252-1424-00 AModels of Computation
No presence required.
1 hrsM. Cook

Groups

No information on groups available.

Restrictions

There are no additional restrictions for the registration.

Offered in

ProgrammeSectionType
Certificate of Advanced Studies in Computer ScienceFocus Courses and ElectivesWInformation
Computer Science MasterFocus Elective Courses Theoretical Computer ScienceWInformation
Neural Systems and Computation MasterComputational SciencesWInformation