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

Diplomstudiengänge der Fakultät IV
(Elektrotechnik, Informatik, Technische Informatik)
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.
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.
Semantik und Kalküle
0432 L 902, Integrierte LV (VL mit UE), 4.0 SWS
Mi, wöchentl, 12:00 - 16:00, 13.04.2011 - 17.07.2011, FR 1057 , Wieczorek
Inhalt Diese Veranstaltung gibt eine detaillierte Einführung in das Gebiet Semantik und Kalküle.
Insbesondere werden Themen wie der Lambda-Kalkül, verschiedene Typtheorien sowie
Semantiken behandelt.
Bemerkung Basisveranstaltung im Studiengebiet PSS. Vertiefungsveranstaltung im Studiengebiet
THI. Lehrveranstaltung des Bachelor-Moduls "Semantik und Kalküle". BITTE
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.
FLP/KIT - Colloquium
0432 L 923, Colloquium, 2.0 SWS
Mo, wöchentl, 14:00 - 16:00, 11.04.2011 - 11.07.2011, FR 6079 , Mahr, Bab
Mi, Einzel, 13:00 - 16:00, 27.04.2011 - 27.04.2011
Di, wöchentl, 16:00 - 20:00, 03.05.2011 - 28.06.2011, EW 226
Mi, wöchentl, 16:00 - 20:00, 04.05.2011 - 29.06.2011, E-N 195
Inhalt Doktoranden- und Diplomandenkolloquium. Für InformatikerInnen nicht anrechenbar.
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.
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.
SoSe 2011 60