Direkt zum Inhalt | Direkt zur Navigation

Sektionen
Benutzerspezifische Werkzeuge
Sie sind hier: Startseite → Willkommen → Professuren → Ordentliche Professuren → Theoretische Informatik → Lehrveranstaltungen → Wintersemester 2013/2014 → Cartesisches Seminar → Aktuelles → Fortführung in der vorlesungsfreien Zeit
 

Fortführung in der vorlesungsfreien Zeit

Das Seminar wird auch in der vorlesungsfreien Zeit bis zum Sommersemester 2014

weiter stattfinden. Ab 13.02. treffen wir uns Donnerstags, 12:30 - 14:30 Uhr im Raum 2.01.

Wir beschäftigen uns weiter mit

  • Tarski, 1935: "Der Wahrheitsbegriff in den formalisierten Sprachen"
Artikelaktionen
Auf einen Blick
Lehrform Oberseminar
Empfohlen ab FS 5
Voraussetzungen Gute Kenntnisse in theoretischer Informatik und Logik
Benotet Ja
Punkte gesamt 3
davon praktisch 3
Sprache deutsch/englisch
Fremdhörer zugelassen? Nein
Teilgebiete Theoretische Informatik(2000), Wahlfrei(7000)
Studiengang Bachelor, Master
Belegung via PULS