Materialien
Skripten und E-Lectures
- Diskrete Modellierung
-
-
N. Schweikardt. Skript zur Vorlesung "Diskrete Modellierung", Goethe-Universität Frankfurt am Main, 2012.
- E-Lectures zur Vorlesung Diskrete Modellierung
-
N. Schweikardt. Skript zur Vorlesung "Diskrete Modellierung", Goethe-Universität Frankfurt am Main, 2012.
- Theoretische Informatik 2
- Datenstrukturen
- Logik in der Informatik
-
-
N. Schweikardt. Skript zur Vorlesung "Logik in der Informatik", Goethe-Universität Frankfurt am Main, 2011.
-
N. Schweikardt. Skript zur Vorlesung "Logik in der Informatik", Goethe-Universität Frankfurt am Main, 2011.
- Logik und Datenbanken
Formelchecker
- Werkzeuge zur Veranschaulichung der Syntax und Semantik verschiedener Logiken
-
- tks.AL: Formelchecker für die Aussagenlogik (entwickelt von André Frochaux)
- tks.FO: Formelchecker für die Logik erster Stufe (entwickelt von André Frochaux)
- tks.PNF: Erzeugt FO-Formeln in PNF (entwickelt von Alexander Adler)
- GrALog: Formelchecker für die Logik erster Stufe und den mu-Kalkül (entwickelt von Stephan Kreutzer und Sebastian Ordyniak)
Vorträge
- Vorträge halten in Informatik und Mathematik
-
- Gute Seminarvorträge - Tipps und Tricks von Katharina Hahn
- Wie halte ich einen Seminarvortrag? von Manfred Lehn
- How to give a good talk von Hany Farid
- How to talk Mathematics von Paul Richard Halmos
- Giving an Academic Talk von Jonathan Shewchuk
- Erstellen von Präsentationsfolien
-
- Zum Erstellen von Präsentationsfolien mit LaTeX empfiehlt sich, die Klasse Beamer zu benutzen. Informationen dazu finden sich im Beamer Benutzerhandbuch sowie im entsprechenden Wikipedia-Eintrag.
Schriftliche Arbeiten
- Eine Seminar-Ausarbeitung schreiben
-
- Eine Vorlage (im LaTeX-Format) für das Schreiben einer Seminar-Ausarbeitung finden Sie hier (erstellt von André Hernich und Mariano Zelke).
- Eine Abschlussarbeit schreiben
-
- The Researcher's Bible von Alan Bundy, Ben du Boulay, Jim Howe, Gordon Plotkin
- Das Schreiben wissenschaftlicher Arbeiten von Christian Siefkes und Joachim Korb
- Eine Konferenzpublikation schreiben
-
- How to write a paper von Oded Goldreich
- How to Have Your Abstract Rejected von Mary-Claire van Leunen and Richard Lipton
Verschiedenes
- Informationen zu weiteren Themen