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.

2015S, 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 2015: Monday, March 2, 2015, 14: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
Mon14:00 - 16:0002.03.2015 - 22.06.2015EI 8 Pötzl HS - QUER Lecture
Mon16:00 - 18:0002.03.2015 - 29.06.2015EI 8 Pötzl HS - QUER Exercises
Wed14:00 - 16:0004.03.2015 - 24.06.2015EI 8 Pötzl HS - QUER Lecture
Formal Methods in Computer Science - Single appointments
DayDateTimeLocationDescription
Mon02.03.201514:00 - 16:00EI 8 Pötzl HS - QUER Lecture
Mon02.03.201516:00 - 18:00EI 8 Pötzl HS - QUER Exercises
Wed04.03.201514:00 - 16:00EI 8 Pötzl HS - QUER Lecture
Mon09.03.201514:00 - 16:00EI 8 Pötzl HS - QUER Lecture
Mon09.03.201516:00 - 18:00EI 8 Pötzl HS - QUER Exercises
Wed11.03.201514:00 - 16:00EI 8 Pötzl HS - QUER Lecture
Mon16.03.201514:00 - 16:00EI 8 Pötzl HS - QUER Lecture
Mon16.03.201516:00 - 18:00EI 8 Pötzl HS - QUER Exercises
Wed18.03.201514:00 - 16:00EI 8 Pötzl HS - QUER Lecture
Mon23.03.201514:00 - 16:00EI 8 Pötzl HS - QUER Lecture
Mon23.03.201516:00 - 18:00EI 8 Pötzl HS - QUER Exercises
Wed25.03.201514:00 - 16:00EI 8 Pötzl HS - QUER Lecture
Mon13.04.201514:00 - 16:00EI 8 Pötzl HS - QUER Lecture
Mon13.04.201516:00 - 18:00EI 8 Pötzl HS - QUER Exercises
Wed15.04.201514:00 - 16:00EI 8 Pötzl HS - QUER Lecture
Mon20.04.201514:00 - 16:00EI 8 Pötzl HS - QUER Lecture
Mon20.04.201516:00 - 18:00EI 8 Pötzl HS - QUER Exercises
Wed22.04.201514:00 - 16:00EI 8 Pötzl HS - QUER Lecture
Mon27.04.201514:00 - 16:00EI 8 Pötzl HS - QUER Lecture
Mon27.04.201516:00 - 18:00EI 8 Pötzl HS - QUER Exercises

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
Wed09:00 - 12:0026.06.2024Informatikhörsaal - ARCH-INF written03.06.2024 09:00 - 24.06.2024 23:59TISSExam 4 WS
Tue - 21.01.2025written29.12.2024 00:00 - 17.01.2025 23:59TISSExan 1 WS
Fri - 21.03.2025written04.03.2025 00:00 - 17.03.2025 23:59TISSExam 2 WS
Fri - 23.05.2025written14.04.2025 09:00 - 16.05.2025 23:59TISSExam 3 WS
Wed - 25.06.2025written02.06.2025 09:00 - 23.06.2025 23:59TISSExam 4 WS

Course registration

Begin End Deregistration end
12.02.2015 00:00 15.03.2015 23:59 15.03.2015 23:59

Curricula

Study CodeObligationSemesterPrecon.Info
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