146129 VO Theoretical Fundamentals of Computer Science
summer semester 2019 | Last update: 29.01.2019 | Place course on memo list146129
VO Theoretical Fundamentals of Computer Science
VO 2
2,5
Block
annually
German
Students
- 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".
Will be discussed in the first lesson.
see dates
Group 0
|
||||
---|---|---|---|---|
Date | Time | Location | ||
Thu 2019-05-16
|
13.15 - 16.45 | UMIT UMIT | SR101 | |
Sat 2019-05-18
|
10.00 - 13.30 | UMIT UMIT | SR101 | |
Sat 2019-05-25
|
10.00 - 13.30 | UMIT UMIT | SR101 | |
Mon 2019-05-27
|
13.15 - 16.45 | UMIT UMIT | SR101 | |
Mon 2019-05-27
|
13.15 - 16.45 | UMIT UMIT | SR101 | |
Wed 2019-05-29
|
13.15 - 16.45 | UMIT UMIT | SR101 | |
Thu 2019-06-13
|
13.15 - 16.45 | UMIT UMIT | SR101 | |
Wed 2019-06-26
|
13.15 - 16.45 | UMIT UMIT | HS002 |