185.278 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.

2022W, VU, 4.0h, 6.0EC, to be held in blocked form
TUWEL

Properties

  • Semester hours: 4.0
  • Credits: 6.0
  • Type: VU Lecture and Exercise
  • Format: Presence

Learning outcomes

After successful completion of the course, students are able to classify formal languages relative to the Chomsky hierarchy, develop and adequately manipulate formal grammars, as well as recognize limits of computability. Moreover successful participants have a deeper understanding of basic concepts of classical logic and formal specification, in particular with respect to the syntax/semantics division. They can formalize relatively complex sentences in classical first order logic and can use the tableau calculus to find formal proofs. Finally, they can judge the partial and/or total correctness of simple programs and evaluate the correctness of rules for correctness proofs.

 

Subject of course

Specification of of formal languages: regular and context free languages (deepening), Chomsky hierarchy, finite automata (deepening), push-down auomata, Turing machines, computability, problem reduction, elements of complexity theory: P, NP; syntax/semantics division, model structures, terms and boolean expressions, syntax and semantics of a simple programming language, classical propositional and first order logic: logical consequence and implication, concep of a logical calculus, semantic tableaux with and without identity, basic properties of first order logic (undecidability, completeness etc.); reasoning about programs: Hoare calculus

Teaching methods

  • formal specification
  • mathematical proofs
  • derivations in calculi
  • formalization in classical first order logic

Mode of examination

Immanent

Additional information

The following information is for the (regular) German track of the course only. If you have to get credits for this course to be admitted for a master program in English, please contact Prof. Agata Ciabatoni <agata@logic.at>. 

ECTS-Breakdown:

  • 40 hours: lecture time
  • 60 hours: exercises (homework - 4 blocks)
  • 20 hours: four online tests (incl. preparation)
  • 30 written examination (incl. preparation)

Total: 150 hours

Lecturers

Institute

Course dates

DayTimeDateLocationDescription
Mon13:00 - 15:0003.10.2022 - 23.01.2023Informatikhörsaal - ARCH-INF Lecture
Wed14:00 - 16:0005.10.2022 - 25.01.2023Informatikhörsaal - ARCH-INF Lecture
Wed16:00 - 18:0005.10.2022 - 21.12.2022Sem.R. DA grün 02 B Tutorium
Mon15:00 - 17:0010.10.2022 - 12.12.2022EI 3A Hörsaal Tutorium
Tue16:00 - 18:0018.10.2022EI 2 Pichelmayer HS - ETIT Tutorium
Fri13:00 - 15:0011.11.2022EI 10 Fritz Paschke HS - UIW Tutorium
Theoretical Computer Science and Logics - Single appointments
DayDateTimeLocationDescription
Mon03.10.202213:00 - 15:00Informatikhörsaal - ARCH-INF Lecture
Wed05.10.202214:00 - 16:00Informatikhörsaal - ARCH-INF Lecture
Wed05.10.202216:00 - 18:00Sem.R. DA grün 02 B Tutorium
Mon10.10.202213:00 - 15:00Informatikhörsaal - ARCH-INF Lecture
Mon10.10.202215:00 - 17:00EI 3A Hörsaal Tutorium
Wed12.10.202214:00 - 16:00Informatikhörsaal - ARCH-INF Lecture
Wed12.10.202216:00 - 18:00Sem.R. DA grün 02 B Tutorium
Mon17.10.202213:00 - 15:00Informatikhörsaal - ARCH-INF Lecture
Mon17.10.202215:00 - 17:00EI 3A Hörsaal Tutorium
Tue18.10.202216:00 - 18:00EI 2 Pichelmayer HS - ETIT Tutorium
Wed19.10.202214:00 - 16:00Informatikhörsaal - ARCH-INF Lecture
Wed19.10.202216:00 - 18:00Sem.R. DA grün 02 B Tutorium
Mon24.10.202213:00 - 15:00Informatikhörsaal - ARCH-INF Lecture
Mon24.10.202215:00 - 17:00EI 3A Hörsaal Tutorium
Mon31.10.202213:00 - 15:00Informatikhörsaal - ARCH-INF Lecture
Mon31.10.202215:00 - 17:00EI 3A Hörsaal Tutorium
Mon07.11.202213:00 - 15:00Informatikhörsaal - ARCH-INF Lecture
Mon07.11.202215:00 - 17:00EI 3A Hörsaal Tutorium
Wed09.11.202214:00 - 16:00Informatikhörsaal - ARCH-INF Lecture
Wed09.11.202216:00 - 18:00Sem.R. DA grün 02 B Tutorium
Course is held blocked

Examination modalities

If you have to get credits for this course to be admitted for a master program in English, please contact Prof. Agata Ciabatoni <agata@logic.at>. (Otherwise switch to the German version.)

Exams

DayTimeDateRoomMode of examinationApplication timeApplication modeExam
Tue17:00 - 19:0024.01.2023EI 9 Hlawka HS - ETIT assessed09.01.2023 10:00 - 23.01.2023 23:59TISS1. Prüfung WS22
Tue17:00 - 19:0024.01.2023EI 7 Hörsaal - ETIT assessed09.01.2023 10:00 - 23.01.2023 23:59TISS1. Prüfung WS22
Wed15:00 - 17:0010.05.2023FH Hörsaal 1 - MWB assessed19.04.2023 10:00 - 09.05.2023 12:00TISS3. Prüfung WS 2022
Wed15:00 - 17:0021.06.2023GM 1 Audi. Max.- ARCH-INF assessed31.05.2023 10:00 - 20.06.2023 12:00TISS4. Prüfung WS 2022
Wed15:00 - 17:0021.06.2023FH Hörsaal 1 - MWB assessed31.05.2023 10:00 - 20.06.2023 12:00TISS4. Prüfung WS 2022

Course registration

Begin End Deregistration end
03.10.2022 10:00 16.10.2022 23:59

Curricula

Study CodeSemesterPrecon.Info
033 531 Data Engineering & Statistics 2. Semester
033 533 Medical Informatics 3. Semester
033 533 Medical Informatics STEOP
Course requires the completion of the introductory and orientation phase
033 534 Software & Information Engineering 3. SemesterSTEOP
Course requires the completion of the introductory and orientation phase
033 535 Computer Engineering 3. SemesterSTEOP
Course requires the completion of the introductory and orientation phase
066 939 Business Engineering and Computer Science

Literature

All lecture material is available at the TUWEL site for this course..

Previous knowledge

  • Gundkonzepte formaler Sprachen: reguläre Sprachen, endliche Automaten, formale Grammatiken
  • Syntax und Semantik der klassischen Logik

Beides wie in 185.A06 Formale Modellierung vermittelt.

Preceding courses

Continuative courses

Language

German