Logik und Datenbanktheorie Prof. Dr. Nicole Schweikardt

Logik in der Informatik, Institut für Informatik, Humboldt-Universität zu Berlin

Lehrveranstaltungen:

SoSe 2007: Vorlesung Logik und Komplexität (montags 13-15 Uhr in Raum 1'305 und mittwochs 15-17 Uhr in Raum 1'307, Erwin Schrödinger-Zentrum) Übung Logik und Komplexität (montags 15-17 Uhr in Raum 1'305, Erwin Schrödinger-Zentrum) Mitarbeiterseminar Logik in der Informatik (i.d.R. freitags, 11-13 Uhr, Raum 4.410, Johann von Neumann-Haus) Oberseminar Theoretische Informatik (i.d.R. freitags, 13-15 Uhr, Raum 3.101, Johann von Neumann-Haus) WiSe 2006/07: Seminar Probabilistische Datenbanken (Blockseminar) Mitarbeiterseminar Logik in der Informatik (i.d.R. freitags, 11-13 Uhr, Raum 4.410, Johann von Neumann-Haus) Oberseminar Theoretische Informatik (i.d.R. freitags, 13-15 Uhr, Raum 3.101, Johann von Neumann-Haus) SoSe 2006: Vorlesung Datenbanktheorie (montags 15-17 Uhr in Raum 1.306 und mittwochs 13-15 Uhr in Raum 1.303, Erwin Schrödinger-Zentrum) Übung Datenbanktheorie (mittwochs 15-17 Uhr in Raum 1.303, Erwin Schrödinger-Zentrum) Mitarbeiterseminar Logik in der Informatik (i.d.R. freitags, 11-13 Uhr, Raum 4.410, Johann von Neumann-Haus) Oberseminar Theoretische Informatik (i.d.R. freitags, 13-15 Uhr, Raum 3.101, Johann von Neumann-Haus) WiSe 2005/06: Seminar Kommunikationskomplexität (dienstags, 15-17 Uhr, Raum 1.308, Erwin Schrödinger-Zentrum) Seminar Endliche Modelltheorie (zusammen mit Prof. Dr. Stephan Kreutzer) (Blockseminar) Mitarbeiterseminar Logik in der Informatik (i.d.R. freitags, 11-13 Uhr, Raum 4.410, Johann von Neumann-Haus) Oberseminar Theoretische Informatik (i.d.R. freitags, 13-15 Uhr, Raum 3.101, Johann von Neumann-Haus) SoSe 2005: Vorlesung Logik und Komplexität (zusammen mit Prof. Dr. Stephan Kreutzer) Übung Logik und Komplexität (zusammen mit Prof. Dr. Stephan Kreutzer) Mitarbeiterseminar Logik in der Informatik (i.d.R. freitags, 11-13 Uhr, Raum 4.410, Johann von Neumann-Haus) Oberseminar Theoretische Informatik (i.d.R. freitags, 13-15 Uhr, Raum 3.101, Johann von Neumann-Haus) WiSe 2004/05: Übung Theoretische Informatik I Mitarbeit beim Seminar Automaten und semistrukturierte Daten (XML) SoSe 2004: Vorlesung Logik und Komplexität (zusammen mit Dr. Stephan Kreutzer) Übung Logik und Komplexität (zusammen mit Dr. Stephan Kreutzer) Übung Logiken, Spiele und Automaten (zusammen mit Dr. Stephan Kreutzer) WiSe 2003/04: Übung Theoretische Informatik I Mitarbeit beim Seminar Logik und Komplexität SoSe 2002: (an der Johannes Gutenberg-Universität Mainz) Vorlesung und Übung Grundlagen des Parallelen Rechnens II WiSe 2001/02: (an der Johannes Gutenberg-Universität Mainz) Übung zu Grundlagen des Parallelen Rechnens SoSe 2001: (an der Johannes Gutenberg-Universität Mainz) Proseminar Kombinatorische Algorithmen (zusammen mit Prof. Dr. Clemens Lautemann)