Logiknahe Lehrveranstaltungen in Bonn
SoSe 2002
zusammengestellt von LiB
Grundstudium
|
Ling
| Übung im Grundstudium
| Formale
Semantik 2
| Hans-Christian Schmitz,
Dr. Bernhard
Schröder |
Di 13-15
| IKP, Hörsaal
|
Ling
| Proseminar
| Grammatiktheorie
| Dr. Bernhard
Schröder |
Do 14-16
| IKP, Hörsaal
|
Math
| Vorlesung
| Einführung
in die Mathematische Logik
| Prof. Dr. Peter
Koepke
| DiDo 12-14
| We10, KlHS
|
Phil
| Proseminar
| Logik II
| Dr. Joachim Bromand
| Fr 11-13
| LFB I, GrÜR
|
Hauptstudium
|
CS
| Vorlesung
|
Binäre Entscheidungsgraphen
| Prof. Dr.
Christel Baier
| Mi 9-11, Fr 11-13
| HS 1
|
CS
| Vorlesung
|
Effiziente Algorithmen und Datenstrukturen
| Prof. Dr.
Marek Karpinski
| DiDo 11-13
| HS 1
|
CS
| Seminar
|
Schnelle parallele Algorithmen
| Prof. Dr.
Marek Karpinski, Dr. Yakov Nekritch,
Mathias Hauptmann, Peter Wegner
| TBA
| TBA
|
CS
| Seminar
|
Model Checking
| Prof. Dr.
Christel Baier,
Dr. Alexander Asteroth,
Frank Ciesinski,
Marcus Größer
| Di 13-15
| N327
|
Math
| Vorlesung
| Einführung
in die Mathematische Logik
| Prof. Dr. Peter
Koepke
| DiDo 12-14
| We10, KlHS
|
Math
| Vorlesung
| Berechenbarkeitstheorie
| Prof. Dr. Philip Welch
| MiFr 10-12
| Be4, SR B
|
Math
| Vorlesung
| Determinacy and Cardinal Invariants
| Prof. Dr. Jindrich Zapletal
| Di 14-16, Do 10-12
| Be4, SR A (Di); MA 160, SR F (Do)
|
Math
| Seminar
| Logik (Forcing)
| Prof. Dr. Peter
Koepke, Dr. Benedikt
Löwe, Prof. Dr. Wolfram Pohlers
| Blockveranstaltung (7.-9.6.2002)
| Münster
|
Math
| Diplomandenseminar
| Diplomandenseminar
| Prof. Dr. Peter
Koepke
| Do 14-16
| MA 160, SR F
|
Math/Phil
| Seminar / Übung für Fortgeschrittene
| Philosophie der
Mathematik
| Dr. Joachim Bromand,
Dr. Benedikt
Löwe
| Di 16-18
| Be4, SR B
|
Phil
| Übung für Fortgeschrittene
| Logik III: Einführung in die Modallogik sowie in die philosophische
Theorie der Begriffe
| Dr. Albert Newen
| Di 14-16
| LFB I, MiÜR
|
Graduiertenstudium
|
CS
| Oberseminar
|
Oberseminar
Randomisierte und Approximative Algorithmen (RAND)
| Prof. Dr. Marek Karpinski
| Fr 14-16
| N 327
|
Math
| Oberseminar
|
Oberseminar Mengenlehre
| Prof. Dr. Peter
Koepke
| Do 16-18
| Be4, SR B
|
Phil
| Oberseminar
|
Der Naturalismus in der Philosophie der Mathematik
| Prof. Dr. Andreas
Bartels
| Mo 18-20
| LFB I, KlÜR
|