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 SP-2022

    Titel

    Französisch Méthodes formelles
    Deutsch Formale Methoden
    Englisch Formal Methods

    Zeitplan und Räume

    Vorlesungszeiten Donnerstag 15:15 - 18:00, Wöchentlich (Frühlingssemester)
    Strukturpläne 2+2h par semaine durant 14 semaines
    Kontaktstunden
    		56

    Unterricht

    Verantwortliche
    • Ultes-Nitsche Ulrich
    Dozenten-innen
    • Ultes-Nitsche Ulrich
    Assistenten
    • Guardini Alex
    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 zwei Stunden Übung pro Woche zusammen. Für die Examen beachten Sie bitte jeweils die Einschreibefristen der Mathematisch- Naturwissenschaftliche und Medizinische 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
    24.02.2022 15:15 - 18:00 Kurs PER 21, Raum A230
    03.03.2022 15:15 - 18:00 Kurs PER 21, Raum A230
    10.03.2022 15:15 - 18:00 Kurs PER 21, Raum A230
    17.03.2022 15:15 - 18:00 Kurs PER 21, Raum A230
    24.03.2022 15:15 - 18:00 Kurs PER 21, Raum A230
    31.03.2022 15:15 - 18:00 Kurs PER 21, Raum A230
    07.04.2022 15:15 - 18:00 Kurs PER 21, Raum A230
    14.04.2022 15:15 - 18:00 Kurs PER 21, Raum A230
    28.04.2022 15:15 - 18:00 Kurs PER 21, Raum A230
    05.05.2022 15:15 - 18:00 Kurs PER 21, Raum A230
    12.05.2022 15:15 - 18:00 Kurs PER 21, Raum A230
    19.05.2022 15:15 - 18:00 Kurs PER 21, Raum A230
    02.06.2022 15:15 - 18:00 Kurs PER 21, Raum A230
  • Leistungskontrolle

    Mündliche Prüfung - SP-2022, Sommersession 2022

    Datum 08.06.2022 08:00 - 18:00
    Bewertungsmodus Nach Note
    Beschreibung

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

    Mündliche Prüfung / 30 Min
    Prüfungstage: 08.06.2022 und 13.06.2022

    Mündliche Prüfung - SP-2022, Herbstsession 2022

    Datum 15.09.2022 08:00 - 11:00
    Bewertungsmodus Nach Note
    Beschreibung

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

    Mündlich Prüfung 30 min
  • 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 Bioinformtics 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 Informatik > 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)