prov
Elenco Lezioni, Argomenti e Riferimenti
Presentazione del corso Centralità del concetto di algoritmo. Algoritmi e programmi. Requisiti di un algoritmo Lucidi |
||
Introduzione alla Programmazione (Parte 1): fasi della programmazione, concetto di stato, espressioni aritmetiche e booleane. Lucidi | ||
Introduzione alla Programmazione (Parte 2): istruzioni che modificano lo stato, input, istruzioni di controllo condizionali e di ripetizione nello pseudocodice, esempi d'uso. Lucidi | ||
Introduzione alla Programmazione (Parte 3): diagrammi di flusso, attributi degli algoritmi.
Lucidi
Laboratorio: l'hardware del calcolatore. Lucidi |
||
Laboratorio: rappresentazione binaria. Lucidi | ||
Breve introduzione alla Semantica Operazionale.
LUCIDI LEGGIBILI
Esercitazione sui comandi iterativi (Parte 1). Lucidi |
||
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 |
||
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 | ||
Primo Laboratorio sul C.
Lucidi
Alcune soluzioni |
||
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 | ||
Introduzione al C (Parte 4): assegnamenti e vettori monodimensionali. Lucidi | ||
Introduzione al C (Parte 5): vettori multidimensionali.
Lucidi
Esercitazione sui comandi iterativi (Parte 2). Lucidi |
||
Laboratorio su istruzioni condizionali e iterative.
Lucidi
Alcune soluzioni Post-It su caratteri e scanf. |
||
Introduzione ai linguaggi regolari e agli automi: Automi a Stati Finiti Deterministici. Lucidi | ||
Esercitazione sugli Automi a Stati Finiti Deterministici e introduzione agli Automi a Stati Finiti Non Deterministici. Lucidi | ||
Automi a Stati Finiti Non Deterministici (Parte 2)
Lucidi
Esercitazione su ricerca e verifica (Parte 1). Lucidi |
||
Laboratorio sugli array.
Lucidi
Alcune soluzioni |
||
Introduzione al C (Parte 6): funzioni. Lucidi | ||
Un problema computazionale: lo sviluppo di e. [A cura del Professor Francesco Romani] Lucidi | ||
Introduzione al C (Parte 7): procedure.
Lucidi
Esercitazione su ricerca e verifica (Parte 2). Lucidi |
||
Laboratorio su array e funzioni.
Lucidi
Alcune soluzioni |
||
Introduzione al C (Parte 8): puntatori. Lucidi | ||
Introduzione agli Automi a Stati Finiti Non Deterministici con epsilon transizioni. Lucidi | ||
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 |
||
Laboratorio su puntatori.
Lucidi
Alcune soluzioni |
||
Introduzione alle espressioni regolari. Lucidi | ||
Proprietà dei linguaggi regolari: il pumping lemma. Lucidi | ||
Esercitazione in vista della prima prova di verifica. Lucidi | ||
Laboratorio riassuntivo, in vista della prima prova di verifica. Lucidi | ||
Prima Prova di Verifica. | ||
Correzione prima Prova di Verifica. | ||
Inizio vacanze pasquali. | ||
Vacanze pasquali. | ||
Vacanze pasquali. | ||
Fine vacanze pasquali. | ||
Sospensione attività didattica. | ||
Introduzione al C (Parte 10): ricorsione.
Lucidi
Laboratorio sulla ricorsione. Lucidi Alcune soluzioni |
||
Introduzione al C (Parte 11): tipi definiti dall'utente e struct. Lucidi | ||
Equivalenza e minimizzazione di automi. Lucidi | ||
Primo Maggio. | ||
Laboratorio 2 sulla ricorsione. Lucidi | ||
Introduzione al C (Parte 12): introduzione alle liste collegate. Lucidi | ||
Introduzione al C (Parte 13): liste collegate. Lucidi (comprensivi della lezione di ieri) | ||
Algoritmi di ordinamento. Lucidi | ||
Laboratorio sulle liste.
Lucidi
Alcune soluzioni |
||
Introduzione al C (Parte 14): ancora liste collegate. Lucidi | ||
Grammatiche Libere Lucidi | ||
Grammatiche Libere (parte II) (vedi i lucidi di ieri) | ||
Laboratorio su liste e alberi.
Lucidi
Lucidi relativi ad una serie di funzioni e procedure sulle liste di uso comune. |
||
Cenni alla gerarchia di Chomsky.
Lucidi
Pumping Lemma per i linguaggi liberi, proprietà dei linguaggi liberi e alcuni esercizi di riepilogo. Lucidi |
||
Non tenuta. Seconda prova di verifica dell'anno scorso. | ||
I limiti computazionali. [A cura del Professor Roberto Grossi] | ||
II prova di verifica. |