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.

2016W, 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:0003.10.2016 - 23.01.2017EI 10 Fritz Paschke HS - UIW Plenary lecture
Wed12:00 - 14:0005.10.2016 - 25.01.2017EI 9 Hlawka HS - ETIT Lecture
Tue14:30 - 16:3011.10.2016 - 24.01.2017EI 10 Fritz Paschke HS - UIW Exercises
Formal Methods in Computer Science - Single appointments
DayDateTimeLocationDescription
Mon03.10.201613:00 - 15:00EI 10 Fritz Paschke HS - UIW Plenary lecture
Wed05.10.201612:00 - 14:00EI 9 Hlawka HS - ETIT Lecture
Mon10.10.201613:00 - 15:00EI 10 Fritz Paschke HS - UIW Plenary lecture
Tue11.10.201614:30 - 16:30EI 10 Fritz Paschke HS - UIW Exercises
Wed12.10.201612:00 - 14:00EI 9 Hlawka HS - ETIT Lecture
Mon17.10.201613:00 - 15:00EI 10 Fritz Paschke HS - UIW Plenary lecture
Tue18.10.201614:30 - 16:30EI 10 Fritz Paschke HS - UIW Exercises
Wed19.10.201612:00 - 14:00EI 9 Hlawka HS - ETIT Lecture
Mon24.10.201613:00 - 15:00EI 10 Fritz Paschke HS - UIW Plenary lecture
Tue25.10.201614:30 - 16:30EI 10 Fritz Paschke HS - UIW Exercises
Mon31.10.201613:00 - 15:00EI 10 Fritz Paschke HS - UIW Plenary lecture
Mon07.11.201613:00 - 15:00EI 10 Fritz Paschke HS - UIW Plenary lecture
Tue08.11.201614:30 - 16:30EI 10 Fritz Paschke HS - UIW Exercises
Wed09.11.201612:00 - 14:00EI 9 Hlawka HS - ETIT Lecture
Mon14.11.201613:00 - 15:00EI 10 Fritz Paschke HS - UIW Plenary lecture
Wed16.11.201612:00 - 14:00EI 9 Hlawka HS - ETIT Lecture
Mon21.11.201613:00 - 15:00EI 10 Fritz Paschke HS - UIW Plenary lecture
Tue22.11.201614:30 - 16:30EI 10 Fritz Paschke HS - UIW Exercises
Wed23.11.201612:00 - 14:00EI 9 Hlawka HS - ETIT Lecture
Mon28.11.201613:00 - 15:00EI 10 Fritz Paschke HS - UIW Plenary lecture

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
Tue17:00 - 19:0012.12.2023Informatikhörsaal - ARCH-INF written27.11.2023 00:00 - 08.12.2023 23:59TISSExam 3 SS
Tue15:00 - 18:0023.01.2024Informatikhörsaal - ARCH-INF written31.12.2023 00:00 - 19.01.2024 23:59TISSExan 1 WS
Fri13:00 - 16:0015.03.2024Informatikhörsaal - ARCH-INF written27.02.2024 00:00 - 11.03.2024 23:59TISSExam 2 WS
Fri13:00 - 16:0017.05.2024Informatikhörsaal - ARCH-INF written08.04.2024 09:00 - 10.05.2024 23:59TISSExam 3 WS

Course registration

Begin End Deregistration end
19.09.2016 08:00 24.10.2016 08:00 24.10.2016 08:00

Curricula

Study CodeObligationSemesterPrecon.Info
066 504 Master programme Embedded Systems Not specified
066 507 Telecommunications Not specified
066 931 Logic and Computation Mandatory1. Semester
066 933 Information & Knowledge Management Mandatory
066 935 Media Informatics Mandatory elective1. Semester
066 936 Medical Informatics Mandatory elective
066 937 Software Engineering & Internet Computing Mandatory elective1. Semester
066 938 Computer Engineering Mandatory1. Semester
860 GW Optional Courses - Technical Mathematics Not specified

Literature

For slides and other material see the TUWEL course.

Miscellaneous

Language

if required in English