184.731 Coalgebra in Computer Science
Diese Lehrveranstaltung ist in allen zugeordneten Curricula Teil der STEOP.
Diese Lehrveranstaltung ist in mindestens einem zugeordneten Curriculum Teil der STEOP.

2012S, VU, 2.0h, 3.0EC


  • Semesterwochenstunden: 2.0
  • ECTS: 3.0
  • Typ: VU Vorlesung mit Übung

Ziele der Lehrveranstaltung

The goal is to get acquainted with the theory of coalgebra and its use
in computer science. Also, along the way, the students will get to
know some category theory notions that are needed for basic
constructions and results in coalgebra. The course is meant for
computer science students (possibly also some mathematics students)
interested in computer science theory. If you are a student interested
in formal methods, concurrency theory, and/or automata, and/or you
always wondered what is category theory good for, then this may be the
right course for you.

Inhalt der Lehrveranstaltung

The theory of coalgebra is a relatively recent (20 years old) unifying
theory at the abstract end of formal methods. It is a (one could say
"the") theory of dynamic systems, of states and observations.
Coalgebras allow for a uniform treatment of many different types of
automata (e.g. deterministic, nondeterministic, probabilistic, and
weighted), their behavior, and their corresponding modal logics. These
topics will be covered within the course.

Weitere Informationen

30 hours: lectures
23 hours: exercises
23 hours: preparation for examination
2 hours: examination
75 hours: total

Literature and up-to-date information
about the course is to be found at the following link:

Vortragende Personen

  • Sokolova, Ana


LVA Termine

Do.14:00 - 16:0008.03.2012Seminarraum FAV EG C (Seminarraum Gödel) Vorlesung
Do.14:00 - 16:0015.03.2012Seminarraum FAV EG C (Seminarraum Gödel) Vorlesung
Do.14:30 - 17:0022.03.2012Seminarraum FAV EG C (Seminarraum Gödel) Vorlesung
Do.14:30 - 16:0019.04.2012Seminarraum FAV EG C (Seminarraum Gödel) Vorlesung
Do.14:00 - 16:0026.04.2012Seminarraum FAV EG C (Seminarraum Gödel) Vorlesung
Do.14:00 - 16:0003.05.2012Seminarraum FAV EG C (Seminarraum Gödel) Vorlesung
Do.14:00 - 16:0010.05.2012Seminarraum FAV EG C (Seminarraum Gödel) Vorlesung
Do.14:00 - 16:0024.05.2012Seminarraum FAV EG C (Seminarraum Gödel) Vorlesung
Do.14:00 - 16:0031.05.2012Seminarraum FAV EG C (Seminarraum Gödel) Vorlesung
Do.14:00 - 16:0014.06.2012Seminarraum FAV EG C (Seminarraum Gödel) Vorlesung
Do.12:00 - 13:3021.06.2012Sem.R. DA grün 03 C Lecture
Do.14:00 - 16:0021.06.2012Seminarraum FAV EG C (Seminarraum Gödel) Vorlesung
Do.14:00 - 16:0028.06.2012Seminarraum FAV EG C (Seminarraum Gödel) Vorlesung
Di.14:00 - 16:0017.07.2012Seminarraum FAV EG C (Seminarraum Gödel) F&A
Do.14:00 - 16:0019.07.2012Seminarraum FAV EG C (Seminarraum Gödel) Pruefung


The evaluation will depend on presented papers and the examination at the end of term.


Von Bis Abmeldung bis
02.03.2012 00:00 05.05.2012 23:59 22.03.2012 23:59


066 931 Computational Intelligence Gebundenes Wahlfach


Es wird kein Skriptum zur Lehrveranstaltung angeboten.

Weitere Informationen