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 SP-2021 Title
French Méthodes formelles German Formale Methoden English Formal Methods Schedules and rooms
Summary schedule Thursday 15:15 - 18:00, Hebdomadaire (Spring semester)
Struct. of the schedule 2+2h par semaine durant 14 semaines Contact's hours 56 Teaching
Responsibles - Ultes-Nitsche Ulrich
Teachers - Ultes-Nitsche Ulrich
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 Die Unterrichteinheit setzt sich in der Regel aus je zwei Stunden Vorlesung und zwei Stunden Übung pro Woche zusammen. Für die Examen beachten Sie bitte jeweils die Einschreibefristen der Mathematisch- Naturwissenschaftliche und Medizinische Fakultät.
Softskills No Off field No BeNeFri Yes Mobility Yes UniPop No -
Dates and rooms
Date Hour Type of lesson Place 25.02.2021 15:15 - 18:00 Cours PER 21, Room E230 04.03.2021 15:15 - 18:00 Cours PER 21, Room E230 11.03.2021 15:15 - 18:00 Cours PER 21, Room E230 18.03.2021 15:15 - 18:00 Cours PER 21, Room E230 25.03.2021 15:15 - 18:00 Cours PER 21, Room E230 01.04.2021 15:15 - 18:00 Cours PER 21, Room E230 15.04.2021 15:15 - 18:00 Cours PER 21, Room E230 22.04.2021 15:15 - 18:00 Cours PER 21, Room E230 29.04.2021 15:15 - 18:00 Cours PER 21, Room E230 06.05.2021 15:15 - 18:00 Cours PER 21, Room E230 20.05.2021 15:15 - 18:00 Cours PER 21, Room E230 27.05.2021 15:15 - 18:00 Cours PER 21, Room E230 -
Assessments methods
Oral exam - SP-2021, Session d'été 2021
Date 14.06.2021 08:00 - 18:00 Assessments methods By rating Comment Oral online exam COVID19 / closed book
Oral exam - SP-2021, Autumn Session 2021
Date 30.08.2021 10:30 - 17:00 Assessments methods By rating Comment Oral exam in prsence/ closed book
-
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 Bioinformtics 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
Prerequisite to the MSc in Computer science > Advanced courses in Computer Science (Bachelor level)