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

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 Lecture
Tue16:00 - 18:0005.03.2019 - 28.05.2019EI 8 Pötzl HS Vorlesung
Wed13:00 - 15:0006.03.2019 - 12.06.2019EI 8 Pötzl HS Lecture
Formal Methods in Computer Science - Single appointments
DayDateTimeLocationDescription
Mon04.03.201913:00 - 15:00EI 8 Pötzl HS Lecture
Tue05.03.201916:00 - 18:00EI 8 Pötzl HS Vorlesung
Wed06.03.201913:00 - 15:00EI 8 Pötzl HS Lecture
Mon11.03.201913:00 - 15:00EI 8 Pötzl HS Lecture
Tue12.03.201916:00 - 18:00EI 8 Pötzl HS Vorlesung
Wed13.03.201913:00 - 15:00EI 8 Pötzl HS Lecture
Mon18.03.201913:00 - 15:00EI 8 Pötzl HS Lecture
Tue19.03.201916:00 - 18:00EI 8 Pötzl HS Vorlesung
Wed20.03.201913:00 - 15:00EI 8 Pötzl HS Lecture
Mon25.03.201913:00 - 15:00EI 8 Pötzl HS Lecture
Tue26.03.201916:00 - 18:00EI 8 Pötzl HS Vorlesung
Wed27.03.201913:00 - 15:00EI 8 Pötzl HS Lecture
Mon01.04.201913:00 - 15:00EI 8 Pötzl HS Lecture
Tue02.04.201916:00 - 18:00EI 8 Pötzl HS Vorlesung
Wed03.04.201913:00 - 15:00EI 8 Pötzl HS Lecture
Mon08.04.201913:00 - 15:00EI 8 Pötzl HS Lecture
Tue09.04.201916:00 - 18:00EI 8 Pötzl HS Vorlesung
Wed10.04.201913:00 - 15:00EI 8 Pötzl HS Lecture
Mon29.04.201913:00 - 15:00EI 8 Pötzl HS Lecture
Tue30.04.201916:00 - 18:00EI 8 Pötzl HS 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
Mon16:00 - 19:0027.01.2020EI 9 Hlawka HS assessed10.01.2020 00:00 - 23.01.2020 08:00TISSWS2019 Termin 1
Fri16:00 - 18:0020.03.2020EI 9 Hlawka HS assessed05.03.2020 00:00 - 19.03.2020 08:00TISS2018 Termin 2
Fri16:00 - 18:0008.05.2020EI 9 Hlawka HS assessed24.04.2020 00:00 - 07.05.2020 08:00TISS2018 Termin 3

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