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.

2017W, 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 LECTURE: 3 October 2017, 12:15, EI10

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:0002.10.2017 - 22.01.2018EI 10 Fritz Paschke HS - UIW Lecture
Tue12:00 - 14:0003.10.2017 - 23.01.2018EI 10 Fritz Paschke HS - UIW Lecture
Wed12:00 - 14:0004.10.2017 - 24.01.2018EI 10 Fritz Paschke HS - UIW Lecture
Formal Methods in Computer Science - Single appointments
DayDateTimeLocationDescription
Mon02.10.201713:00 - 15:00EI 10 Fritz Paschke HS - UIW Lecture
Tue03.10.201712:00 - 14:00EI 10 Fritz Paschke HS - UIW Lecture
Wed04.10.201712:00 - 14:00EI 10 Fritz Paschke HS - UIW Lecture
Mon09.10.201713:00 - 15:00EI 10 Fritz Paschke HS - UIW Lecture
Tue10.10.201712:00 - 14:00EI 10 Fritz Paschke HS - UIW Lecture
Wed11.10.201712:00 - 14:00EI 10 Fritz Paschke HS - UIW Lecture
Mon16.10.201713:00 - 15:00EI 10 Fritz Paschke HS - UIW Lecture
Tue17.10.201712:00 - 14:00EI 10 Fritz Paschke HS - UIW Lecture
Wed18.10.201712:00 - 14:00EI 10 Fritz Paschke HS - UIW Lecture
Mon23.10.201713:00 - 15:00EI 10 Fritz Paschke HS - UIW Lecture
Tue24.10.201712:00 - 14:00EI 10 Fritz Paschke HS - UIW Lecture
Wed25.10.201712:00 - 14:00EI 10 Fritz Paschke HS - UIW Lecture
Mon30.10.201713:00 - 15:00EI 10 Fritz Paschke HS - UIW Lecture
Tue31.10.201712:00 - 14:00EI 10 Fritz Paschke HS - UIW Lecture
Mon06.11.201713:00 - 15:00EI 10 Fritz Paschke HS - UIW Lecture
Tue07.11.201712:00 - 14:00EI 10 Fritz Paschke HS - UIW Lecture
Wed08.11.201712:00 - 14:00EI 10 Fritz Paschke HS - UIW Lecture
Mon13.11.201713:00 - 15:00EI 10 Fritz Paschke HS - UIW Lecture
Tue14.11.201712:00 - 14:00EI 10 Fritz Paschke HS - UIW Lecture
Mon20.11.201713:00 - 15:00EI 10 Fritz Paschke HS - UIW 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
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
Wed09:00 - 12:0026.06.2024Informatikhörsaal - ARCH-INF written03.06.2024 09:00 - 24.06.2024 23:59TISSExam 4 WS

Course registration

Begin End Deregistration end
18.09.2017 08:00 23.10.2017 08:00 23.10.2017 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 Mandatory1. 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.

Language

if required in English