prov Elenco Lezioni
Elenco Lezioni, Argomenti e Riferimenti


 
Data
Ora
Argomento
LUN 24/2/14
11-13
Presentazione del corso
Centralità del concetto di algoritmo. Algoritmi e programmi. Requisiti di un algoritmo Lucidi
MAR 25/2/14
9-11
Introduzione alla Programmazione (Parte 1): fasi della programmazione, concetto di stato, espressioni aritmetiche e booleane. Lucidi
MER 26/2/14
11-13
Introduzione alla Programmazione (Parte 2): istruzioni che modificano lo stato, input, istruzioni di controllo condizionali e di ripetizione nello pseudocodice, esempi d'uso. Lucidi
GIO 27/2/14
14-16
Introduzione alla Programmazione (Parte 3): diagrammi di flusso, attributi degli algoritmi. Lucidi
Laboratorio: l'hardware del calcolatore. Lucidi
LUN 3/3/14
14-16
Laboratorio: rappresentazione binaria. Lucidi
MAR 4/3/14
9-11
Breve introduzione alla Semantica Operazionale. LUCIDI LEGGIBILI
Esercitazione sui comandi iterativi (Parte 1). Lucidi
MER 5/3/14
11-13
Esercitazione sui comandi iterativi (Parte 2). Lucidi
Introduzione al C (Parte 1): il programma "Ciao Mondo", variabili di programma, struttura dei programmi (parte dichiarativa ed esecutiva). Lucidi
GIO 6/3/14
14-16
Introduzione al C (Parte 2): funzione scanf, assegnamento, tipi di dato (interi, caratteri e reali), conversioni di tipo, input/output, espressioni booleane, istruzioni if e if-else. Lucidi
LUN 10/3/14
14-18 (2 turni)
Primo Laboratorio sul C. Lucidi
Alcune soluzioni
MAR 11/3/14
9-11
Introduzione al C (Parte 3): istruzioni if e if-else annidati, istruzione di selezione a più vie (switch), e istruzioni iterative, con iterazioni determinate o indeterminate: istruzioni while, for e do-while. Lucidi
MER 12/3/14
11-13
Introduzione al C (Parte 4): assegnamenti e vettori monodimensionali. Lucidi
GIO 13/3/14
14-16
Introduzione al C (Parte 5): vettori multidimensionali. Lucidi
Esercitazione sui comandi iterativi (Parte 2). Lucidi
LUN 17/3/14
14-18 (2 turni)
Laboratorio su istruzioni condizionali e iterative. Lucidi
Alcune soluzioni
Post-It su caratteri e scanf.
MAR 18/3/14
9-11
Introduzione ai linguaggi regolari e agli automi: Automi a Stati Finiti Deterministici. Lucidi
MER 19/3/14
11-13
Esercitazione sugli Automi a Stati Finiti Deterministici e introduzione agli Automi a Stati Finiti Non Deterministici. Lucidi
GIO 20/3/14
14-16
Automi a Stati Finiti Non Deterministici (Parte 2) Lucidi
Esercitazione su ricerca e verifica (Parte 1). Lucidi
LUN 24/3/14
14-18 (2 turni)
Laboratorio sugli array. Lucidi
Alcune soluzioni
MAR 25/3/14
9-11
Introduzione al C (Parte 6): funzioni. Lucidi
MER 26/3/14
11-13
Un problema computazionale: lo sviluppo di e. [A cura del Professor Francesco Romani] Lucidi
GIO 27/3/14
14-16
Introduzione al C (Parte 7): procedure. Lucidi
Esercitazione su ricerca e verifica (Parte 2). Lucidi
LUN 31/3/14
14-18 (2 turni)
Laboratorio su array e funzioni. Lucidi
Alcune soluzioni
MAR 1/4/14
9-11
Introduzione al C (Parte 8): puntatori. Lucidi
MER 2/4/14
11-13
Introduzione agli Automi a Stati Finiti Non Deterministici con epsilon transizioni. Lucidi
GIO 3/4/14
14-16
Introduzione al C (Parte 9): passaggio dei parametri per indirizzo nelle funzioni, tramite puntatori. Parametri di tipo vettore e matrici. Introduzione alle regole di visibilità. Gestione della memoria e record di attivazione. Lucidi

Esercitazione sulle condizioni nei cicli while. Lucidi
LUN 7/4/14
14-18 (2 turni)
Laboratorio su puntatori. Lucidi
Alcune soluzioni
MAR 8/4/14
9-11
Introduzione alle espressioni regolari. Lucidi
MER 9/4/14
11-13
Proprietà dei linguaggi regolari: il pumping lemma. Lucidi
GIO 10/4/14
14-16
Esercitazione in vista della prima prova di verifica. Lucidi
LUN 14/4/14
14-18 (2 turni)
Laboratorio riassuntivo, in vista della prima prova di verifica. Lucidi
MAR 15/4/14
9-11
Prima Prova di Verifica.
MER 16/4/14
11-12
Correzione prima Prova di Verifica.
GIO 17/4/14
14-16
Inizio vacanze pasquali.
LUN 21/4/14
14-16
Vacanze pasquali.
MAR 22/4/14
9-11
Vacanze pasquali.
MER 23/4/14
11-13
Fine vacanze pasquali.
GIO 24/4/14
11-13
Sospensione attività didattica.
LUN 28/4/14
14-18 (2 turni)
Introduzione al C (Parte 10): ricorsione. Lucidi
Laboratorio sulla ricorsione. Lucidi
Alcune soluzioni
MAR 29/4/14
9-11
Introduzione al C (Parte 11): tipi definiti dall'utente e struct. Lucidi
MER 30/4/14
11-13
Equivalenza e minimizzazione di automi. Lucidi
GIO 1/5/14
14-16
Primo Maggio.
LUN 5/5/14
14-18 (2 turni)
Laboratorio 2 sulla ricorsione. Lucidi
MAR 6/5/14
9-11
Introduzione al C (Parte 12): introduzione alle liste collegate. Lucidi
MER 7/5/14
11-13
Introduzione al C (Parte 13): liste collegate. Lucidi (comprensivi della lezione di ieri)
GIO 8/5/14
14-16
Algoritmi di ordinamento. Lucidi
LUN 12/5/14
14-18 (2 turni)
Laboratorio sulle liste. Lucidi
Alcune soluzioni
MAR 13/5/14
9-11
Introduzione al C (Parte 14): ancora liste collegate. Lucidi
MER 14/5/14
11-13
Grammatiche Libere Lucidi
GIO 15/5/14
14-16
Grammatiche Libere (parte II) (vedi i lucidi di ieri)
LUN 19/5/14
14-18 (2 turni)
Laboratorio su liste e alberi. Lucidi
Lucidi relativi ad una serie di funzioni e procedure sulle liste di uso comune.
MAR 20/5/14
9-10
Cenni alla gerarchia di Chomsky. Lucidi
Pumping Lemma per i linguaggi liberi, proprietà dei linguaggi liberi e alcuni esercizi di riepilogo. Lucidi
MER 21/5/14
11-13
Non tenuta. Seconda prova di verifica dell'anno scorso.
GIO 22/5/14
14-16
I limiti computazionali. [A cura del Professor Roberto Grossi]
VEN 30/5/14
9-11
II prova di verifica.