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.2022

    Examen 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)