146129 VO Theoretical Fundamentals of Computer Science

summer semester 2019 | Last update: 29.01.2019 Place course on memo list
146129
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