650.080 (24S) Verification and Validation for Artificial Intelligence and Cybersecurity

Sommersemester 2024

Anmeldefrist abgelaufen.

Erster Termin der LV
05.03.2024 10:30 - 12:30 online Off Campus
... keine weiteren Termine bekannt

Überblick

Lehrende/r
LV-Titel englisch Verification and Validation for Artificial Intelligence and Cybersecurity
LV-Art Vorlesung-Kurs (prüfungsimmanente LV )
LV-Modell Onlinelehrveranstaltung
Semesterstunde/n 1.0
ECTS-Anrechnungspunkte 12.0
Anmeldungen 22 (30 max.)
Organisationseinheit
Unterrichtssprache Englisch
mögliche Sprache/n der Leistungserbringung Englisch
LV-Beginn 05.03.2024
Anmerkungen

Der Kurs wird von Dozierenden der Universität Udine abgehalten und bewertet.

Zeit und Ort

Liste der Termine wird geladen...

LV-Beschreibung

Intendierte Lernergebnisse

Principles of formal methods for program verification.

Lehrmethodik inkl. Einsatz von eLearning-Tools

Lectures

Inhalt/e

https://users.dimi.uniud.it/~angelo.montanari/courses.php

Prüfungsinformationen

Im Fall von online durchgeführten Prüfungen sind die Standards zu beachten, die die technischen Geräte der Studierenden erfüllen müssen, um an diesen Prüfungen teilnehmen zu können.

Prüfungsmethode/n

Oral exam plus seminar

Prüfungsinhalt/e

Everything

Beurteilungskriterien/-maßstäbe

Thorough understanding and presentation of concepts taught in the course

Beurteilungsschema

Note Benotungsschema

Position im Curriculum

  • Masterstudium Artificial Intelligence and Cybersecurity (SKZ: 993, Version: 20W.1)
    • Fach: Cybersecurity (Pflichtfach)
      • 3.2 Verification and Validation for Artificial Intelligence and Cybersecurity ( 0.0h VC / 12.0 ECTS)
        • 650.080 Verification and Validation for Artificial Intelligence and Cybersecurity (1.0h VC / 12.0 ECTS)
          Absolvierung im 2. Semester empfohlen

Gleichwertige Lehrveranstaltungen im Sinne der Prüfungsantrittszählung

Sommersemester 2023
  • 650.080 VC Verification and Validation for Artificial Intelligence and Cybersecurity (1.0h / 12.0ECTS)
Sommersemester 2022
  • 650.080 VC Verification and Validation for Artificial Intelligence and Cybersecurity (6.0h / 12.0ECTS)
Sommersemester 2021
  • 650.080 VC Verification and Validation for Artificial Intelligence and Cybersecurity (6.0h / 12.0ECTS)