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.

2016S, 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

First class summer term 2016: Wed, March 2, 2015, 13:15, EI8

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
Wed13:00 - 15:0002.03.2016 - 22.06.2016EI 8 Pötzl HS - QUER Lecture
Mon14:00 - 16:0007.03.2016 - 27.06.2016EI 8 Pötzl HS - QUER Lecture
Mon16:00 - 18:0007.03.2016 - 27.06.2016EI 8 Pötzl HS - QUER Exercises
Formal Methods in Computer Science - Single appointments
DayDateTimeLocationDescription
Wed02.03.201613:00 - 15:00EI 8 Pötzl HS - QUER Lecture
Mon07.03.201614:00 - 16:00EI 8 Pötzl HS - QUER Lecture
Mon07.03.201616:00 - 18:00EI 8 Pötzl HS - QUER Exercises
Wed09.03.201613:00 - 15:00EI 8 Pötzl HS - QUER Lecture
Mon14.03.201614:00 - 16:00EI 8 Pötzl HS - QUER Lecture
Mon14.03.201616:00 - 18:00EI 8 Pötzl HS - QUER Exercises
Wed16.03.201613:00 - 15:00EI 8 Pötzl HS - QUER Lecture
Mon04.04.201614:00 - 16:00EI 8 Pötzl HS - QUER Lecture
Mon04.04.201616:00 - 18:00EI 8 Pötzl HS - QUER Exercises
Wed06.04.201613:00 - 15:00EI 8 Pötzl HS - QUER Lecture
Mon11.04.201614:00 - 16:00EI 8 Pötzl HS - QUER Lecture
Mon11.04.201616:00 - 18:00EI 8 Pötzl HS - QUER Exercises
Wed13.04.201613:00 - 15:00EI 8 Pötzl HS - QUER Lecture
Mon18.04.201614:00 - 16:00EI 8 Pötzl HS - QUER Lecture
Mon18.04.201616:00 - 18:00EI 8 Pötzl HS - QUER Exercises
Wed20.04.201613:00 - 15:00EI 8 Pötzl HS - QUER Lecture
Mon25.04.201614:00 - 16:00EI 8 Pötzl HS - QUER Lecture
Mon25.04.201616:00 - 18:00EI 8 Pötzl HS - QUER Exercises
Wed27.04.201613:00 - 15:00EI 8 Pötzl HS - QUER Lecture
Mon02.05.201614:00 - 16:00EI 8 Pötzl HS - QUER 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
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
11.02.2016 00:00 13.03.2016 23:59 13.03.2016 23:59

Curricula

Study CodeObligationSemesterPrecon.Info
066 504 Master programme Embedded Systems Not specified
066 507 Telecommunications Not specified
066 931 Computational Intelligence 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 end exercises see the home page of the course

Miscellaneous

Language

English