# 192.071 Introduction to Theoretical Computer Science and Logics This course is in all assigned curricula part of the STEOP.\$(function(){PrimeFaces.cw("Tooltip","widget_j_id_20",{id:"j_id_20",showEffect:"fade",hideEffect:"fade",target:"isAllSteop"});});This course is in at least 1 assigned curriculum part of the STEOP.\$(function(){PrimeFaces.cw("Tooltip","widget_j_id_22",{id:"j_id_22",showEffect:"fade",hideEffect:"fade",target:"isAnySteop"});}); 2023S 2022S 2021S 2020S 2019S

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.

Immanent

## 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).

Not necessary

## Curricula

Study CodeSemesterPrecon.Info
033 526 Business Informatics 4. Semester
Course requires the completion of the introductory and orientation phase
033 532 Media Informatics and Visual Computing 4. Semester
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. Semester
Course requires the completion of the introductory and orientation phase

## Literature

No lecture notes are available.

German