Méthodes formelles (exercice supplémentaire) / Formale Methoden (zusätzliche Übung) / Formal Methods (supplement exercice)

  • Unterricht

    Details

    Fakultät Math.-Nat. und Med. Fakultät
    Bereich Informatik
    Code UE-SIN.06031
    Sprachen fr/de/en
    Art der Unterrichtseinheit Übung
    Kursus Bachelor
    Semester SP-2022

    Titel

    Französisch Méthodes formelles (exercice supplémentaire)
    Deutsch Formale Methoden (zusätzliche Übung)
    Englisch Formal Methods (supplement exercice)

    Unterricht

    Verantwortliche
    • Ultes-Nitsche Ulrich
    Dozenten-innen
    • Ultes-Nitsche Ulrich
    Soft Skills Nein
    ausserhalb des Bereichs Nein
    BeNeFri Ja
    Mobilität Ja
    UniPop Nein
  • Leistungskontrolle

    Abgegebene Übungen

    Bewertungsmodus Nach bestanden/nicht bestanden
  • Zuordnung
    Zählt für die folgenden Studienpläne:
    Ergänzende Lehrveranstaltungen in Naturwissenschaften
    Version: ens_compl_sciences
    Paquet indépendant des branches > Fortgeschrittene UE in Informatik (Niveau Bachelor)
    Informatik [3e cycle]
    Version: 2015_1/V_01
    Weiterbildung > Fortgeschrittene UE in Informatik (Niveau Bachelor)
    Informatik [POST-DOC]
    Version: 2015_1/V_01
    Weiterbildung > Fortgeschrittene UE in Informatik (Niveau Bachelor)
    Vorstufe zum MSc in Bioinformatik und computationale Biologie [PRE-MA]
    Version: 2022_1/V_01
    Vorstufe zum MSc in Bioinformtics and Computational Biology > Fortgeschrittene UE in Informatik (Niveau Bachelor)
    Vorstufe zum MSc in Digitale Neurowissenschaft [PRE-MA]
    Version: 2023_1/V_01
    Vorstufe zum MSc in Informatik > Fortgeschrittene UE in Informatik (Niveau Bachelor)
    Vorstufe zum MSc in Informatik [PRE-MA]
    Version: 2022_1/V_01
    Vorstufe zum MSc in Informatik > Fortgeschrittene UE in Informatik (Niveau Bachelor)
    Zusatz zum MSc in Bioinformatics and Computational Biology [MA]
    Version: 2022_1/V_01
    Zusatz zum MSc in Bioinformatics and Computational Biology > Fortgeschrittene UE in Informatik (Niveau Bachelor)
    Zusatz zum MSc in Computer Science [MA]
    Version: 2022_1/V_01
    Zusatz zum MSc in Informatik > Fortgeschrittene UE in Informatik (Niveau Bachelor)
    Zusatz zum MSc in Digitale Neurowissenschaft [MA]
    Version: 2023_1/V_01
    Zusatz zum MSc in Informatik > Fortgeschrittene UE in Informatik (Niveau Bachelor)