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

    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
    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
    25.02.2021 15:15 - 18:00 Kurs PER 21, Raum E230
    04.03.2021 15:15 - 18:00 Kurs PER 21, Raum E230
    11.03.2021 15:15 - 18:00 Kurs PER 21, Raum E230
    18.03.2021 15:15 - 18:00 Kurs PER 21, Raum E230
    25.03.2021 15:15 - 18:00 Kurs PER 21, Raum E230
    01.04.2021 15:15 - 18:00 Kurs PER 21, Raum E230
    15.04.2021 15:15 - 18:00 Kurs PER 21, Raum E230
    22.04.2021 15:15 - 18:00 Kurs PER 21, Raum E230
    29.04.2021 15:15 - 18:00 Kurs PER 21, Raum E230
    06.05.2021 15:15 - 18:00 Kurs PER 21, Raum E230
    20.05.2021 15:15 - 18:00 Kurs PER 21, Raum E230
    27.05.2021 15:15 - 18:00 Kurs PER 21, Raum E230
  • Leistungskontrolle

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

    Datum 14.06.2021 08:00 - 18:00
    Bewertungsmodus Nach Note
    Bemerkung

    Mündlich Online Examen COVID19 / closed book

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

    Datum 30.08.2021 10:30 - 17:00
    Bewertungsmodus Nach Note
    Bemerkung

    Mündlich Prüfung in Präsenz / closed book
  • 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)