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.

2019W, VU, 4.0h, 6.0EC, to be held in blocked form
This course is evaluated following the new mode. Learn more

Course evaluation

Properties

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

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

  • Die erste Vorlesung zu "Theoretische Informatik und Logik"  im WS 2019 findet am Mittwoch 2.10., 15.15  - 16.45, im EI 7 statt.

  • Anmeldung zur Lehrveranstaltung über TISS zwischen 02.10.2019, 10:00 und 09.10.2019, 23:59 

  • Absolvierung eines Eingangstests im TUWEL-Online-Kurs zwischen 3.10. und 13.10.2019 (nur möglich nach Anmeldung in TISS). Der Eingangstests besteht aus einfachen Fragen zum Stoff der ersten beiden Vorlesungseinheiten, sowie zur Organisation der Lehrveranstaltung.

ECTS breakdown:

  • 40 hours: lecture time
  • 60 hours: exercises (homework - 4 blocks)
  • 20 hours: two verbal examinations (incl. preparation)
  • 30 written examination (incl. preparation)

Total: 150 hours

Lecturers

Institute

Course dates

DayTimeDateLocationDescription
Wed15:00 - 17:0002.10.2019 - 15.01.2020EI 7 Hörsaal Vorlesung
Mon15:00 - 17:0007.10.2019 - 20.01.2020EI 7 Hörsaal Vorlesung
Mon17:00 - 18:0007.10.2019 - 09.12.2019EI 10 Fritz Paschke HS Tutorium
Thu17:00 - 19:0010.10.2019 - 12.12.2019EI 2 Pichelmayer HS Tutorium
Fri13:00 - 15:0011.10.2019HS 13 Ernst Melan Tutorium
Fri12:00 - 14:0018.10.2019FH 8 Nöbauer HS Tutorium
Mon17:00 - 18:0021.10.2019EI 7 Hörsaal Tutorial
Thu14:00 - 16:0031.10.2019EI 5 Hochenegg HS Tutorium
09:00 - 18:0004.11.2019 - 08.11.2019Informatiklabor Breakout Feedback UE1
Thu17:00 - 19:0007.11.2019EI 2 Pichelmayer HS Tutorium
Fri13:00 - 15:0008.11.2019EI 10 Fritz Paschke HS Tutorium
09:00 - 19:0012.11.2019 - 14.11.2019Informatiklabor Breakout Prüfungsgespräch 1
Wed17:00 - 19:0013.11.2019EI 5 Hochenegg HS Tutorium
Mon09:00 - 19:0018.11.2019Informatiklabor Breakout Prüfungsgespräch 1
09:00 - 18:0019.11.2019 - 22.11.2019Informatiklabor Breakout Feedback UE3
09:00 - 18:0025.11.2019 - 26.11.2019Informatiklabor Breakout Feedback UE2
Fri14:00 - 16:0029.11.2019EI 2 Pichelmayer HS Tutorium
09:00 - 18:0009.12.2019 - 13.12.2019Informatiklabor Breakout Feedback UE3
Fri14:00 - 16:0013.12.2019EI 2 Pichelmayer HS Tutorium
Tue09:00 - 18:0007.01.2020Informatiklabor Breakout Abgabe-Gespräche TIL
Tue11:00 - 19:0007.01.2020Seminarraum FAV 01 C (Seminarraum 188/2) Abgabe-Gespräche TIL
09:00 - 18:0008.01.2020 - 10.01.2020Informatiklabor Breakout Abgabe-Gespräche TIL
Fri09:00 - 17:0010.01.2020Seminarraum FAV EG B (Seminarraum von Neumann) Abgabe-Gespräche TIL
09:00 - 18:0013.01.2020 - 20.01.2020Informatiklabor Breakout Abgabegespräche TIL
Theoretical Computer Science and Logics - Single appointments
DayDateTimeLocationDescription
Wed02.10.201915:00 - 17:00EI 7 Hörsaal Vorlesung
Mon07.10.201915:00 - 17:00EI 7 Hörsaal Vorlesung
Mon07.10.201917:00 - 18:00EI 10 Fritz Paschke HS Tutorium
Wed09.10.201915:00 - 17:00EI 7 Hörsaal Vorlesung
Thu10.10.201917:00 - 19:00EI 2 Pichelmayer HS Tutorium
Fri11.10.201913:00 - 15:00HS 13 Ernst Melan Tutorium
Mon14.10.201915:00 - 17:00EI 7 Hörsaal Vorlesung
Mon14.10.201917:00 - 18:00EI 10 Fritz Paschke HS Tutorium
Wed16.10.201915:00 - 17:00EI 7 Hörsaal Vorlesung
Thu17.10.201917:00 - 19:00EI 2 Pichelmayer HS Tutorium
Fri18.10.201912:00 - 14:00FH 8 Nöbauer HS Tutorium
Mon21.10.201915:00 - 17:00EI 7 Hörsaal Vorlesung
Mon21.10.201917:00 - 18:00EI 10 Fritz Paschke HS Tutorium
Mon21.10.201917:00 - 18:00EI 7 Hörsaal Tutorial
Wed23.10.201915:00 - 17:00EI 7 Hörsaal Vorlesung
Thu24.10.201917:00 - 19:00EI 2 Pichelmayer HS Tutorium
Mon28.10.201915:00 - 17:00EI 7 Hörsaal Vorlesung
Mon28.10.201917:00 - 18:00EI 10 Fritz Paschke HS Tutorium
Wed30.10.201915:00 - 17:00EI 7 Hörsaal Vorlesung
Thu31.10.201914:00 - 16:00EI 5 Hochenegg HS 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
Wed15:00 - 17:0022.01.2020EI 7 Hörsaal assessed06.01.2020 00:00 - 21.01.2020 23:59TISS1. Prüfung EI7 (Parallel mit AM und INF HS)
Wed15:00 - 17:0022.01.2020GM 1 Audi. Max. assessed06.01.2020 09:00 - 21.01.2020 23:59TISS1. Prüfung AudiMax (parallel mit EI7 und INF HS)
Wed15:00 - 17:0022.01.2020Informatikhörsaal assessed13.01.2020 11:30 - 21.01.2020 23:59TISS1. Prüfung INF-HS (Parallel mit AM und EI7)
Wed16:00 - 18:0018.03.2020EI 7 Hörsaal assessed25.02.2020 00:00 - 17.03.2020 23:59TISS2. TIL Prüfung
Mon17:00 - 19:0004.05.2020EI 7 Hörsaal assessed12.04.2020 00:00 - 03.05.2020 00:00TISS3. TIL Prüfung
Mon17:00 - 19:0022.06.2020FH Hörsaal 1 assessed09.06.2020 08:00 - 20.06.2020 23:59TISS4. TIL-Prüfung FH1 (parallel mit HS8)
Mon17:00 - 19:0022.06.2020HS 8 Heinz Parkus assessed09.06.2020 10:00 - 21.06.2020 23:59TISS4. TIL-Prüfung HS8 (parallel mit FH1)

Course registration

Begin End Deregistration end
02.10.2019 10:00 11.10.2019 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