146112 Principles of Theoretical Computer Engineering
winter semester 2014/2015 | Last update: 30.11.2023 | Place course on memo listStudents
-know fundamental concepts of automata, formal languages, and computability
-understand the relations between these concepts
-are able to understand further theoretical work based on the principles
Propositional logic; automata theory and application; conventional languages; formalizing of languages/grammars; syntax and semantics in languages; computability; Turing-machine; halting problem and decidability; complexity of algorithms; p_ and NP-classes; procedures for solving NP problems;
Lecture, assessment is based on a single examination at the end of the course.
Course examination according to § 7, statute section on "study-law regulations"
R. Socher, Theoretische Grundlagen der Informatik, Hanser, 2007
J.E. Hopcroft, R. Motwani, J.D. Ullman: Einführung in die Automatentheorie, formale Sprachen und Komplexitätstheorie, Pearson, 2002
K.W.Wagner, Theoretische Informatik, Springer, 2003
R.Winter, Theoretische Informatik, Oldenbourg, 2002
written exam 90 min
|
Group 0
|
||||
|---|---|---|---|---|
| Date | Time | Location | ||
|
Mon 2014-10-06
|
13.15 - 16.45 | UMIT UMIT | SR108 | |
|
Mon 2014-10-13
|
13.15 - 16.45 | UMIT UMIT | SR106 | |
|
Mon 2014-10-20
|
13.15 - 16.45 | UMIT UMIT | SR106 | |
|
Mon 2014-10-27
|
13.15 - 16.45 | UMIT UMIT | SR106 | |
|
Mon 2014-11-03
|
13.15 - 16.45 | UMIT UMIT | SR106 | |
|
Mon 2014-11-10
|
13.15 - 16.45 | UMIT UMIT | SR106 | |
|
Mon 2014-11-17
|
13.15 - 16.45 | UMIT UMIT | SR106 | |
|
Mon 2014-11-24
|
13.15 - 16.45 | UMIT UMIT | SR106 | |
|
Mon 2014-12-01
|
13.15 - 16.45 | UMIT UMIT | SR106 | |
|
Mon 2014-12-15
|
13.15 - 16.45 | UMIT UMIT | SR106 | |