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

Merkmale

  • 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

ECTS-Breakdown:
--------------------------
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:
http://cs.uni-salzburg.at/~anas/teaching/Coalgebra/


Vortragende

  • Sokolova, Ana

Institut

LVA Termine

TagZeitDatumOrtBeschreibung
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

Leistungsnachweis

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

LVA-Anmeldung

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

Curricula

StudienkennzahlSemesterAnm.Bed.Info
066 931 Computational Intelligence

Literatur

Es wird kein Skriptum zur Lehrveranstaltung angeboten.

Weitere Informationen

Sprache

Englisch