252-1424-00L  Models of Computation

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



Courses

NumberTitleHoursLecturers
252-1424-00 VModels of Computation2 hrs
Fri14-16CAB G 51 »
M. Cook
252-1424-00 UModels of Computation
Exercise lessons start in the second week of semester.
2 hrs
Tue16-18Y55 G 20 »
M. Cook
252-1424-00 AModels of Computation
No presence required.
1 hrsM. Cook

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.
ObjectiveThe 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.
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.

Groups

No information on groups available.

Restrictions

There are no additional restrictions for the registration.

Offered in

ProgrammeSectionType
CAS in Computer ScienceFocus Courses and ElectivesWInformation
Cyber Security MasterElective CoursesWInformation
Computer Science MasterElective Focus Courses General StudiesWInformation
Computer Science MasterFocus Elective Courses Theoretical Computer ScienceWInformation
Computer Science MasterElective CoursesWInformation
Computer Science MasterMinor in Theoretical Computer ScienceWInformation
Neural Systems and Computation MasterNeural Computation and Theoretical NeurosciencesWInformation