WiSe 2010/2011 » Quant*
Ziegler

Übersicht

Ausarbeitungen

Aktuelles

08.02.2011	Der für den 14.2. vorgesehene Vortrag wird verschoben auf den 21.2. um 16h15 im S2|15-201
24.01.2011	Am 7.2. um 9h50 setzt Herr Günther seinen Vortrag fort
10.01.2011	Am 13.1. um 16h15 im S2|15-201 setzt Herr Gu seinen Vortrag fort. Herr Günther trägt am 17.1. um 9h50 im S2|15-201 vor.
12.11.2010	Auf Wunsch wird der erste Vortrag um eine Woche verschoben auf den 15.11. um 16h15
27.09.2010	Vorbesprechung und Themenvergabe am 18.10.2010 um 9h50 im S2|15-201
26.09.2010	Themenangebote u.a. Quantenlogik, Quantorenelimination

 

Veranstalter

Name	Raum	Tel.
Ziegler, Martin

 

Vorlesung

Tag	Uhrzeit	in Raum
Montags	16:15 - 17:55	S2|15-201

 

Vorkenntnisse

Einführung in die mathematische Logik

 

Anforderungen

In Absprache mit dem Betreuer:

• Einarbeitung in die relevante Literatur
• Stoffauswahl für einen
• Vortrag (Tafel, Overhead, Beamer) von ca. 2h Länge inkl. Diskussion
• ca.12 bis 16 Seiten schriftl. Ausarbeitung (LaTeX a4 11pt) bis 31.3.2011

 

Themenverteilung

• Daniel Geiß: Einführung in die Modallogik
• Nico Formanek: Gödels ontologischer Gottesbeweis
• Florian Bruse: Theorien mit Quantorenelimination
• Daniel Günzel: reell abgeschlossene Körper
• Felix Günther: algorithmische Quantorenelimination über den reellen Zahlen
• Wiebke Klement: Einführung in die Quantenlogik
• Oliver Gu: Continuous Extension (?)

 

Impressum | Datenschutzerklärung