Logica e Metodi Probabilistici per L'Informatica – prof. Stefano Leonardi, Nicola Galesi

Scienze matematiche per l’intelligenza artificiale · Sapienza Università di Roma · 3º anno · 2º semestre · 6 CFU · a scelta (Gruppo opzionale A) · canale unico

Testi d'esame di Logica e Metodi Probabilistici per L'Informatica del prof. Stefano Leonardi, Nicola Galesi, canale unico, corso di laurea in Scienze matematiche per l’intelligenza artificiale (Laurea triennale (L-35)), Sapienza Università di Roma, 3º anno · 2º semestre · 6 CFU · a scelta (Gruppo opzionale A), a.a. 2026/2027. Libri adottati: Randomized Algorithms and Probabilistic Analysis, M. Mitznmacher, E..

Logica e Metodi Probabilistici per L'Informatica – Prof. Stefano Leonardi, Prof. Nicola Galesi Canale unico

Corso di laurea: Scienze matematiche per l’intelligenza artificiale · Laurea triennale (L-35) · 3º anno · 2º semestre · 6 CFU · a scelta (Gruppo opzionale A)

Sapienza · Ingegneria dell'informazione, informatica e statistica / Scienze Matematiche, Fisiche e Naturali · 6 CFU · apri nel catalogo

Il docente indica 1 testo

[1] Probability and Computing

Randomized Algorithms and Probabilistic Analysis, M. Mitznmacher, E.Vai su Amazon ›Verificato sulla scheda ufficiale il 19/09/2026

Bacheca del docente: cosa indica di studiare

Argomenti del programma: PROGRAMMA IN ITALIANO DOCENTE Parte Logica: Prof. Nicola Galesi. Email: [email protected] 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.

Apri la scheda ufficiale ›

Aiutaci a tenerci aggiornati

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

Altre materie del prof. Leonardi, Galesi

Economics And Computation · Ingegneria Gestionale - Management Engineering · 2º anno · 2º semestre · Economia e gestione dell'innovazione e della tecnologia · 6 CFU · a scelta (EGIT-10-11)
Economics And Computation · Data Science · 2º anno · 2º semestre · 6 CFU · a scelta (Gruppo opzionale D)
Algorithm Design · Engineering in Computer Science and Artificial Intelligence - Ingegneria Informatica e Intelligenza Artificiale · 1º anno · 2º semestre · 6 CFU
Economics And Computation · Engineering in Computer Science and Artificial Intelligence - Ingegneria Informatica e Intelligenza Artificiale · 2º anno · 2º semestre · 6 CFU · a scelta (Caratterizzanti ING-INF/05)
Computational Complexity · Engineering in Computer Science and Artificial Intelligence - Ingegneria Informatica e Intelligenza Artificiale · 1º anno · 2º semestre · 6 CFU · a scelta (Caratterizzanti ING-INF/05)

Altri esami del 3º anno – Scienze matematiche per l’intelligenza artificiale

Calcolo Scientifico · 2º semestre · Davide Torlo
Metodi di Intelligenza Artificiale per la Fisica · 2º semestre · Stefano Giagu
Biologia Computazionale · 1º semestre · Livia Perfetto
Fisica dei Terremoti e Machine Learning · 1º semestre · Chris James Marone

Vedi anche: Prof. Stefano Leonardi · Prof. Nicola Galesi · Logica e Metodi Probabilistici per L'Informatica a Sapienza (tutti i canali)