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
→
Cartesisches Seminar
→
Termine
→
Oberseminar Cartesisches Seminar
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
Grenzen der Mathematik
Cartesisches Seminar
Aktuelles
Termine
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
Fortführung in der vorlesungsfreien Zeit
Seminar am 20.02. fällt aus!
Terminverlegung!
Weiter…
Info
Oberseminar Cartesisches Seminar
Oberseminar, Prof. Dr. Kreitz, Do. 12:30-14:30, 3.04.2.01
Was
Wann
13.02.2014
von
12:30
bis
14:30
Every week until 05.02.2014
Wo
3.04.2.01
Termin übernehmen
vCal
iCal
Artikelaktionen
iCalendar
vCalendar
Versenden
Drucken
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
Powered by Plone
Gültiges XHTML
Gültiges CSS
Section 508
WCAG