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

Material

Lecture notes and E-Lectures

Diskrete Modellierung
Theoretische Informatik 2
Datenstrukturen
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

Talks

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.

Theses

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

Miscellaneous

Further information