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-2022 Titre
Français Méthodes formelles Allemand Formale Methoden Anglais Formal Methods Horaires et salles
Horaire résumé Jeudi 15:15 - 18:00, Hebdomadaire
Struct. des horaires 2+2h par semaine durant 14 semaines Heures de contact 56 Enseignement
Responsables Enseignants Assistants 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 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.
Softskills Non Hors domaine Non BeNeFri Oui Mobilité Oui UniPop Non -
Dates et salles
Date Heure Type d'enseignement Lieu 24.02.2022 15:15 - 18:00 Cours PER 21, salle A230 03.03.2022 15:15 - 18:00 Cours PER 21, salle A230 10.03.2022 15:15 - 18:00 Cours PER 21, salle A230 17.03.2022 15:15 - 18:00 Cours PER 21, salle A230 24.03.2022 15:15 - 18:00 Cours PER 21, salle A230 31.03.2022 15:15 - 18:00 Cours PER 21, salle A230 07.04.2022 15:15 - 18:00 Cours PER 21, salle A230 14.04.2022 15:15 - 18:00 Cours PER 21, salle A230 28.04.2022 15:15 - 18:00 Cours PER 21, salle A230 05.05.2022 15:15 - 18:00 Cours PER 21, salle A230 12.05.2022 15:15 - 18:00 Cours PER 21, salle A230 19.05.2022 15:15 - 18:00 Cours PER 21, salle A230 02.06.2022 15:15 - 18:00 Cours PER 21, salle A230 -
Modalités d'évaluation
Examen oral - SP-2022, Session d'été 2022
Date 08.06.2022 08:00 - 18:00 Mode d'évaluation Par note Description Selon modalité A de l'annexe du plan d'études en informatique
Commentaire Examen orale / 30 min
Jours examen: 08.06.2022 et 13.06.2022Examen oral - SP-2022, Session d'automne 2022
Mode d'évaluation Par note Description Selon modalité A de l'annexe du plan d'études en informatique
Commentaire Examen oral 30 min
-
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 au MSc in Bioinformatics and Computational Biology [MA]
Version: 2020_1/V_01
Complément au MSc in Bioinformatics and Computational Biology > 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 [3e cycle]
Version: 2015_1/V_01
Formation continue > UE avancées en Informatique (niveau bachelor)
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: 2020_1/V_01
Préalable au MSc in Bioinformtics and Computational Biology > UE avancées en Informatique (niveau bachelor)