Metodi per il ragionamento automatico
A.A. 2025/2026
Obiettivi formativi
L'insegnamento si propone di fornire allo studente le tecniche di base del calcolo parallelo per il trattamento di problemi provenienti dell'approssimazione di equazioni alle derivate parziali, e dell'algebra lineare numerica in generale.
Risultati apprendimento attesi
Saper utilizzare, conoscendone i principi di funzionamento, strumenti quali SMT-solvers e superposition provers.
Periodo: Secondo semestre
Modalità di valutazione: Esame
Giudizio di valutazione: voto verbalizzato in trentesimi
Corso singolo
Questo insegnamento non può essere seguito come corso singolo. Puoi trovare gli insegnamenti disponibili consultando il catalogo corsi singoli.
Programma e organizzazione didattica
Edizione unica
Responsabile
Periodo
Secondo semestre
MAT/01 - LOGICA MATEMATICA - CFU: 6
Esercitazioni: 12 ore
Laboratori: 12 ore
Lezioni: 28 ore
Laboratori: 12 ore
Lezioni: 28 ore
Docente:
Ghilardi Silvio
Docente/i