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

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 - ETIT Vorlesung
Mon15:00 - 17:0007.10.2019 - 20.01.2020EI 7 Hörsaal - ETIT Vorlesung
Mon17:00 - 18:0007.10.2019 - 09.12.2019EI 10 Fritz Paschke HS - ETIT Tutorium
Thu17:00 - 19:0010.10.2019 - 12.12.2019EI 2 Pichelmayer HS Tutorium
Fri13:00 - 15:0011.10.2019HS 13 Ernst Melan - RPL Tutorium
Fri12:00 - 14:0018.10.2019FH 8 Nöbauer HS - MATH Tutorium
Mon17:00 - 18:0021.10.2019EI 7 Hörsaal - ETIT 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 - ETIT 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 - ETIT Vorlesung
Mon07.10.201915:00 - 17:00EI 7 Hörsaal - ETIT Vorlesung
Mon07.10.201917:00 - 18:00EI 10 Fritz Paschke HS - ETIT Tutorium
Wed09.10.201915:00 - 17:00EI 7 Hörsaal - ETIT Vorlesung
Thu10.10.201917:00 - 19:00EI 2 Pichelmayer HS Tutorium
Fri11.10.201913:00 - 15:00HS 13 Ernst Melan - RPL Tutorium
Mon14.10.201915:00 - 17:00EI 7 Hörsaal - ETIT Vorlesung
Mon14.10.201917:00 - 18:00EI 10 Fritz Paschke HS - ETIT Tutorium
Wed16.10.201915:00 - 17:00EI 7 Hörsaal - ETIT Vorlesung
Thu17.10.201917:00 - 19:00EI 2 Pichelmayer HS Tutorium
Fri18.10.201912:00 - 14:00FH 8 Nöbauer HS - MATH Tutorium
Mon21.10.201915:00 - 17:00EI 7 Hörsaal - ETIT Vorlesung
Mon21.10.201917:00 - 18:00EI 10 Fritz Paschke HS - ETIT Tutorium
Mon21.10.201917:00 - 18:00EI 7 Hörsaal - ETIT Tutorial
Wed23.10.201915:00 - 17:00EI 7 Hörsaal - ETIT Vorlesung
Thu24.10.201917:00 - 19:00EI 2 Pichelmayer HS Tutorium
Mon28.10.201915:00 - 17:00EI 7 Hörsaal - ETIT Vorlesung
Mon28.10.201917:00 - 18:00EI 10 Fritz Paschke HS - ETIT Tutorium
Wed30.10.201915:00 - 17:00EI 7 Hörsaal - ETIT 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
Thu15:00 - 17:0003.09.2020FH Hörsaal 1 - MWB assessed15.08.2020 12:00 - 01.09.2020 23:59TISSTIL Prüfung (3. Termin, parallele Hörsäle)
Thu15:00 - 17:0003.09.2020GM 1 Audi. Max.- ARCH-INF assessed15.08.2020 12:00 - 01.09.2020 23:59TISSTIL Prüfung (3. Termin, parallele Hörsäle)
Thu15:00 - 17:0003.09.2020EI 7 Hörsaal - ETIT assessed15.08.2020 12:00 - 01.09.2020 23:59TISSTIL Prüfung (3. Termin, parallele Hörsäle)
Tue15:00 - 17:0029.09.2020FH Hörsaal 1 - MWB assessed15.09.2020 12:00 - 27.09.2020 23:59TISSTIL Prüfung (4. Termin, parallele Hörsäle)
Tue15:00 - 17:0029.09.2020GM 2 Radinger Hörsaal - TCH assessed15.09.2020 12:00 - 27.09.2020 23:59TISSTIL Prüfung (4. Termin, parallele Hörsäle)
Tue15:00 - 17:0029.09.2020GM 1 Audi. Max.- ARCH-INF assessed15.09.2020 12:00 - 27.09.2020 23:59TISSTIL Prüfung (4. Termin, parallele Hörsäle)
Wed15:00 - 17:0027.01.2021EI 7 Hörsaal - ETIT assessed11.01.2021 00:00 - 26.01.2021 23:59TISS1. Prüfung EI7 (Parallel mit AM und INF HS)
Wed15:00 - 17:0027.01.2021GM 1 Audi. Max.- ARCH-INF assessed11.01.2021 09:00 - 26.01.2021 23:59TISS1. Prüfung AudiMax (parallel mit EI7 und INF HS)
Wed15:00 - 17:0027.01.2021Informatikhörsaal assessed18.01.2021 11:30 - 26.01.2021 23:59TISS1. Prüfung INF-HS (Parallel mit AM und EI7)
Wed - 17.03.2021assessed23.02.2021 00:00 - 16.03.2021 23:59TISS2. TIL Prüfung (EI7, parallel mit FH1)
Wed - 17.03.2021written10.03.2021 14:00 - 16.03.2021 23:59TISS2. TIL Prüfung (FH1, parallel mit EI7)
Mon - 03.05.2021assessed11.04.2021 00:00 - 02.05.2021 00:00TISS3. TIL Prüfung (EI7, parallel zu FH1)
Mon15:00 - 17:0007.06.2021GM 1 Audi. Max.- ARCH-INF written25.05.2021 12:00 - 04.06.2021 23:59TISSTIL Prüfung (2. Termin, parallele Hörsäle)
Mon15:00 - 17:0007.06.2021GM 5 Praktikum HS- ARCH-INF written25.05.2021 12:00 - 04.06.2021 23:59TISSTIL Prüfung (2. Termin, parallele Hörsäle)
Mon15:00 - 17:0007.06.2021Informatikhörsaal written&oral25.05.2021 12:00 - 04.06.2021 23:59TISSTIL Prüfung (2. Termin, parallele Hörsäle)
Mon15:00 - 17:0007.06.2021GM 5 Praktikum HS- ARCH-INF written&oral25.05.2021 12:00 - 04.06.2021 23:59TISSTIL Prüfung (2. Termin, parallele Hörsäle)
Mon15:00 - 17:0007.06.2021GM 1 Audi. Max.- ARCH-INF written&oral25.05.2021 12:00 - 04.06.2021 23:59TISSTIL Prüfung (2. Termin, parallele Hörsäle)
Mon15:00 - 17:0007.06.2021EI 7 Hörsaal - ETIT written&oral25.05.2021 12:00 - 04.06.2021 23:59TISSTIL Prüfung (2. Termin, parallele Hörsäle)
Mon15:00 - 17:0007.06.2021FH Hörsaal 1 - MWB written&oral25.05.2021 12:00 - 04.06.2021 23:59TISSTIL Prüfung (2. Termin, parallele Hörsäle)
Mon15:00 - 17:0007.06.2021EI 7 Hörsaal - ETIT written25.05.2021 12:00 - 04.06.2021 23:59TISSTIL Prüfung (2. Termin, parallele Hörsäle)
Mon15:00 - 17:0007.06.2021Informatikhörsaal written25.05.2021 12:00 - 04.06.2021 23:59TISSTIL Prüfung (2. Termin, parallele Hörsäle)
Mon15:00 - 17:0007.06.2021FH Hörsaal 1 - MWB written25.05.2021 12:00 - 04.06.2021 23:59TISSTIL Prüfung (2. Termin, parallele Hörsäle)
Mon - 21.06.2021assessed08.06.2021 10:00 - 20.06.2021 23:59TISS4. TIL-Prüfung HS8 (parallel mit FH1 & FH8)
Mon - 21.06.2021assessed08.06.2021 08:00 - 19.06.2021 23:59TISS4.TIL-Prüfung FH8 (parallel mit FH1 & HS8)
Thu15:00 - 17:0002.09.2021FH Hörsaal 1 - MWB assessed14.08.2021 12:00 - 31.08.2021 23:59TISSTIL Prüfung (3. Termin, parallele Hörsäle)
Thu15:00 - 17:0002.09.2021GM 1 Audi. Max.- ARCH-INF assessed14.08.2021 12:00 - 31.08.2021 23:59TISSTIL Prüfung (3. Termin, parallele Hörsäle)
Thu15:00 - 17:0002.09.2021EI 7 Hörsaal - ETIT assessed14.08.2021 12:00 - 31.08.2021 23:59TISSTIL Prüfung (3. Termin, parallele Hörsäle)
Tue15:00 - 17:0028.09.2021FH Hörsaal 1 - MWB assessed14.09.2021 12:00 - 26.09.2021 23:59TISSTIL Prüfung (4. Termin, parallele Hörsäle)
Tue15:00 - 17:0028.09.2021GM 1 Audi. Max.- ARCH-INF assessed14.09.2021 12:00 - 26.09.2021 23:59TISSTIL Prüfung (4. Termin, parallele Hörsäle)

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