Sapienza Università di Roma · Ingegneria dell'informazione, informatica e statistica · libri consigliati, cosa studiare e orario delle lezioni, a.a. 2026/2027
Computational Complexity Canale unico
Ingegneria dell'informazione, informatica e statistica · esame facoltativo · 6 CFU · apri nel catalogo
Argomenti del programma: 1. Preliminari su Classi di Complessità [2 settimane] 1.1 Modelli teorici di computazione. Risorse computazionali: tempo e spazio. 1.2 Classi di complessità di Tempo e Spazio 1.3 Il problema P versus NP 1.4 NP e NP-completezza 1.5 Problemi non trattabili quando le risorse computazionali sno limitate 1.6 Classi di Complessità: L, NL, P, NP, PSPACE, BPP, RP, #P, IP, 1.7 risultati principali 2.
Logica Matematica Canale unico
Ingegneria dell'informazione, informatica e statistica · 2º anno · 1º semestre · 6 CFU · apri nel catalogo
Il docente non ha ancora pubblicato i testi per questo canale.
Cosa indica di studiare il docente
Argomenti del programma: Logica Proposizionale 1.1 Senso e Denotazione 1.2 Connettivi booleani 1.3 Sintassi:Formule e induzione 1.4 Semantica per la logica proposizionale 1.4.1 Tavole di Verità, Interpretazioni 1.4.2 Soddisfacibilità, Insoddisfacibilità e Tautologie 1.4.3 Implicazione Logica e Deduzione semantica 1.5 Formalizzazioni 1.6 Decidiblità della Logica Proposizionale 1.7 Teorema di Compatezza 1.8 Equivalenza Semantica e Forme…
Fondamenti di Matematica Canale 2
Ingegneria dell'informazione, informatica e statistica · 1º anno · 1º semestre · 9 CFU · apri nel catalogo
Il docente non ha ancora pubblicato i testi per questo canale.
Cosa indica di studiare il docente
Argomenti del programma: Cenni di Logica. Teoremi e dimostrazioni. - L’insieme dei numeri reali, sottoinsiemi limitati, sup, inf e assioma di completezza. -Numeri Complessi -Funzioni reali di una variabile reale, funzioni standard (affini, quadratiche, potenze, esponenziali, logaritmiche, trigonometriche): definizione, proprietà e grafico -Limiti di successioni e di funzioni -Derivate e polinomio di Taylor -Integrali -Serie numeriche…
Logica e Metodi Probabilistici per L'Informatica Canale unico
Ingegneria dell'informazione, informatica e statistica · 3º anno · 2º semestre · 6 CFU · apri nel catalogo
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.
Logica Matematica Canale unico
Lettere e Filosofia · 2º anno · 1º semestre · 6 CFU · apri nel catalogo
Il docente non ha ancora pubblicato i testi per questo canale.
Cosa indica di studiare il docente
Argomenti del programma: Logica Proposizionale 1.1 Senso e Denotazione 1.2 Connettivi booleani 1.3 Sintassi:Formule e induzione 1.4 Semantica per la logica proposizionale 1.4.1 Tavole di Verità, Interpretazioni 1.4.2 Soddisfacibilità, Insoddisfacibilità e Tautologie 1.4.3 Implicazione Logica e Deduzione semantica 1.5 Formalizzazioni 1.6 Decidiblità della Logica Proposizionale 1.7 Teorema di Compatezza 1.8 Equivalenza Semantica e Forme…
Logica e Metodi Probabilistici per L'Informatica Canale unico
Scienze Matematiche, Fisiche e Naturali · 3º anno · 2º semestre · 6 CFU · apri nel catalogo
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.
Domande frequenti
Quali libri consiglia il prof. Nicola Galesi per Computational Complexity?