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, PER 21, Room E230
    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
    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

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

    Assessments methods By rating
    Descriptions of Exams

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

  • 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)

    Computer Science 120
    Version: 2019_1/V_01
    BSc in Computer science, Major, 2nd-3rd year > Computer Science 2nd and 3th year (from AS2019 on)

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

    Computer Science 60
    Version: 2019_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: 2019_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 AS2018 on)

    Computer Science [TDHSE] 60
    Version: 2019_1/V_01
    Minor in Computer Science (TDHSE) 60 > Computer Science Minor TDHSE 60 ECTS (from SA2019 on)
    Minor in Computer Science (TDHSE) 60 > Computer Science, Minor TDHSE 60 ECTS elective (from SA2019 on)