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
    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. 
    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

    Bewertungsmodus Nach Note
    Beschreibung

    Selon modalité A de l'annexe du plan d'études en informatique
    Bedingungen

    Students must fail less than four of the exercises series.
    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/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)