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.

2020W, 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: Hybrid

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
Mon16:00 - 18:0005.10.2020 - 25.01.2021Informatikhörsaal - ARCH-INF Tutorial
Wed14:00 - 16:0007.10.2020 - 27.01.2021Informatikhörsaal - ARCH-INF Tutorial
Mon15:00 - 17:0023.11.2020 online (ZOOM) (LIVE)Tutorial
Tue14:00 - 16:0001.12.2020 online (ZOOM) (LIVE)Tutorium
Theoretical Computer Science and Logics - Single appointments
DayDateTimeLocationDescription
Mon05.10.202016:00 - 18:00Informatikhörsaal - ARCH-INF Tutorial
Wed07.10.202014:00 - 16:00Informatikhörsaal - ARCH-INF Tutorial
Mon12.10.202016:00 - 18:00Informatikhörsaal - ARCH-INF Tutorial
Wed14.10.202014:00 - 16:00Informatikhörsaal - ARCH-INF Tutorial
Mon19.10.202016:00 - 18:00Informatikhörsaal - ARCH-INF Tutorial
Wed21.10.202014:00 - 16:00Informatikhörsaal - ARCH-INF Tutorial
Wed28.10.202014:00 - 16:00Informatikhörsaal - ARCH-INF Tutorial
Wed04.11.202014:00 - 16:00Informatikhörsaal - ARCH-INF Tutorial
Mon23.11.202015:00 - 17:00 online (ZOOM)Tutorial
Tue01.12.202014:00 - 16:00 online (ZOOM)Tutorium
Wed02.12.202014:00 - 16:00Informatikhörsaal - ARCH-INF Tutorial
Mon07.12.202016:00 - 18:00Informatikhörsaal - ARCH-INF Tutorial
Wed09.12.202014:00 - 16:00Informatikhörsaal - ARCH-INF Tutorial
Mon14.12.202016:00 - 18:00Informatikhörsaal - ARCH-INF Tutorial
Wed16.12.202014:00 - 16:00Informatikhörsaal - ARCH-INF Tutorial
Mon11.01.202116:00 - 18:00Informatikhörsaal - ARCH-INF Tutorial
Wed13.01.202114:00 - 16:00Informatikhörsaal - ARCH-INF Tutorial
Mon18.01.202116:00 - 18:00Informatikhörsaal - ARCH-INF Tutorial
Wed20.01.202114:00 - 16:00Informatikhörsaal - ARCH-INF Tutorial
Mon25.01.202116:00 - 18:00Informatikhörsaal - ARCH-INF Tutorial
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
Fri14:00 - 16:0028.01.2022GM 1 Audi. Max.- ARCH-INF written27.01.2022 00:00 - 27.01.2022 23:59TISS1. Prüfung WS2021
Fri14:00 - 16:0028.01.2022Informatikhörsaal - ARCH-INF written27.01.2022 00:00 - 27.01.2022 23:59TISS1. Prüfung WS2021
Fri14:00 - 16:0028.01.2022EI 7 Hörsaal - ETIT written27.01.2022 00:00 - 27.01.2022 23:59TISS1. Prüfung WS2021

Course registration

Begin End Deregistration end
01.10.2020 10:00 18.10.2020 23:59

Curricula

Study CodeSemesterPrecon.Info
033 531 Data Engineering & Statistics 2. Semester
033 533 Medical Informatics 3. SemesterSTEOP
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