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)