Lecture notes and E-Lectures | Logic tools | Talks | Theses | Miscellaneous  


Lecture notes and E-Lectures

Diskrete Modellierung
Theoretische Informatik 2
Logik in der Informatik
  • N. Schweikardt. Skript zur Vorlesung "Logik in der Informatik", Goethe-Universität Frankfurt am Main, 2011.
Logik und Datenbanken

Logic tools

Tools for illustrating the syntax and semantics of logics


How to give a talk in computer science or mathematics
How to prepare slides for a presentation
  • We recommend to use the class Beamer for preparing LaTeX slides. Detailed information on the Beamer class can be found in the Beamer user's guide and in the corresponding entry at wikipedia.


How to write a seminar summary paper
How to write a thesis
How to write a conference publication


Further information