Formal Methods
-
Teaching
Details
Faculty Faculty of Science and Medicine Domain Computer Science Code UE-SIN.06021 Languages English Type of lesson Lecture
Level Bachelor Semester SS-2025 Title
French Méthodes formelles German Formale Methoden English Formal Methods Schedules and rooms
Summary schedule Thursday 15:15 - 18:00, Hebdomadaire, PER 21, Room D130 (Spring semester)
Struct. of the schedule 2+2h par semaine durant 14 semaines Contact's hours 56 Teaching
Responsibles - Ultes-Nitsche Ulrich
Teachers - Audiffren Julien
Description Folgende formale Aspekte der Informatik werden behandelt:
- Software-Verifikation mittels Hoare-Logik
- Aussagenlogik
- Algorithmen für den Erfüllbarkeitstest aussagenlogischer Formeln
- Turingmaschinen und (Nicht-)Berechenbarkeit
- Nichtdeterminismus und die Komplexitätsklassen P und NP
- NP-Vollständigkeit und das Erfüllbarkeitsproblem
- Prädikatenlogik erster Stufe
- Unentscheidbarkeit der Prädikatenlogik erster Stufe.Training objectives Nach Besuch dieser Unterrichtseinheit wird die Studentin/der Student:
- einfache Softwarefragmente verifizieren können,
- Algorithmen zum Test der Erfüllbarkeit aussagenlogischer Formeln kennen,
- den Zusammenhang zwischen Turingmaschinen und Berechenbarkeit einordnen können,
- nichtberechenbare Probleme kennen,
- Beweise von Nichtberechenbarkeit nachvollziehen können,
- elementare Ergebnisse der Komplexitätstheorie verstehen,
- die Komplexitätsklassen P und NP sowie NP-vollständige Probleme kennen,
- NP-Vollständigkeitsbeweise verstehen,
- die Grenzen der Informatik einordnen können.Comments The teaching unit usually consists of two hours of lecture and 1 hour of exercices per week.
Please take note of the registration deadlines for the course and for exams of the faculty of science and medecine.Softskills No Off field No BeNeFri Yes Mobility Yes UniPop No -
Dates and rooms
Date Hour Type of lesson Place 20.02.2025 15:15 - 18:00 Cours PER 21, Room D130 27.02.2025 15:15 - 18:00 Cours PER 21, Room D130 06.03.2025 15:15 - 18:00 Cours PER 21, Room D130 13.03.2025 15:15 - 18:00 Cours PER 21, Room D130 20.03.2025 15:15 - 18:00 Cours PER 21, Room D130 27.03.2025 15:15 - 18:00 Cours PER 21, Room D130 03.04.2025 15:15 - 18:00 Cours PER 21, Room D130 10.04.2025 15:15 - 18:00 Cours PER 21, Room D130 17.04.2025 15:15 - 18:00 Cours PER 21, Room D130 01.05.2025 15:15 - 18:00 Cours PER 21, Room D130 08.05.2025 15:15 - 18:00 Cours PER 21, Room D130 15.05.2025 15:15 - 18:00 Cours PER 21, Room D130 22.05.2025 15:15 - 18:00 Cours PER 21, Room D130 -
Assessments methods
Written exam - SS-2025, Session d'été 2025
Assessments methods By rating Descriptions of Exams Selon modalité A de l'annexe du plan d'études en informatique
Requirements Students must fail less than four of the exercises series.
Comment Closed book exam
-
Assignment
Valid for the following curricula: Additional Courses in Sciences
Version: ens_compl_sciences
Paquet indépendant des branches > Advanced courses in Computer Science (Bachelor level)
Additional Programme Requirements to the MSc in Bioinformatics and Computational Biology [MA]
Version: 2022_1/V_01
Additional Programme Requirements to the MSc Bioinformatics and Computational Biology > Advanced courses in Computer Science (Bachelor level)
Additional Programme Requirements to the MSc in Computer Science [MA]
Version: 2022_1/V_01
Supplement to the MSc in Computer science > Advanced courses in Computer Science (Bachelor level)
Additional Programme Requirements to the MSc in Digital Neuroscience [MA]
Version: 2023_1/V_01
Supplement to the MSc in Computer science > Advanced courses in Computer Science (Bachelor level)
Additional TDHSE programme in Computer Science
Version: 2022_1/V_01
Additional TDHSE Programme Requirements for Computer Science 60 or +30 > Programmes 60 or +30 > Additional Programme Requirements to Computer Science 60 > Additional TDHSE programme for Computer Science 60 (from AS2020 on)
Ba - Business Informatics - 180 ECTS
Version: 2020-SA_V02
3nd year 60 ECTS > 3rd year courses > Cours à choix min. 14 ECTS / Wahlkurse min. 14 ECTS > Cours à choix - Type A / Wahlkurse - Typus A > Formal methods
Computer Science 120
Version: 2022_1/V_01
BSc in Computer science, Major, 2nd-3rd year > Computer Science 2nd and 3th year (from AS2021 on)
Computer Science 30
Version: 2022_1/V_01
Minor in Computer science 30 > Computer Science, Minor 30 or 60 ECTS elective (from AS2019 on)
Computer Science 60
Version: 2022_1/V_01
Minor in Computer Science 60 > Computer Science, Minor 30 or 60 ECTS elective (from AS2019 on)
Computer Science 50 [BSc/BA SI]
Version: 2022_1/V_01
BSc_SI/BA_SI, Computer science 50 ECTS, 1st-3rd years > BSc_SI/BA_SI, Computer Science, 2nd-3rd years, elective courses for 50 ECTS (from AS2020 on)
Computer Science [3e cycle]
Version: 2015_1/V_01
Continuing education > Advanced courses in Computer Science (Bachelor level)
Computer Science [POST-DOC]
Version: 2015_1/V_01
Continuing education > Advanced courses in Computer Science (Bachelor level)
Computer Science [TDHSE] 60
Version: 2022_1/V_01
Minor in Computer Science (TDHSE) 60 > Computer Science Minor TDHSE 60 ECTS (from SA2021 on)
Pre-Master-Programme to the MSc in Bioinformatics and Computational Biology [PRE-MA]
Version: 2022_1/V_01
Prerequisite to the MSc in Bioinformatics and Computational Biology > Advanced courses in Computer Science (Bachelor level)
Pre-Master-Programme to the MSc in Computer Science [PRE-MA]
Version: 2022_1/V_01
Prerequisite to the MSc in Computer science > Advanced courses in Computer Science (Bachelor level)
Pre-Master-Programme to the MSc in Digital Neuroscience [PRE-MA]
Version: 2023_1/V_01
Pre-Master-Programme to the MSc in Digital Neuroscience > Advanced courses in Computer Science (Bachelor level)