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

    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
    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
    20.02.2020 15:15 - 18:00 Cours PER 21, Room E230
    27.02.2020 15:15 - 18:00 Cours PER 21, Room E230
    05.03.2020 15:15 - 18:00 Cours PER 21, Room E230
    12.03.2020 15:15 - 18:00 Cours PER 21, Room E230
    19.03.2020 15:15 - 18:00 Cours PER 21, Room E230
    26.03.2020 15:15 - 18:00 Cours PER 21, Room E230
    02.04.2020 15:15 - 18:00 Cours PER 21, Room E230
    09.04.2020 15:15 - 18:00 Cours PER 21, Room E230
    23.04.2020 15:15 - 18:00 Cours PER 21, Room E230
    30.04.2020 15:15 - 18:00 Cours PER 21, Room E230
    07.05.2020 15:15 - 18:00 Cours PER 21, Room E230
    14.05.2020 15:15 - 18:00 Cours PER 21, Room E230
    28.05.2020 15:15 - 18:00 Cours PER 21, Room E230
  • Assessments methods

    Written exam - SP-2020, Session d'été 2020

    Assessments methods By rating
    Descriptions of Exams

    COVID-19 - SS2020 / Exam session SUMMER 2020

    Oral Online-Exam

    Duration: 60 minutes

     

     

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

    Written exam - SP-2020, Autumn Session 2020

    Date 07.09.2020 14:00 - 15:00
    Assessments methods By rating
    Descriptions of Exams

    COVID-19 - SS2020 / Exam session SUMMER 2020

    Oral Online-Exam

    Duration: 60 minutes

     

     

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