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

Diplomstudiengänge der Fakultät IV
(Elektrotechnik, Informatik, Technische Informatik)
Inhalt Einführung in die mathematischen und algorithmischen Grundlagen für den Entwurf und
die Analyse von Algorithmen unter Ausnutzung der Ressource „Zufall". Einzelne Themen
sind z.B.
• Randomisierte Algorithmen für Graphprobleme oder geometrische Probleme
• Probabilistische Methode
• Randomisierte Komplexitätsklassen
Bemerkung Auf Wunsch kann die Veranstaltung in englischer Sprache abgehalten werden.
Nachweis Zwei separate, prüfungsäquivalente Studienleistungen; nicht kompensierbar.
- aktive Teilnahme an Übungsgruppen mot Vorrechnen von Übungsaufgaben per
Zufallsauswahl
- 100% mündliche Prüfung
Voraussetzung Grundlagenverständnis zu effizienten Algorithmen.
Literatur Rajeev Motwani, Prabhakar Raghavon: Randomized Algorithms, Cambridge University
Press 1995.
Michael Mitzenmacher, Eli Upfal: Probability and Computing, Cambridge University
Press 2005.
Randomisierte Algorithmen
0434 L 235/1, Übung, 2.0 SWS
Do, wöchentl, 16:00 - 18:00, 14.04.2011 - 14.07.2011, MA 144 , Komusiewicz
Inhalt Einfu#hrung in die mathematischen und algorithmischen Grundlagen fu#r den Entwurf
und die Analyse von Algorithmen unter Ausnutzung
der Ressource „Zufall". Einzelne Themen sind z.B.
• Randomisierte Algorithmen fu#r Graphprobleme oder geometrische Probleme
• Probabilistische Methode
• Randomisierte Komplexitätsklassen
Bemerkung Auf Wunsch kann die Veranstaltung in englischer Sprache abgehalten werden.
Nachweis Zwei separate, prüfungsäquivalente Studienleistungen; nicht kompensierbar
• aktive Teilnahme an Übungsgruppen mit Vorrechnen von Übungsaufgaben per
Zufallsauswahl
• 100% mündliche Prüfung
Voraussetzung Grundlagenverständnis zu effizienten Algorithmen.
Literatur Rajeev Motwani, Prabhakar Raghavon: Randomized Algorithms, Cambridge University
Press 1995.
Michael Mitzenmacher, Eli Upfal: Probability and Computing, Cambridge University
Press 2005
Algebraische Prozesskalküle
0434 L 352, Integrierte LV (VL mit UE), 4.0 SWS
Do, wöchentl, 10:00 - 12:00, 14.04.2011 - 14.07.2011, Nestmann
Do, wöchentl, 14:00 - 16:00, 14.04.2011 - 14.07.2011, Nestmann
Inhalt Vergleich mit endlichen Automaten; Handshake-Kommunikation; Parallelität, Verteilung;
CCS; Pi Kalkül; Operationelle Semantik; Bisimulation, Kongruenz.
Anwendungsfelder: Sicherheitsprotokolle, Systembiologie, Geschäftsprozesse,
fehlertolerante verteilte Algorithmen.
Bemerkung Diese Veranstaltung findet im Raum FR 5514 statt. Weitere Informationen siehe
Aushang neben FR 6507/8 oder https://www.isis.tu-berlin.de/course/
Basisveranstaltung THI für Diplomstudiengang und auch anrechenbar als
Vertiefungsveranstaltung in THI.
Synchrone und Asynchrone Interaktion in Verteilten Systemen
0434 L 353, Seminar, 2.0 SWS
SoSe 2011 70