max planck institut
informatik
mpii logo Minerva of the Max Planck Society

Proseminar "Decision Procedures based on SAT (Propositional Satisfiability) (2) 5LP" (WS 2007/2008), Vorlesungsnummer: CS300

Dozenten


Start

Vorbesprechung: Dienstag, 23. Oktober 2007, 13.00 Uhr s.t.

Die Vorbesprechung findet in Raum 021, Gebäude E1.4 (Max-Planck-Institut für Informatik) statt. Alle Themen werden dabei von uns vorgestellt. Sie erhalten dann die Möglichkeit, sich ein Vortragsthema auszusuchen und mit Ihrem Betreuer in Kontakt zu treten.


Wo und Wann?

Vorläufiger Zeiplan


Voraussetzungen

Kenntnisse in theoretischer Informatik, insbesondere Logik sind nützlich aber keine Zulassungsvoraussetzung. Wir werden eine Einführung in SAT geben. Sie müssen englische Fachaufsätze lesen können. Die Vorträge können in deutscher Sprache gehalten werden, wir begrüssen es jedoch wenn der Vortrag auf englisch gehalten wird.


Literatur

Die Literaturliste der Seminarthemen befindet sich hier.

Einige Hinweise zum Vortragsstil können Sie hier [deutsch] finden.


Anmeldung

Bitte melden sie sich auf unserer Registrierungsseite an. Bitte vergessen sie nicht, sich auch bei HISPOS an, da wir die Prüfungsanmeldung nicht automatisch vornehmen können.


Benotung

Die Benotung erfolgt Aufgrund des mündlichen Vortrags, sowie einer kurzen (maximal 5 Seiten langen) Ausarbeitung, die in englischer Sprache verfasst wird. Abgabe der schriftlichen Ausarbeitung: Montag, 31 März 2008, 23:59 Uhr


Verschiedenes

TeX4PPT ist ein nützliches, kostenloses Tool zum Erstellen von math. Formeln in Powerpoint.

Präsentationsvorlagen: LaTeX (basierend auf dem 'Seminar'-Package), PowerPoint