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

    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 E230
    Strukturpläne 2+2h par semaine durant 14 semaines
    Kontaktstunden 56

    Unterricht

    Verantwortliche
    Dozenten-innen
    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
    20.02.2020 15:15 - 18:00 Kurs PER 21, Raum E230
    27.02.2020 15:15 - 18:00 Kurs PER 21, Raum E230
    05.03.2020 15:15 - 18:00 Kurs PER 21, Raum E230
    12.03.2020 15:15 - 18:00 Kurs PER 21, Raum E230
    19.03.2020 15:15 - 18:00 Kurs PER 21, Raum E230
    26.03.2020 15:15 - 18:00 Kurs PER 21, Raum E230
    02.04.2020 15:15 - 18:00 Kurs PER 21, Raum E230
    09.04.2020 15:15 - 18:00 Kurs PER 21, Raum E230
    23.04.2020 15:15 - 18:00 Kurs PER 21, Raum E230
    30.04.2020 15:15 - 18:00 Kurs PER 21, Raum E230
    07.05.2020 15:15 - 18:00 Kurs PER 21, Raum E230
    14.05.2020 15:15 - 18:00 Kurs PER 21, Raum E230
    28.05.2020 15:15 - 18:00 Kurs PER 21, Raum E230
  • Leistungskontrolle

    Schriftliche Prüfung - SP-2020, Sommersession 2020

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

    COVID-19 - FS2020 / Prüfungssession SOMMER 2020

    Mündliche Online-Prüfung

    Dauer: 60 Minuten

     

     

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

    Bemerkung Zwei Prüfungsdaten:
    05.06.2020 08:00 - 18:00h
    08.06.2020 08:00 - 18:00h
  • Zuordnung
    Zählt für die folgenden Studienpläne:
    Ergänzende Lehrveranstaltungen in Naturwissenschaften
    Version: ens_compl_sciences
    Paquet indépendant des branches > Fortgeschrittene UE in Informatik (Niveau Bachelor)

    Informatik 120
    Version: 2019_1/V_01
    BSc in Informatik, Hauptfach, 2.-3. Jahr > Informatik 2. und 3. Jahr, Obligatorische UE (ab HS2019)

    Informatik 30
    Version: 2019_1/V_01
    Zusatzfach in Informatik 30 > Informatik Nebenfach 30 oder 60 ECTS zur Wahl (ab HS2019)

    Informatik 60
    Version: 2019_1/V_01
    Zusatzfach in Informatik 60 > Informatik Nebenfach 30 oder 60 ECTS zur Wahl (ab HS2019)

    Informatik 50 [BSc/BA SI]
    Version: 2019_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 HS2019)

    Informatik [LDM] 60
    Version: 2019_1/V_01
    Zusatzfach in Informatik (LDS) 60 > Informatik Nebenfach LDS 60 ECTS obligatorisch (ab HS2019)
    Zusatzfach in Informatik (LDS) 60 > Informatik Nebenfach LDM 60 ECTS zur Wahl (ab HS2019)

    Wirtschaftsinformatik 180 ECTS [BA]
    Version: 2018/SA_V01
    3. Studienjahr 60 ECTS > 3. Jahr Kurse > Wahlkurse min. 14 ECTS > Wahlkurse - Typus A > Formal methods