Gliederung/Folien
| Termin: | Thema: | es trägt vor: | Folien: |
|---|---|---|---|
| 20.04.2010 | Einführung und Themenübersicht | Dr. Eva Richter | (noch nicht vorhanden) |
| 27.04.2010 | Algorithmische Komplexität und Induktives Schließen | Dr. Eva Richter | (noch nicht vorhanden) |
| 04.05.2010 | Pfeile anstelle von Epsilon, Teil I: | (noch nicht vorhanden) | |
| Mono-, Epi,- und Isomorphismen, Dualität, Produkte und Koprodukte | Tim Richter | ||
| 11.05.2010 | Pfeile anstelle von Epsilon, Teil II: | (noch nicht vorhanden) | |
| Differenzkerne, Limiten | Dr. Eva Richter | ||
| 18.05.2010 | Pfeile anstelle von Epsilon, Teil III: | (noch nicht vorhanden) | |
| Pullbacks, Exponentiale | Tim Richter | ||
| 25.05.2010 | Topoi - Einführung und Beispiele | Florian Seele | (noch nicht vorhanden) |
| 01.06.2010 | Topoi - Einführung und Beispiele | Carsten Baum | (noch nicht vorhanden) |
| 08.06.2010 | Toposstruktur Teil 1 | Mario Frank | (noch nicht vorhanden) |
| 15.06.2010 | Toposstruktur Teil 2 | Mario Frank | (noch nicht vorhanden) |
| Topos-Logik: Motivation, Aussagenlogik, | |||
| Boole’sche Algebra | Nuria Brede | ||
| 22.06.2010 | Wahrheitswertfunktionen als Pfeile | Nuria Brede | (noch nicht vorhanden) |
| Algebra der Teilobjekte - Teil 1a | Margrit Dittmann | ||
| 29.06.2010 | Algebra der Teilobjekte - Teil 1b | Margrit Dittmann | (noch nicht vorhanden) |
| Algebra der Teilobjekte - Teil 2 | Torsten Steinbrecher | ||
| 06.07.2010 | Funktoren, Natürliche-Zahl-Objekt, primitive Rekursion | Robert Pfeiffer | (noch nicht vorhanden) |
| 13.07.2010 | Intuitionismus und seine Logik | Michael Görner | (noch nicht vorhanden) |
| 20.07.2010 | (noch nicht vorhanden) |
Veranstaltungen
-
Teilnehmer sollen in ihren Vorträgen die zentralen Begriffe ihres Themas, die zugehörigen Aussagen und deren Konsequenzen ausführlich darstellen und mit Hilfe von Beispielen (und eventuellen Lösungen der Übungsaufgaben) erklären. In den Seminaren soll es vor allem darum gehen, die Zuhörer in das jeweilige Thema einzuführen, weniger darum eine möglichst glatte Präsentation abzuliefern. Das Erstellen von Folien ist nicht unbedingt notwendig, jedoch können vorbereitete Materialien wie Folien oder Handouts auf der Webseite bereitgestellt werden.
Im Anschluss an den Vortrag, ggf. auch während des Vortrags findet eine inhaltliche Diskussion des Themas statt, die von der/dem Vortragenden geleitet wird. Von allen Teilnehmern wird eine aktive Beteiligung an dieser Diskussion erwartet, was voraussetzt, daß auch die Zuhörer die betreffenden Passagen des Textes gelesen haben.
