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 (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 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
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:00hSchriftliche Prüfung - SP-2020, Herbstsession 2020
Datum 07.09.2020 14:00 - 15: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 mündliche Prüfung in Präsenz 30 Minuten -
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)