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

    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
    • Ultes-Nitsche Ulrich
    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

    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 No
    Off field No
    BeNeFri Yes
    Mobility Yes
    UniPop No
  • Dates and rooms
    Date Hour Type of lesson Place
    24.02.2022 15:15 - 18:00 Cours PER 21, Room A230
    03.03.2022 15:15 - 18:00 Cours PER 21, Room A230
    10.03.2022 15:15 - 18:00 Cours PER 21, Room A230
    17.03.2022 15:15 - 18:00 Cours PER 21, Room A230
    24.03.2022 15:15 - 18:00 Cours PER 21, Room A230
    31.03.2022 15:15 - 18:00 Cours PER 21, Room A230
    07.04.2022 15:15 - 18:00 Cours PER 21, Room A230
    14.04.2022 15:15 - 18:00 Cours PER 21, Room A230
    28.04.2022 15:15 - 18:00 Cours PER 21, Room A230
    05.05.2022 15:15 - 18:00 Cours PER 21, Room A230
    12.05.2022 15:15 - 18:00 Cours PER 21, Room A230
    19.05.2022 15:15 - 18:00 Cours PER 21, Room A230
    02.06.2022 15:15 - 18:00 Cours PER 21, Room A230
  • Assessments methods

    Oral exam - SP-2022, Session d'été 2022

    Date 08.06.2022 08:00 - 18:00
    Assessments methods By rating
    Descriptions of Exams

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

    Oral exam / 30 min
    Exam days: 08.06.2022 and 13.06.2022

    Oral exam - SP-2022, Autumn Session 2022

    Date 15.09.2022 08:00 - 11:00
    Assessments methods By rating
    Descriptions of Exams

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

    Oral exam 30 min
  • 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/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: 2015_1/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 Bioinformtics 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
    Prerequisite to the MSc in Computer science > Advanced courses in Computer Science (Bachelor level)