On July 30th, 2024, due to an important database update, there will be service interruptions in the Student Self-Service and Workforce Management areas between 8 AM and 11 AM. Thank you for your understanding.

185.291 Formal Methods in Computer Science
This course is in all assigned curricula part of the STEOP.
This course is in at least 1 assigned curriculum part of the STEOP.

2019S, VU, 4.0h, 6.0EC
TUWEL

Properties

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

Aim of course

Improving the ability to think and argue in an abstract, formal and logically consistent way; training in specific formal methods of computer science.

Subject of course

Introduction to complexity theory: problem reductions, P versus NP, undecidability; SAT solving and its applications in computer science; introduction to the formal semantics of programming languages; formal verification of programs; model checking and its applications in hard- and software verification.

Additional information

Ects breakdown

  2 h introduction (first meeting)
 60 h lecture (20 dates à 2h + 1h preparation)
 40 h exercise sheets (4 sheets, 10 exercises/sheet, 1h/exercise)
 16 h discussion of exercises (8 dates à 2h)
 30 h preparation for written exam
  2 h written exam
-----------------------------------------------------------
150 h = 6 Ects

Lecturers

Institute

Course dates

DayTimeDateLocationDescription
Mon13:00 - 15:0004.03.2019 - 27.05.2019EI 8 Pötzl HS - QUER Lecture
Tue16:00 - 18:0005.03.2019 - 28.05.2019EI 8 Pötzl HS - QUER Vorlesung
Wed13:00 - 15:0006.03.2019 - 12.06.2019EI 8 Pötzl HS - QUER Lecture
Formal Methods in Computer Science - Single appointments
DayDateTimeLocationDescription
Mon04.03.201913:00 - 15:00EI 8 Pötzl HS - QUER Lecture
Tue05.03.201916:00 - 18:00EI 8 Pötzl HS - QUER Vorlesung
Wed06.03.201913:00 - 15:00EI 8 Pötzl HS - QUER Lecture
Mon11.03.201913:00 - 15:00EI 8 Pötzl HS - QUER Lecture
Tue12.03.201916:00 - 18:00EI 8 Pötzl HS - QUER Vorlesung
Wed13.03.201913:00 - 15:00EI 8 Pötzl HS - QUER Lecture
Mon18.03.201913:00 - 15:00EI 8 Pötzl HS - QUER Lecture
Tue19.03.201916:00 - 18:00EI 8 Pötzl HS - QUER Vorlesung
Wed20.03.201913:00 - 15:00EI 8 Pötzl HS - QUER Lecture
Mon25.03.201913:00 - 15:00EI 8 Pötzl HS - QUER Lecture
Tue26.03.201916:00 - 18:00EI 8 Pötzl HS - QUER Vorlesung
Wed27.03.201913:00 - 15:00EI 8 Pötzl HS - QUER Lecture
Mon01.04.201913:00 - 15:00EI 8 Pötzl HS - QUER Lecture
Tue02.04.201916:00 - 18:00EI 8 Pötzl HS - QUER Vorlesung
Wed03.04.201913:00 - 15:00EI 8 Pötzl HS - QUER Lecture
Mon08.04.201913:00 - 15:00EI 8 Pötzl HS - QUER Lecture
Tue09.04.201916:00 - 18:00EI 8 Pötzl HS - QUER Vorlesung
Wed10.04.201913:00 - 15:00EI 8 Pötzl HS - QUER Lecture
Mon29.04.201913:00 - 15:00EI 8 Pötzl HS - QUER Lecture
Tue30.04.201916:00 - 18:00EI 8 Pötzl HS - QUER Vorlesung

Examination modalities

The assessment is based on the final written exam (max. 60 points). The grade is determined according to the following table:

  • 0-29 points: failed (nicht genügend, 5)
  • 30-35 points: passed (genügend, 4)
  • 36-41 Punkte: satisfactory (befriedigend, 3)
  • 42-47 Punkte: good (gut, 2)
  • 48-60 Punkte: excellent (sehr gut, 1)

Exams

DayTimeDateRoomMode of examinationApplication timeApplication modeExam
Tue15:00 - 18:0021.01.2025Informatikhörsaal - ARCH-INF written29.12.2024 00:00 - 17.01.2025 23:59TISSExam 1 WS
Mon15:00 - 18:0024.03.2025Informatikhörsaal - ARCH-INF written04.03.2025 00:00 - 21.03.2025 23:59TISSExam 2 WS
Mon15:00 - 18:0026.05.2025Informatikhörsaal - ARCH-INF written14.04.2025 09:00 - 23.05.2025 23:59TISSExam 3 WS
Mon15:00 - 18:0023.06.2025Informatikhörsaal - ARCH-INF written02.06.2025 09:00 - 20.06.2025 23:59TISSExam 4 WS

Course registration

Begin End Deregistration end
14.02.2019 00:00 17.03.2019 23:59 17.03.2019 23:59

Curricula

Literature

For slides end exercises see the TUWEL online course.

Miscellaneous

Language

English