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.
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.
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 GoToMeeting:https://global.gotomeeting.com/join/142771901Link for downloading the app GoToMeeting: https://global.gotomeeting.com/install/534516509
First lecture: Tuesday, March 2nd, 2021, 16: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.
Final oral exam (only online).
Not necessary
