Argomenti del programma: Per il Modulo/corso "Automated Reasoning" gli argomenti principali saranno (non necessariamente in ordine): Teoria: * Ragionamento Booleano E Soddisfacibilità Proposizionale (SAT) * Ordered Binary Decision Diagrams * Tecniche moderne di SAT Solving (CDCL) * Funzionalità Estese per SAT * Satisfacibilità Modulo Teorie (SMT) * Funzionalità Estese per SMT * Logiche temporali: LTL, CTL e CTL* * Modelli di Kripke e Model…

Apri la scheda ufficiale ›

Aiutaci a tenerci aggiornati

Il prof ha indicato altri libri, pagine o modifiche? Scrivicelo.

Apri nel catalogo: Mathematics – sede di Trento, 2º anno, tutte le materie e i canali ›

Testi d'esame di Multimedia Data Security del prof. Giulia Boato, canale unico, corso di laurea in Mathematics – sede di Trento (Laurea magistrale (LM-40)), Università di Trento, esame facoltativo · Cryptography · 6 CFU, a.a. 2026/2027. Libri adottati: Clarke – Model checking; Principles of Model Checking; Baier – Principles of model checking.

Altre materie del prof. Boato

Deepfake Detection And Multimedia Security · Computer Science – sede di Trento · esame facoltativo · ICT Innovation · 6 CFU
Multimedia Data Security · Information Engineering – sede di Trento · 2º anno · 1º semestre · Computer Engineering · 6 CFU
Calcolo delle Probabilità · Ingegneria informatica, delle comunicazioni ed elettronica – sede di Trento · esame facoltativo · 6 CFU

Vedi anche: Prof. Giulia Boato · Multimedia Data Security a Trento (tutti i canali)