Formal Methods

  • Teaching

    Details

    Faculty Faculty of Science and Medicine
    Domain Computer Science
    Code UE-SIN.06021
    Languages English
    Type of lesson Lecture
    Level Bachelor
    Semester SS-2024

    Title

    French Méthodes formelles
    German Formale Methoden
    English Formal Methods

    Schedules and rooms

    Summary schedule Thursday 15:15 - 18:00, Hebdomadaire (Spring semester)
    Struct. of the schedule 2+2h par semaine durant 14 semaines
    Contact's hours
    		56

    Teaching

    Responsibles
    • Ultes-Nitsche Ulrich
    Teachers
    • 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.
    Training objectives

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

    The teaching unit usually consists of two hours of lecture and 1 hour of exercices per week.
    Please take note of the registration deadlines for the course and for exams of the faculty of science and medecine.

     

     
    Softskills No
    Off field No
    BeNeFri Yes
    Mobility Yes
    UniPop No
  • Dates and rooms
    Date Hour Type of lesson Place
    22.02.2024 15:15 - 18:00 Cours PER 21, Room A230
    29.02.2024 15:15 - 18:00 Cours PER 21, Room A230
    07.03.2024 15:15 - 18:00 Cours PER 21, Room A230
    14.03.2024 15:15 - 18:00 Cours PER 21, Room A230
    21.03.2024 15:15 - 18:00 Cours PER 21, Room A230
    28.03.2024 15:15 - 18:00 Cours PER 21, Room A230
    11.04.2024 15:15 - 18:00 Cours PER 21, Room A230
    18.04.2024 15:15 - 18:00 Cours PER 21, Room A230
    25.04.2024 15:15 - 18:00 Cours PER 21, Room A230
    02.05.2024 15:15 - 18:00 Cours PER 21, Room A230
    16.05.2024 15:15 - 18:00 Cours PER 21, Room A230
    23.05.2024 15:15 - 18:00 Cours PER 21, Room A230
  • Assessments methods

    Written exam - SS-2023, Session d'été 2023

    Assessments methods By rating
    Descriptions of Exams

    Selon modalité A de l'annexe du plan d'études en informatique
    Requirements

    Students must fail less than four of the exercises series.
    Comment

    Closed book exam

    Written exam - SS-2024, Session d'été 2024

    Date 11.06.2024 10:00 - 11:30
    Assessments methods By rating
    Descriptions of Exams

    Selon modalité A de l'annexe du plan d'études en informatique
    Requirements

    Students must fail less than four of the exercises series.
    Comment

    Closed book exam

    Written exam - SS-2024, Autumn Session 2024

    Date 12.09.2024 10:00 - 12:00
    Assessments methods By rating
    Descriptions of Exams

    Selon modalité A de l'annexe du plan d'études en informatique
    Requirements

    Students must fail less than four of the exercises series.
    Comment

    Closed book exam
  • Assignment
    Valid for the following curricula:
    Additional Courses in Sciences
    Version: ens_compl_sciences
    Paquet indépendant des branches > Advanced courses in Computer Science (Bachelor level)
    Additional Programme Requirements to the MSc in Bioinformatics and Computational Biology [MA]
    Version: 2022_1/V_01
    Additional Programme Requirements to the MSc Bioinformatics and Computational Biology > Advanced courses in Computer Science (Bachelor level)
    Additional Programme Requirements to the MSc in Computer Science [MA]
    Version: 2022_1/V_01
    Supplement to the MSc in Computer science > Advanced courses in Computer Science (Bachelor level)
    Additional Programme Requirements to the MSc in Digital Neuroscience [MA]
    Version: 2023_1/V_01
    Supplement to the MSc in Computer science > Advanced courses in Computer Science (Bachelor level)
    Additional TDHSE programme in Computer Science
    Version: 2022_1/V_01
    Additional TDHSE Programme Requirements for Computer Science 60 or +30 > Programmes 60 or +30 > Additional Programme Requirements to Computer Science 60 > Additional TDHSE programme for Computer Science 60 (from AS2020 on)
    Ba - Business Informatics - 180 ECTS
    Version: 2020-SA_V02
    3nd year 60 ECTS > 3rd year courses > Cours à choix min. 14 ECTS / Wahlkurse min. 14 ECTS > Cours à choix - Type A / Wahlkurse - Typus A > Formal methods
    Computer Science 120
    Version: 2022_1/V_01
    BSc in Computer science, Major, 2nd-3rd year > Computer Science 2nd and 3th year (from AS2021 on)
    Computer Science 30
    Version: 2022_1/V_01
    Minor in Computer science 30 > Computer Science, Minor 30 or 60 ECTS elective (from AS2019 on)
    Computer Science 60
    Version: 2022_1/V_01
    Minor in Computer Science 60 > Computer Science, Minor 30 or 60 ECTS elective (from AS2019 on)
    Computer Science 50 [BSc_SI/BA_SI]
    Version: 2022_1/V_01
    BSc_SI/BA_SI, Computer science 50 ECTS, 1st-3rd years > BSc_SI/BA_SI, Computer Science, 2nd-3rd years, elective courses for 50 ECTS (from AS2020 on)
    Computer Science [3e cycle]
    Version: 2024_2/V_01
    Continuing education > Advanced courses in Computer Science (Bachelor level)
    Computer Science [POST-DOC]
    Version: 2015_1/V_01
    Continuing education > Advanced courses in Computer Science (Bachelor level)
    Computer Science [TDHSE] 60
    Version: 2022_1/V_01
    Minor in Computer Science (TDHSE) 60 > Computer Science Minor TDHSE 60 ECTS (from SA2021 on)
    Pre-Master-Programme to the MSc in Bioinformatics and Computational Biology [PRE-MA]
    Version: 2022_1/V_01
    Prerequisite to the MSc in Bioinformatics and Computational Biology > Advanced courses in Computer Science (Bachelor level)
    Pre-Master-Programme to the MSc in Computer Science [PRE-MA]
    Version: 2022_1/V_01
    Prerequisite to the MSc in Computer science > Advanced courses in Computer Science (Bachelor level)
    Pre-Master-Programme to the MSc in Digital Neuroscience [PRE-MA]
    Version: 2023_1/V_01
    Pre-Master-Programme to the MSc in Digital Neuroscience > Advanced courses in Computer Science (Bachelor level)