Direkt zum Inhalt
|
Direkt zur Navigation
Übersicht
Barrierefreiheit
Website durchsuchen
nur im aktuellen Bereich
Erweiterte Suche…
Sektionen
Institut
Benutzerspezifische Werkzeuge
Anmelden
English
Deutsch
Sie sind hier:
Startseite
→
Willkommen
→
Professuren
→
Ordentliche Professuren
→
Theoretische Informatik
→
Lehrveranstaltungen
→
Wintersemester 2013/2014
→
Automatisierte Logik und Programmierung: Formale Kalküle und Beweissysteme
→
Aktuelles
Theoretische Informatik
Lehrveranstaltungen
Wintersemester 2016/2017
Sommersemester 2016
Wintersemester 2015/2016
Sommersemester 2015
Wintersemester 2014/2015
Sommersemester 2014
Wintersemester 2013/2014
Theoretische Informatik I: Modellierungskonzepte - Automaten und formale Sprachen
Automatisierte Logik und Programmierung: Formale Kalküle und Beweissysteme
Aktuelles
Termine
Folien
Übungen
Material
Grenzen der Mathematik
Cartesisches Seminar
Theorie-Kolloquium
Sommersemester 2013
Wintersemester 2012/2013
Sommersemester 2012
Wintersemester 2011/2012
Sommersemester 2011
Wintersemester 2010/2011
Brückenkurs Mathematik für Informatiknahe Studiengänge
Lehrstuhl-Seiten
Institut für Informatik
Aktuelles
Klaursurergebnisse liegen vor
Ausfalltermine beachten!
Doodle Terminverschiebung
Weiter…
Info
Aktuelles
Klaursurergebnisse liegen vor
Die Ergebnsse der Klausur vom 14.2. liegen jetzt vor
Ausfalltermine beachten!
Doodle Terminverschiebung
Artikelaktionen
RSS-Feed
Versenden
Drucken
Auf einen Blick
Lehrform
diverse Formen
Empfohlen ab FS
6
Voraussetzungen
Gute Logikvorkenntnisse dringend empfohlen. Teilnahme für Bachelorstudenten ab 5. Fachsemester nach Rücksprache möglich
Benotet
Ja
Punkte gesamt
6
davon praktisch
0
Sprache
deutsch
Fremdhörer zugelassen?
Nein
Teilgebiete
Theoretische Informatik(2000)
,
Angewandte Informatik(4000)
,
Wahlfrei(7000)
Studiengang
Bachelor, Master
Belegung
via
PULS
Powered by Plone
Gültiges XHTML
Gültiges CSS
Section 508
WCAG