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-2023 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 - Audiffren Julien
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 1 Stunde Übung pro Woche zusammen. Bitte beachten Sie die Einschreibefristen für die Vorlesung und die Examen der Mathematisch-Naturwissenschaftlichen und Medizinischen 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 23.02.2023 15:15 - 18:00 Kurs PER 21, Raum A230 02.03.2023 15:15 - 18:00 Kurs PER 21, Raum A230 09.03.2023 15:15 - 18:00 Kurs PER 21, Raum A230 16.03.2023 15:15 - 18:00 Kurs PER 21, Raum A230 23.03.2023 15:15 - 18:00 Kurs PER 21, Raum A230 30.03.2023 15:15 - 18:00 Kurs PER 21, Raum A230 06.04.2023 15:15 - 18:00 Kurs PER 21, Raum A230 20.04.2023 15:15 - 18:00 Kurs PER 21, Raum A230 27.04.2023 15:15 - 18:00 Kurs PER 21, Raum A230 04.05.2023 15:15 - 18:00 Kurs PER 21, Raum A230 11.05.2023 15:15 - 18:00 Kurs PER 21, Raum A230 25.05.2023 15:15 - 18:00 Kurs PER 21, Raum A230 01.06.2023 15:15 - 18:00 Kurs PER 21, Raum A230 -
Leistungskontrolle
Schriftliche Prüfung - SP-2023, Sommersession 2023
Datum 13.06.2023 10:00 - 11:30 Bewertungsmodus Nach Note Beschreibung Selon modalité A de l'annexe du plan d'études en informatique
Bedingungen Students must fail less than four of the exercises series.
Bemerkung Closed book exam
Schriftliche Prüfung - SP-2023, Herbstsession 2023
Datum 14.09.2023 10:00 - 11:30 Bewertungsmodus Nach Note Beschreibung Selon modalité A de l'annexe du plan d'études en informatique
Bedingungen Students must fail less than four of the exercises series.
Bemerkung Closed book exam
-
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)