LOGICA MODELLI DI CALCOLO E METODI PROBABILISTICI PER L'INFORMATICA
Canale 1
MARCO CONSOLE
Scheda docente
Programmi - Frequenza - Esami
Programma
Per la sezione del corso "Logica e Modelli di Calcolo"
1 - Logica del primo ordine. Sintassi e Semantica.
2 - Automi a stati finiti.
3 - Macchine di Turing
4 - Computabilità
5 - Complessità
Prerequisiti
Per la sezione del corso "Logica e Modelli di Calcolo"
1 - Conoscenze matematiche di base
2 - Conoscenza dei più comuni linguaggi di programmazione e delle architetture degli elaboratori
3 - Conoscenza approfondita degli algoritmi e delle strutture dati più comuni
Testi di riferimento
I lucidi del corso verranno forniti agli studenti. Per chi volesse approfondire è possibile consultare i seguenti testi.
1 - S. Arora, B. Barak. Computational Complexity: a Modern Approach
2 - C. H. Papadimitriou. Computational Complexity.
Frequenza
Il corso è erogato in modalità di didattica frontale.
Modalità di esame
Per la sezione del corso "Logica e Modelli di Calcolo" l'esame consisterà in una prova scritta.
Modalità di erogazione
Il corso prevede lezioni frontali ed esercitazioni in aula.
FEDERICO FUSCO
Scheda docente
- Codice insegnamento10607005
- Anno accademico2024/2025
- CorsoIngegneria Informatica e Automatica
- CurriculumInformatica (percorso formativo valido anche per il conseguimento del doppio titolo italo-venezuelano)
- Anno3º anno
- Semestre1º semestre
- SSDING-INF/05
- CFU9
- Ambito disciplinareIngegneria informatica