Algorithmische Bioinformatik I SoSe 2020

Einführung in die Informatik: Systeme und Anwendungen SoSe2020

Details siehe Vorlesungswebseite


Einschreibeschlüssel: LMU

Formale Spezifikation und Verifikation SoSe 2020

Einschreibeschlüssel: FSV

Formale Sprachen und Komplexität (FSK) SoSe 2020

Testkurs SoSe 2020

Rechnernetze und verteilte Systeme SoSe20

Die Vorlesung vermittelt Einordnung, Aufbau und Funktion von Netzen mit dem Schwerpunkt Protokolle und gliedert die Kommunikationsgrundlage verteilter Systeme ein. Hierzu bedient es sich der gängigen geschichteten Modelle und Architekturen. Schichtunabhängige Konzepte und Verfahren werden gesondert behandelt, um dann anhand von Protokollbeispielen in allen wichtigen Modellschichten vertieft zu werden. Zu diesen gehören die Bitübertragungsschicht, die Sicherungsschicht samt Vielfachzugriff, die Vermittlungsschicht, die Transportschicht, ferner Dienstprotokolle im Internet. Die Darstellungs- und die Kommunikationssteuerungsschicht werden anhand von Konzepten aus der Kommunikationsmiddleware verteilter Systeme behandelt. Als Ausblick auf den Betrieb verteilter Systeme behandelt die Vorlesung summarisch die Grundlagen des Internet-Management. Behandelt werden u.a.:

  • Grundlagen von Kommunikationsarchitekturen
  • Einführung in Protokolltechniken
  • Beispiele von Protokollen für das Transportsystem, insbes. Internet
  • Grundlagen verteilter Systeme
  • Kommunikationsmiddleware

Tutorium Bioinformatik SoSe 2020

Das Praktikum besteht aus einem Tutorium über Programmierung sowie Programmierumgebungen. 
Programmierkonzepte werden anhand von praktischen Beispielen in den Programmiersprachen java, python und bash angewendet und eingeübt. Soweit möglich wird dabei auf für die Bioinformatik relevante Beispiele zurückgegriffen.