13 Vorlesungen im Sommersemester 2012

Im Rahmen der Vorlesung werden Einblicke in den Lehrberuf, das Unterrichten und Erziehen, die Diagnostik und Leistungsbeurteilung, das Beraten, Innovieren und die Schulentwicklung vermittelt. Als oberstes Lernziel sollen die Studierenden eine Vorstellung über den Lehrberuf und ausgewählte Aufgabenfelder erhalten

Inhalt Ein bedeutsames und derzeit noch unbefriedigend beherrschtes Problem im Entwicklungsprozess technischer Systeme ist die Zuverlässigkeit der produzierten Software. Diese ist gegeben, wenn ein Softwaresystem im Sinne der Aufgabenstellung funktioniert und auch auf Fehler angemessen reagiert. Besonders in sicherheitskritischen Anwendungsgebieten, wie etwa bei medizinischen Anwendungen, bei Zahlungssystemen, elektronischer Kommunikation, Zugangskontrollsystemen, aber auch Gasbrennersteuerungen im Haushalt, ist es entscheidend, dass die verwendeten Programmsysteme zuverlässig und sicher arbeiten. Die Vorlesung gibt eine Einführung in Methoden und Techniken zum Entwurf nebenläufiger sicherer Systeme. Besonderes Gewicht wird dabei auf Techniken der Spezifikation und der Verfeinerung von Spezifikationen gelegt, die die Grundlage für moderne Validierungs- und Verifikationswerkzeuge bilden. Insbesondere werden folgende Themen behandelt. Spezifikation dynamischer nebenläufiger Systeme Transitionssysteme Prozessalgebren Verifikation und Verfeinerung nebenläufiger Systeme Eigenschaften von Abläufen Temporale Logik Model Checking

The LMU Center for Advanced Management Studies (LMU CAMS) is a center of Excellence at the Munich School of Management at Ludwig Maximilian University. LMU CAMS invites visiting professors and scholars to pursue their research in Munich and to teach in the faculty´s doctoral programme

Inhalt Das Modul führt in grundlegende mathematische Konzepte zum Umgang mit endlichen oder abzählbaren Strukturen ein sowie in grundlegende Konzepte der Logik. Unter anderem werden behandelt: Mengen, Relationen, Ordnungen, Modulare Arithmetik, Gruppen und Körper, Aussagenlogik und Prädikatenlogik, Sequenzenkalkül und Resolution, Gödels Unvollständigkeitssatz.