Diplomstudiengänge der Fakultät IV (Elektrotechnik ... - TU Berlin

Diplomstudiengänge der Fakultät IV
(Elektrotechnik, Informatik, Technische Informatik)
BEACHTEN: Diese Veranstaltung wird unter Umständen zum letzten mal in diesem
Semester angeboten. Ein möglicher Abschluß des Moduls ist nur noch in diesem
Semester garantiert.
Angewandte Logiken
0432 L 914, Seminar, 2.0 SWS
Di, wöchentl, 10:00 - 12:00, 12.04.2011 - 12.07.2011, FR 3035
Inhalt Basierend auf den zentralen Konzepten der Logik, nämlich Folgerung und Kalkül, werden
bekannte nicht-klassische Logiken wie z.B. die Modallogik - und deren Anwendungen -
behandelt.
Bemerkung Vertiefungsveranstaltung in den Studiengebieten THI + PSS sowie Bachelor-Modul.
Modelle und Ontologien
0432 L 949, Integrierte LV (VL mit UE), 4.0 SWS
Di, wöchentl, 12:00 - 16:00, 12.04.2011 - 12.07.2011, FR 6010 , Mahr
Inhalt Die Veranstaltung behandelt konzeptuelle Theorien wie Modelltheorien, Mengenlehren,
Referenzmodelle und Ontologien.
Bemerkung Vertiefungsveranstaltung in den Studiengebieten PSS und THI.
Bestandteil des Master-Moduls FLP 2 - Modelle und Ontologien.
BITTE BEACHTEN: Diese Lehrveranstaltung wird in diesem Semester voraussichtlich
ZUM LETZTEN MAL stattfinden. Es ist daher auch nur in diesem Semester möglich,
das Modul FLP 2 - Modelle und Ontologien abzuschließen. Die zweite Veranstaltung
des Moduls - Modellanalysen - wird auch in diesem Semester angeboten.
Integration und Kontext
0432 L 950, Integrierte LV (VL mit UE), 4.0 SWS
Mo, wöchentl, 10:00 - 14:00, 11.04.2011 - 17.07.2011, FR 0027B , Mahr, Bab, Karbe
Inhalt Integration ist ein fundamentales Thema in der Informatik, bei dessen Handhabung eine
gewisse Form der Kontextutalisierung von Vorteil ist. In dieser Lehrveranstaltung soll das
Verhältnis einer angemessenen Form der Kontextualisierung in Hinblick auf eine formale
Definition des Integrationsbegriffs in der Informatik untersucht werden.
Modellanalysen
0432 L 964, Seminar, 2.0 SWS
Mo, Einzel, 16:00 - 18:00, 18.04.2011 - 18.04.2011, FR 6010 , Armbruster, Mahr
Inhalt Im Seminar werden bekannte Modelle und Theorien analysiert, in Hinblick auf bestimmte
Fragestellungen und Anwendungsmöglichkeiten untersucht und den Seminarteilnehmern
im Rahmen von Referaten vorgestellt und in Seminararbeiten vertieft.
Das Seminar wird nach Absprache mit den Teilnehmern als Blockseminar am Ende
des Semesters durchgeführt. Die Teilnahme am ersten Lehrveranstaltungstermin am
18.04. ist für die Teilnahme an der Lehrveranstaltung Voraussetzung. Die Festsetzung
der Termine für die Blockveranstaltung werden ebenfalls am 18.04. besprochen.
Bemerkung Vertiefungsveranstaltung (Seminar) in den Studiengebieten PSS und THI.
Bestandteil des Master-Moduls FLP 2 - Modelle und Ontologien.
BITTE BEACHTEN: Diese Lehrveranstaltung wird in diesem Semester voraussichtlich
ZUM LETZTEN MAL stattfinden. Es ist daher auch nur in diesem Semester möglich,
das Modul FLP 2 - Modelle und Ontologien abzuschließen. Die zweite Veranstaltung
des Moduls - Modelle und Ontologien - wird auch in diesem Semester angeboten.
Komplexitätstheorie
0434 L 233, Vorlesung, 4.0 SWS
Di, wöchentl, 12:00 - 14:00, 12.04.2011 - 12.07.2011, HL 001 , Niedermeier
Do, wöchentl, 12:00 - 14:00, 14.04.2011 - 14.07.2011, FR 3003 , Niedermeier
Inhalt Einführung in die strukturelle Komplexitätstheorie, mit besonderem Bezug zu den
Komplexitätsmaßen Zeit- und Speicherplatzbedarf.
Einzelne Themen hierzu sind beispielsweise:
SoSe 2011 68