Studienfach Grundlagen der Informatik

Fachvertreter: Prof. Michael Mendler, PhD (Edinburgh)

Gegenstand des Faches

In der sich rasant ver?ndernden Informationstechnik m?gen sich Anwendungssysteme, Programmiersprachen, Betriebssysteme, Rechner- und Kommunikationsstrukturen innerhalb weniger Jahre überholen, die zugrundeliegenden logischen Strukturprinzipien und mathematischen Entwurfsmethoden bleiben jedoch im Wesentlichen dieselben. Diese Strukturprinzipien und Entwurfsmethoden speziell von verteilten und nebenl?ufigen Systemen sind Gegenstand des Studienfaches Grundlagen der Informatik. Dabei wird besonders die Bedeutung der Modellbildung und der mathematischen Analyse von Synchronisationsaspekten und Informationssicherheit betont.

Ein solides mathematisch-analytisches Verst?ndnis moderner informationstechnischer Systeme liefert die n?tige Urteilsf?higkeit, um in technischen und nichttechnischen Führungspositionen rationalisierte, strategische Entscheidungen in Fragen der Informationstechnologie treffen zu k?nnen. Im Fach Grundlagen der Informatik soll deshalb neben dem Fachwissen das kombinatorische und logische Denken und die Abstraktionsf?higkeit ausgebildet und gesch?rft werden. Die angebotenen Inhalte geh?ren zum methodischen Rüstzeug für wissenschaftliches Arbeiten im Forschungsgebiet Verteilte Systeme.

Aufbau des Faches

Die ?bersicht stellt die Veranstaltungen dar, die im Fachgebiet Grundlagen der Informatik zur Zeit angeboten werden. Kurzfristige ?nderungen sind nicht ausgeschlossen. Bitte beachten Sie deshalb in jedem Falle die aktuellen Angaben im UnivIS oder Modulhandbuch

Studienempfehlung

• MSc:
  Die ehemalige Diplomhaupstudiumsvorlesung "Nichtprozedurale Programmierung" kann in Ausnahmef?llen auf Antrag auch im MSc-Studiengang Angewandte Informatik belegt werden.
• Alle Studieng?nge:
  Es besteht die M?glichkeit, Veranstaltungen "Logik", "Theorie verteilter Systeme" oder "Informationssicherheit" durch geeignete aktive Beteiligung nach Absprache als Seminar abzulegen.
• Die Unterichtssprachen in den Veranstaltungen Grundlagen der Informatik sind Deutsch und Englisch. Lehrmaterialien und schriftliche Prüfungen sind grunds?tzlich auf Englisch. Bei Anwesenheit von Austauschstudenten ohne Deutschkenntnisse wird die jeweilige Vorlesung oder ?bung in Englisch gehalten. Darüber hinaus sind alle Module, die im Modulhandbuch des MSc International Software Systems Science belegbar sind, durchg?ngig in Englisch angeboten.

Auslandsstudium

Studenten, die einen Auslandsaufenthalt beabsichtigen, wird empfohlen, sich rechtzeitig mit dem Prüfungsausschuss in Verbindung zu setzen, um die Anerkennung ausl?ndischer Prüfungsleistungen per Learning Agreement abzukl?ren. Es wird au?erdem empfohlen, sich für das Auslandsstudium beurlauben zu lassen. Auslandssemester und Studien/Prüfungsleistungen sind nachtr?glich anrechenbar.
Allgemein gilt: Die Anrechung kann entweder als ?quivalenznachweis zu einer Veranstaltung in Bamberg erfolgen (Zust?ndigkeit: Fachvertreter) oder im jeweiligen BSc/MSc Studiengang auf eine Modulgruppe (Zust?ndigkeit: Prüfungsausschuss). Learning Agreements und Anrechungsantr?ge finden Sie hier.

Weiter Informationen zum Auslandsstudium sind im VC-Kurs  "Studium International WIAI" zu finden.