Formal Methods
-
Enseignement
Détails
Faculté Faculté des sciences et de médecine Domaine Informatique Code UE-SIN.06021 Langues Anglais Type d'enseignement Cours
Cursus Bachelor Semestre(s) SP-2024 Titre
Français Méthodes formelles Allemand Formale Methoden Anglais Formal Methods Horaires et salles
Horaire résumé Jeudi 15:15 - 18:00, Hebdomadaire (Semestre de printemps)
Struct. des horaires 2+2h par semaine durant 14 semaines Heures de contact 56 Enseignement
Responsables - Ultes-Nitsche Ulrich
Enseignants - Audiffren Julien
Assistants - Guardini Alex
Description 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.Objectifs de formation 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.Commentaire Le cours est composé en général de deux heures de cours et une heure d'exercice par semaine.
Merci de respecter les délais d'inscriptions aux cours et aux examens de la faculté des sciences et médecine.Softskills Non Hors domaine Non BeNeFri Oui Mobilité Oui UniPop Non -
Dates et salles
Date Heure Type d'enseignement Lieu 22.02.2024 15:15 - 18:00 Cours PER 21, salle A230 29.02.2024 15:15 - 18:00 Cours PER 21, salle A230 07.03.2024 15:15 - 18:00 Cours PER 21, salle A230 14.03.2024 15:15 - 18:00 Cours PER 21, salle A230 21.03.2024 15:15 - 18:00 Cours PER 21, salle A230 28.03.2024 15:15 - 18:00 Cours PER 21, salle A230 11.04.2024 15:15 - 18:00 Cours PER 21, salle A230 18.04.2024 15:15 - 18:00 Cours PER 21, salle A230 25.04.2024 15:15 - 18:00 Cours PER 21, salle A230 02.05.2024 15:15 - 18:00 Cours PER 21, salle A230 16.05.2024 15:15 - 18:00 Cours PER 21, salle A230 23.05.2024 15:15 - 18:00 Cours PER 21, salle A230 -
Modalités d'évaluation
Examen écrit - SP-2023, Session d'été 2023
Mode d'évaluation Par note Description Selon modalité A de l'annexe du plan d'études en informatique
Condition Students must fail less than four of the exercises series.
Commentaire Closed book exam
Examen écrit - SP-2024, Session d'été 2024
Date 11.06.2024 10:00 - 11:30 Mode d'évaluation Par note Description Selon modalité A de l'annexe du plan d'études en informatique
Condition Students must fail less than four of the exercises series.
Commentaire Closed book exam
Examen écrit - SP-2024, Session d'automne 2024
Date 12.09.2024 10:00 - 12:00 Mode d'évaluation Par note Description Selon modalité A de l'annexe du plan d'études en informatique
Condition Students must fail less than four of the exercises series.
Commentaire Closed book exam
-
Affiliation
Valable pour les plans d'études suivants: Ba - Informatique de gestion - 180 ECTS
Version: 2020-SA_V02
3ème année 60 ECTS > Cours de 3ème année > Cours à choix min. 14 ECTS > Cours à choix - Type A > Formal methods
Complément DEEM en informatique
Version: 2022_1/V_01
Complément DEEM pour Informatique 60 ou +30 > Programmes 60 ou +30 > Complément au programme Informatique 60 > Complément DEEM pour Informatique 60 (dès SA2020)
Complément au MSc en Neurosciences digitales [MA]
Version: 2023_1/V_01
Complément au MSc en informatique > UE avancées en Informatique (niveau bachelor)
Complément au MSc in Bioinformatics and Computational Biology [MA]
Version: 2022_1/V_01
Complément au MSc in Bioinformatics and Computational Biology > UE avancées en Informatique (niveau bachelor)
Complément au MSc in Computer Science [MA]
Version: 2022_1/V_01
Complément au MSc en informatique > UE avancées en Informatique (niveau bachelor)
Enseignement complémentaire en sciences
Version: ens_compl_sciences
Paquet indépendant des branches > UE avancées en Informatique (niveau bachelor)
Informatique 120
Version: 2022_1/V_01
BSc en informatique, branche principale, 2-3ème années > Informatique 2e et 3e année, UE obligatoires (dès SA2021)
Informatique 30
Version: 2022_1/V_01
Branche complémentaire en informatique 30 > Informatique br. compl. 30 ou 60 ECTS à choix (dès SA2019)
Informatique 60
Version: 2022_1/V_01
Branche complémentaire en informatique 60 > Informatique br. compl. 30 ou 60 ECTS à choix (dès SA2019)
Informatique 50 [BSc_SI/BA_SI]
Version: 2022_1/V_01
BSc_SI/BA_SI, Informatique 50 ECTS, 1-3ème années > BSc_SI/BA_SI, Informatique, 2-3ème années, UE à choix pour 50 ECTS (dès SA2020)
Informatique [3e cycle]
Version: 2024_2/V_01
Formation continue > UE avancées en Informatique (niveau bachelor)
Informatique [DEEM] 60
Version: 2022_1/V_01
Branche complémentaire en informatique (DEEM) 60 > Informatique branche complémentaire DEEM 60 ECTS obligatoires (dès SA2021)
Informatique [POST-DOC]
Version: 2015_1/V_01
Formation continue > UE avancées en Informatique (niveau bachelor)
Préalable au Bioinformatique et biologie computationnelle [PRE-MA]
Version: 2022_1/V_01
Préalable au MSc in Bioinformatics and Computational Biology > UE avancées en Informatique (niveau bachelor)
Préalable au MSc en Neurosciences digitales [PRE-MA]
Version: 2023_1/V_01
Préalable au MSc en Neurosciences digitales > UE avancées en Informatique (niveau bachelor)
Préalable au MSc en informatique [PRE-MA]
Version: 2022_1/V_01
Préalable au MSc en informatique > UE avancées en Informatique (niveau bachelor)