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

    Title

    French Méthodes formelles
    German Formale Methoden
    English Formal Methods

    Schedules and rooms

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

    Teaching

    Responsibles
    Teachers
    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
    25.02.2021 15:15 - 18:00 Cours PER 21, Room E230
    04.03.2021 15:15 - 18:00 Cours PER 21, Room E230
    11.03.2021 15:15 - 18:00 Cours PER 21, Room E230
    18.03.2021 15:15 - 18:00 Cours PER 21, Room E230
    25.03.2021 15:15 - 18:00 Cours PER 21, Room E230
    01.04.2021 15:15 - 18:00 Cours PER 21, Room E230
    15.04.2021 15:15 - 18:00 Cours PER 21, Room E230
    22.04.2021 15:15 - 18:00 Cours PER 21, Room E230
    29.04.2021 15:15 - 18:00 Cours PER 21, Room E230
    06.05.2021 15:15 - 18:00 Cours PER 21, Room E230
    20.05.2021 15:15 - 18:00 Cours PER 21, Room E230
    27.05.2021 15:15 - 18:00 Cours PER 21, Room E230
  • Assessments methods

    Examen oral - SP-2021, Session d'été 2021

    Date 14.06.2021 08:00 - 18:00
    Assessments methods By rating
    Comment

    Oral online exam COVID19 / closed book

    Examen oral - SP-2021, Autumn Session 2021

    Assessments methods By rating
    Comment

    Oral exam in prsence/ closed book

  • 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: 2020_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: 2020_1/V_01
    Supplement to the MSc in Computer science > Advanced courses in Computer Science (Bachelor level)

    Additional Programme Requirements to the MSc in Computer Science [MA]
    Version: 2018_1/V_01
    Supplement to the MSc in Computer science > Advanced courses in Computer Science (Bachelor level)

    Additional TDHSE programme in Computer Science
    Version: 2020_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 - Information Systems - 180 ECTS
    Version: 2020/SA_V01
    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: 2021_1/V_01
    BSc in Computer science, Major, 2nd-3rd year > Computer Science 2nd and 3th year (from AS2021 on)

    Computer Science 30
    Version: 2020_1/V_01
    Minor in Computer science 30 > Computer Science, Minor 30 or 60 ECTS elective (from AS2019 on)

    Computer Science 60
    Version: 2020_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: 2020_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 [TDHSE] 60
    Version: 2021_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: 2020_1/V_01
    Prerequisite to the MSc in Bioinformtics and Computational Biology > Advanced courses in Computer Science (Bachelor level)