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-2020 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 20.02.2020 15:15 - 18:00 Cours PER 21, Room E230 27.02.2020 15:15 - 18:00 Cours PER 21, Room E230 05.03.2020 15:15 - 18:00 Cours PER 21, Room E230 12.03.2020 15:15 - 18:00 Cours PER 21, Room E230 19.03.2020 15:15 - 18:00 Cours PER 21, Room E230 26.03.2020 15:15 - 18:00 Cours PER 21, Room E230 02.04.2020 15:15 - 18:00 Cours PER 21, Room E230 09.04.2020 15:15 - 18:00 Cours PER 21, Room E230 23.04.2020 15:15 - 18:00 Cours PER 21, Room E230 30.04.2020 15:15 - 18:00 Cours PER 21, Room E230 07.05.2020 15:15 - 18:00 Cours PER 21, Room E230 14.05.2020 15:15 - 18:00 Cours PER 21, Room E230 28.05.2020 15:15 - 18:00 Cours PER 21, Room E230 -
Assessments methods
Written exam - SP-2020, Session d'été 2020
Assessments methods By rating Descriptions of Exams COVID-19 - SS2020 / Exam session SUMMER 2020
Oral Online-Exam
Duration: 60 minutes
Selon modalité A de l'annexe du plan d'études en informatique
Comment Zwei Prüfungsdaten:
05.06.2020 08:00 - 18:00h
08.06.2020 08:00 - 18:00hWritten exam - SP-2020, Autumn Session 2020
Date 07.09.2020 14:00 - 15:00 Assessments methods By rating Descriptions of Exams COVID-19 - SS2020 / Exam session SUMMER 2020
Oral Online-Exam
Duration: 60 minutes
Selon modalité A de l'annexe du plan d'études en informatique
Comment mündliche Prüfung in Präsenz 30 Minuten -
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)