Logica e Metodi Probabilistici per L'Informatica

Sapienza Università di Roma · Ingegneria dell'informazione, informatica e statistica · tutti i canali con docenti, libri e orari, a.a. 2026/2027

Prof. Nicola Galesi , Prof. Stefano Leonardi Canale unico

Ingegneria dell'informazione, informatica e statistica · 3º anno · 2º semestre · 6 CFU · apri nel catalogo

[1] Probability and Computing

Randomized Algorithms and Probabilistic Analysis, M. Mitznmacher, E.Vai su Amazon ›

Cosa indica di studiare il docente

Argomenti del programma: PROGRAMMA IN ITALIANO DOCENTE Parte Logica: Prof. Nicola Galesi. Email: galesi@diag.uniroma1.it 1. Ripasso logica proposizionale. sintassi e semantica. Relazioni e formalizzazione in logica proposizionale 2. Problema della soddisfacibilita (SAT) e della validità (TAUT). Algoritmi per SAT. Metodo Davis-Putnam. SAT-solvers e algoritmi CDCL (Conflict Driven Clause Lerning) 3.

Prof. Nicola Galesi , Prof. Stefano Leonardi Canale unico

Scienze Matematiche, Fisiche e Naturali · 3º anno · 2º semestre · 6 CFU · apri nel catalogo

[1] Probability and Computing

Randomized Algorithms and Probabilistic Analysis, M. Mitznmacher, E.Vai su Amazon ›

Cosa indica di studiare il docente