252-1424-00L  Models of Computation

SemesterFrühjahrssemester 2021
DozierendeM. Cook
Periodizitätjährlich wiederkehrende Veranstaltung
LehrspracheEnglisch



Lehrveranstaltungen

NummerTitelUmfangDozierende
252-1424-00 VModels of Computation2 Std.
Fr14-16CAB G 51 »
M. Cook
252-1424-00 UModels of Computation
Exercise lessons start in the second week of semester.
2 Std.
Di16-18Y55 G 20 »
M. Cook
252-1424-00 AModels of Computation
No presence required.
1 Std.M. Cook

Katalogdaten

KurzbeschreibungThis 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.
LernzielThe 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.
InhaltThis 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.

Leistungskontrolle

Information zur Leistungskontrolle (gültig bis die Lerneinheit neu gelesen wird)
Leistungskontrolle als Semesterkurs
ECTS Kreditpunkte6 KP
PrüfendeM. Cook
Formbenotete Semesterleistung
PrüfungsspracheEnglisch
RepetitionRepetition nur nach erneuter Belegung der Lerneinheit möglich.
Zusatzinformation zum PrüfungsmodusThe 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.

Lernmaterialien

 
Hauptlinkclass web site
Es werden nur die öffentlichen Lernmaterialien aufgeführt.

Gruppen

Keine Informationen zu Gruppen vorhanden.

Einschränkungen

Keine zusätzlichen Belegungseinschränkungen vorhanden.

Angeboten in

StudiengangBereichTyp
CAS in InformatikFokusfächer und WahlfächerWInformation
Cyber Security MasterWahlfächerWInformation
Informatik MasterWahlfächer der Vertiefung General StudiesWInformation
Informatik MasterWahlfächer der Vertiefung in Theoretical Computer ScienceWInformation
Informatik MasterWahlfächerWInformation
Informatik MasterErgänzung in Theoretical Computer ScienceWInformation
Neural Systems and Computation MasterTheoretische und Computergestützte NeurowissenschaftenWInformation