Doktorandenseminar Tuesday Afternoon Club

Dozentinnen/Dozenten:

Joaquin Aguado, Michael Mendler

Angaben:

Seminar, 2 SWS

Termine:

Di, 16:00 - 18:00, F380
Einzeltermin am 3.2.2009, 18:00 - 20:00, F135

GdI-MfI-B: Mathematik für Informatiker

Dozent/in:

Michael Mendler

Angaben:

Vorlesung, 2 SWS

Termine:

Di, 14:00 - 16:00, F135

GdI-NPP-B: Nichtprozedurale Programmierung

Dozent/in:

Michael Mendler

Angaben:

Vorlesung, 2 SWS

Termine:

Fr, 12:00 - 14:00, F381

GdI-SaV-B: Logik

Dozent/in:

Michael Mendler

Angaben:

Vorlesung, 2 SWS

Termine:

Mi, 8:00 - 10:00, F381

GdI-SaV-B: Logik

Dozent/in:

Michael Mendler

Angaben:

Übung, 2 SWS

Termine:

Do, 12:00 - 14:00, F381

GdI-Sem: Seminar GdI

Dozentinnen/Dozenten:

Joaquin Aguado, Michael Mendler

Angaben:

Seminar, 2 SWS

Termine:

Zeit/Ort n.V.

KogSys-Sem-M2: Reading Club Kognitive Systeme (Algebraic Foundations of Functional Programming)

Dozentinnen/Dozenten:

Ute Schmid, Michael Mendler

Angaben:

Seminar, 2 SWS, ECTS: 3

Termine:

Di, 10:00 - 12:00, F384

Voraussetzungen / Organisatorisches:

Aufbauend auf den in den Vorlesungen und Übungen des Faches Kognitive Systeme erworbenen Kenntnissen und Fertigkeiten wird im Seminar die eigenständige Erarbeitung und Präsentation eines Themengebiets auf der Basis von wissenschaftlicher Literatur eingeübt. Dabei werden Kompetenzen zur Einarbeitung in vertiefende Fragestellungen anhand wissenschaftlicher Literatur sowie deren Präsentation in mündlicher und schriftlicher Form erworben.

Inhalt:

Im Seminar werden vertiefende Aspekte aus dem Bereich Maschinelles Lernen oder Automatisches Programmieren anhand einer speziellen Schwerpunktsetzung durch Seminarvorträge und schriftliche Ausarbeitung vertiefend erarbeitet.

Empfohlene Literatur:

Donald Sanella and Andrzej Talecki; Lecture Notes on Categories; Specifications and Institutions (unpublished)
Donald Sanella and Andrzej Talecki; Toward formal development of programs from algebraic specifications: implementations revisited; technical report (pdf)
Benjamin Pierce; Basic Category Theory for Computer Scientists; Foundations of Computing Series, The MIT Press, 1993 (Google books) R.M. Burstall and D.E. Rydeheard; Computational Category Theory; pdf online
R.M. Burstall and J.A. Goguen; Putting Theories Together to Make Specifications
Ehrig, Mahr, et al.; Mathematisch-strukturelle Grundlagen der Informatik; Springer (Google books)