|
KogSys-Sem-M2: Reading Club Kognitive Systeme (Algebraic Foundations of Functional Programming)
- Dozentinnen/Dozenten
- Prof. Dr. Ute Schmid, Prof. Michael Mendler, Ph.D.
- Angaben
- Seminar
2 SWS
Zeit und Ort: 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)
- Englischsprachige Informationen:
- Credits: 3
- Zusätzliche Informationen
- www: http://www.uni-bamberg.de/kogsys/teaching/courses/reading_club_kognitive_systeme/
- Institution: Professur für Angewandte Informatik, insbes. Kognitive Systeme
Hinweis für Web-Redakteure: Wenn Sie auf Ihren Webseiten einen Link zu dieser Lehrveranstaltung setzen möchten, verwenden Sie bitte einen der folgenden Links:Link zur eigenständigen Verwendung Link zur Verwendung in Typo3
|
|
|
|
UnivIS ist ein Produkt der Config eG, Buckenhof |
|
|