Formal Methods
-
Unterricht
Details
Fakultät Math.-Nat. und Med. Fakultät Bereich Informatik Code UE-SIN.06021 Sprachen Englisch Art der Unterrichtseinheit Vorlesung
Kursus Bachelor Semester FS-2025 Titel
Französisch Méthodes formelles Deutsch Formale Methoden Englisch Formal Methods Zeitplan und Räume
Vorlesungszeiten Donnerstag 15:15 - 18:00, Wöchentlich, PER 21, Raum D130 (Frühlingssemester)
Strukturpläne 2+2h par semaine durant 14 semaines Kontaktstunden 56 Unterricht
Verantwortliche - Ultes-Nitsche Ulrich
Dozenten-innen - Audiffren Julien
Assistenten - Kappeler Morgane
Beschreibung 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.Lernziele 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.Bemerkungen Die Unterrichteinheit setzt sich in der Regel aus je zwei Stunden Vorlesung und 1 Stunde Übung pro Woche zusammen. Bitte beachten Sie die Einschreibefristen für die Vorlesung und die Examen der Mathematisch-Naturwissenschaftlichen und Medizinischen Fakultät.
Die Anmeldung zu den Prüfungen ist obligatorisch. Die Einschreibungen für Lehrveranstaltungen werden nicht automatisch in Prüfungsanmeldungen übertragen.
Soft Skills Nein ausserhalb des Bereichs Nein BeNeFri Ja Mobilität Ja UniPop Nein -
Einzeltermine und Räume
Datum Zeit Art der Unterrichtseinheit Ort 20.02.2025 15:15 - 18:00 Kurs PER 21, Raum D130 27.02.2025 15:15 - 18:00 Kurs PER 21, Raum D130 06.03.2025 15:15 - 18:00 Kurs PER 21, Raum D130 13.03.2025 15:15 - 18:00 Kurs PER 21, Raum D130 20.03.2025 15:15 - 18:00 Kurs PER 21, Raum D130 27.03.2025 15:15 - 18:00 Kurs PER 21, Raum D130 03.04.2025 15:15 - 18:00 Kurs PER 21, Raum D130 10.04.2025 15:15 - 18:00 Kurs PER 21, Raum D130 17.04.2025 15:15 - 18:00 Kurs PER 21, Raum D130 01.05.2025 15:15 - 18:00 Kurs PER 21, Raum D130 08.05.2025 15:15 - 18:00 Kurs PER 21, Raum D130 15.05.2025 15:15 - 18:00 Kurs PER 21, Raum D130 22.05.2025 15:15 - 18:00 Kurs PER 21, Raum D130 -
Leistungskontrolle
Schriftliche Prüfung - FS-2025, Sommersession 2025
Datum 10.06.2025 10:00 - 11:30 Bewertungsmodus Nach Note Beschreibung Selon modalité A de l'annexe du plan d'études en informatique
Bemerkung Closed book exam
-
Zuordnung
Zählt für die folgenden Studienpläne: Ba - Wirtschaftsinformatik - 180 ECTS
Version: 2020-SA_V02
3. Studienjahr 60 ECTS > Kurse im 3. Jahr > Wahlkurse min. 14 ECTS > Wahlkurse - Typus A > Formal methods
Ergänzende Lehrveranstaltungen in Naturwissenschaften
Version: ens_compl_sciences
Paquet indépendant des branches > Fortgeschrittene UE in Informatik (Niveau Bachelor)
Informatik 120
Version: 2022_1/V_01
BSc in Informatik, Hauptfach, 2.-3. Jahr > Informatik 2. und 3. Jahr, Obligatorische UE (ab HS2021)
Informatik 30
Version: 2022_1/V_01
Zusatzfach in Informatik 30 > Informatik Nebenfach 30 oder 60 ECTS zur Wahl (ab HS2019)
Informatik 60
Version: 2022_1/V_01
Zusatzfach in Informatik 60 > Informatik Nebenfach 30 oder 60 ECTS zur Wahl (ab HS2019)
Informatik 50 [BSc_SI/BA_SI]
Version: 2022_1/V_01
BSc_SI/BA_SI, Informatik 50 ECTS, 1.-3. Jahre > BSc_SI/BA_SI, Informatik, 2-3. Jahr, UE zur Wahl für 50 ECTS (ab HS2020)
Informatik [3e cycle]
Version: 2015_1/V_01
Weiterbildung > Fortgeschrittene UE in Informatik (Niveau Bachelor)
Informatik [LDM] 60
Version: 2022_1/V_01
Zusatzfach in Informatik (LDS) 60 > Informatik Nebenfach LDS 60 ECTS obligatorisch (ab HS2021)
Informatik [POST-DOC]
Version: 2015_1/V_01
Weiterbildung > Fortgeschrittene UE in Informatik (Niveau Bachelor)
Vorstufe zum MSc in Bioinformatik und computationale Biologie [PRE-MA]
Version: 2022_1/V_01
Vorstufe zum MSc in Bioinformatics and Computational Biology > Fortgeschrittene UE in Informatik (Niveau Bachelor)
Vorstufe zum MSc in Digitale Neurowissenschaft [PRE-MA]
Version: 2023_1/V_01
Vorstufe zum MSc in Digitale Neurowissenschaft > Fortgeschrittene UE in Informatik (Niveau Bachelor)
Vorstufe zum MSc in Informatik [PRE-MA]
Version: 2022_1/V_01
Vorstufe zum MSc in Informatik > Fortgeschrittene UE in Informatik (Niveau Bachelor)
Zusatz LDM Informatik
Version: 2022_1/V_01
Zusatzfach LDM für Informatik 60 oder +30 > Programm 60 oder +30 > Zusatz zum Programm Informatik 60 > Zusatz LDM für Informatik 60 (ab HS2020)
Zusatz zum MSc in Bioinformatics and Computational Biology [MA]
Version: 2022_1/V_01
Zusatz zum MSc in Bioinformatics and Computational Biology > Fortgeschrittene UE in Informatik (Niveau Bachelor)
Zusatz zum MSc in Computer Science [MA]
Version: 2022_1/V_01
Zusatz zum MSc in Informatik > Fortgeschrittene UE in Informatik (Niveau Bachelor)
Zusatz zum MSc in Digitale Neurowissenschaft [MA]
Version: 2023_1/V_01
Zusatz zum MSc in Informatik > Fortgeschrittene UE in Informatik (Niveau Bachelor)