Theory (MSc) Informatik III (BSc) Summer term 2021 Logic and Verification (BSc) Algorithmische Spieltheorie (MSc) Proseminar (BSc) Winter term 2020/21 Complexity Theory (MSc) Informatik III (BSc) Summer […] 2018/2019 Complexity Theory (MSc) Informatik III (BSc) Summer term 2018 Logic and Verification (BSc) Algorithmische Spieltheorie (MSc) Proseminar (BSc) Winter term 2017/2018 Informatik III (BSc) Game Theory (MSc) […] Complexity Theory (MSc) Informatik III (BSc) Summer term 2016 Fortgeschrittenenprojekt/Projekt im Bachelor Logic and Verification (BSc) Winter term 2015/2016 Proseminar (BSc) Informatik III (BSc) Summer term
Courses Overview Bachelor Courses We are teaching the following Bachelor courses: Informatik III: Chomsky hierarchy, finite automata, push-down automata, Turing machines, (un-) decidability, P/NP, basics […] Verification: Sentential Logic, Linear-Time Properties, First Order Logic, Hoare Calculus, Prolog Informatikwerkstatt Anwendungssysteme: A fun introduction to programming for first-term students Master Courses
Contact E-Mail: umut.durak @ tu-clausthal . de Telephone: +49 5323 72-7129 Address Institut für Informatik Big Data and Technical Information Systems Albrecht-von-Groddeck-Str. 7 38678 Clausthal-Zellerfeld
Technische Universität Clausthal Institut für Informatik Gebäude D8, Raum 211 Julius-Albert-Str. 4 38678 Clausthal-Zellerfeld Address Institut für Informatik Big Data and Technical Information Systems J
Technische Universität Clausthal Institut für Informatik Gebäude D8, Raum 211 Julius-Albert-Str. 4 38678 Clausthal-Zellerfeld Address Institut für Informatik Big Data and Technical Information Systems J
E-Mail: denis.kruschinski @ tu-clausthal . de Telephone: +49 5323 72-7146 Address Institut für Informatik Big Data and Technical Information Systems Julius-Albert-Str. 4 38678 Clausthal-Zellerfeld Raum
Contact E-Mail: sven.hartmann @ tu-clausthal . de Telephone: +49 5323 72-7118 Address Institut für Informatik Big Data and Technical Information Systems Julius-Albert-Str. 4 38678 Clausthal-Zellerfeld Raum
Contact E-Mail: sarmad.rezayat @ tu-clausthal . de Telephone: +49 5323 72-7119 Address Institut für Informatik Big Data and Technical Information Systems Julius-Albert-Str. 4 38678 Clausthal-Zellerfeld Raum
Unsere Webseite verwendet Cookies. Diese haben zwei Funktionen: Zum einen sind sie erforderlich für die grundlegende Funktionalität unserer Website. Zum anderen können wir mit Hilfe der Cookies unsere Inhalte für Sie immer weiter verbessern. Hierzu werden u. a. pseudonymisierte Daten von Website-Besuchern gesammelt und ausgewertet. Mit dem Klick auf Einstellungen können Sie zudem die einzelnen Cookies auswählen, welche Sie akzeptieren wollen. Das Einverständnis in die Verwendung der Cookies können Sie jederzeit, auch teilweise, widerrufen. Weitere Informationen zu Cookies auf dieser Website finden Sie in unserer Datenschutzerklärung und zu uns im Impressum.
