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-2020

    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
    • Ultes-Nitsche Ulrich
    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
    20.02.2020 15:15 - 18:00 Cours PER 21, salle E230
    27.02.2020 15:15 - 18:00 Cours PER 21, salle E230
    05.03.2020 15:15 - 18:00 Cours PER 21, salle E230
    12.03.2020 15:15 - 18:00 Cours PER 21, salle E230
    19.03.2020 15:15 - 18:00 Cours PER 21, salle E230
    26.03.2020 15:15 - 18:00 Cours PER 21, salle E230
    02.04.2020 15:15 - 18:00 Cours PER 21, salle E230
    09.04.2020 15:15 - 18:00 Cours PER 21, salle E230
    23.04.2020 15:15 - 18:00 Cours PER 21, salle E230
    30.04.2020 15:15 - 18:00 Cours PER 21, salle E230
    07.05.2020 15:15 - 18:00 Cours PER 21, salle E230
    14.05.2020 15:15 - 18:00 Cours PER 21, salle E230
    28.05.2020 15:15 - 18:00 Cours PER 21, salle E230
  • Modalités d'évaluation

    Examen écrit - SP-2020, Session d'été 2020

    Mode d'évaluation Par note
    Description

    COVID-19 – SP2020 / session d’examens ÉTÉ 2020 

    Examen oral en ligne

    Durée : 60 minutes

     

     

    Selon modalité A de l'annexe du plan d'études en informatique
    Commentaire Zwei Prüfungsdaten:
    05.06.2020 08:00 - 18:00h
    08.06.2020 08:00 - 18:00h

    Examen écrit - SP-2020, Session d'automne 2020

    Date 07.09.2020 14:00 - 15:00
    Mode d'évaluation Par note
    Description

    COVID-19 – SP2020 / session d’examens ÉTÉ 2020 

    Examen oral en ligne

    Durée : 60 minutes

     

     

    Selon modalité A de l'annexe du plan d'études en informatique
    Commentaire mündliche Prüfung in Präsenz 30 Minuten
  • 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/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: 2015_1/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 Bioinformtics 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 informatique > 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)