UnivIS
Informationssystem der Otto-Friedrich-Universität Bamberg © Config eG 
Zur Titelseite der Universität Bamberg
  Sammlung/Stundenplan Home  |  Anmelden  |  Kontakt  |  Hilfe 
Suche:      Semester:   
Die Präsenzlehre ist derzeit eingeschränkt. Weitere Informationen und Ausnahmen entnehmen Sie bitte den FAQ-Seiten der Universität.
 
 Darstellung
 
Druckansicht

 
 
 Außerdem im UnivIS
 
Vorlesungsverzeichnis

 
 
Veranstaltungskalender

 
 

  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