192.071 Introduction to Theoretical Computer Science and Logics
This course is in all assigned curricula part of the STEOP.
This course is in at least 1 assigned curriculum part of the STEOP.

2022S, VU, 2.0h, 3.0EC, to be held in blocked form

Properties

  • Semester hours: 2.0
  • Credits: 3.0
  • Type: VU Lecture and Exercise
  • Format: Distance Learning

Learning outcomes

After successful completion of the course, students are able to define the language families wihin the Chomsky hierarchy, to give examples from these language families and to solve given examples. In the area of logic, students are able to find models and counter-examples for given predicate logic formulas as well as to define the basics of the Hilbert and tableau calculus and to solve simple examples in these calculi.

Subject of course

Specification of of formal languages: regular and context free languages (deepening), Chomsky hierarchy, finite automata (deepening), push-down auomata, Turing machines; elements of complexity theory; syntax-semantic interface, model structures, terms and boolean expressions; selected topics of classical propositional and first order logic, Hilbert and tableau calculus.

Teaching methods

Presentation of the main topics and of typical examples (only online).

2 exercise sheets to be elaborated before the final oral exam.

The course is only given online via ZOOM:
https://tuwien.zoom.us/j/92004153665?pwd=a1VEQ21mOFFoQ0VXY2habllPS0FkUT09

First lecture: Tuesday, March 1st, 2022, 17:15

Further information only via TISS! No TUWEL-course!

Material will be made available in the TU owncloud, acces link is only provided in the lecture.

Mode of examination

Immanent

Lecturers

Institute

Course dates

DayTimeDateLocationDescription
Tue17:00 - 19:0001.03.2022 - 14.06.2022 OnlineLecture
Introduction to Theoretical Computer Science and Logics - Single appointments
DayDateTimeLocationDescription
Tue01.03.202217:00 - 19:00 OnlineLecture
Tue08.03.202217:00 - 19:00 OnlineLecture
Tue15.03.202217:00 - 19:00 OnlineLecture
Tue22.03.202217:00 - 19:00 OnlineLecture
Tue29.03.202217:00 - 19:00 OnlineLecture
Tue05.04.202217:00 - 19:00 OnlineLecture
Tue26.04.202217:00 - 19:00 OnlineLecture
Tue03.05.202217:00 - 19:00 OnlineLecture
Tue10.05.202217:00 - 19:00 OnlineLecture
Tue17.05.202217:00 - 19:00 OnlineLecture
Tue24.05.202217:00 - 19:00 OnlineLecture
Tue31.05.202217:00 - 19:00 OnlineLecture
Tue14.06.202217:00 - 19:00 OnlineLecture
Course is held blocked

Examination modalities

2 exercise sheets to be elaborated before the final oral exam.

Final oral exam (only online).

Course registration

Not necessary

Curricula

Study CodeSemesterPrecon.Info
033 526 Business Informatics 4. SemesterSTEOP
Course requires the completion of the introductory and orientation phase
033 532 Media Informatics and Visual Computing 4. SemesterSTEOP
Course requires the completion of the introductory and orientation phase
066 504 Master programme Embedded Systems 1. Semester
884 Subject: Informatics und Informatics Management 4. SemesterSTEOP
Course requires the completion of the introductory and orientation phase

Literature

No lecture notes are available.

Language

German