Elenco Lezioni, Argomenti e Riferimenti
|
Presentazione del corso.
Introduzione all'informatica e centralità del concetto di algoritmo (Parte I).
Lucidi lezione |
||
|
Introduzione all'informatica e centralità del concetto di algoritmo (Parte II).
Lucidi lezione Presentazione del Laboratorio. |
||
|
Concetti di base della programmazione in C: stato, espressioni, assegnamento, input, output, istruzioni di controllo condizionali e ripetitive.
Lucidi lezione |
||
|
Concetti di base della programmazione in C: primi esempi di algoritmi, sfruttando il concetto di stato.
Introduzione alla programmazione in C: analisi e struttura di un programma C, dichiarazioni, direttive, variabili e costanti. Lucidi lezione |
||
|
Primo laboratorio: introduzione al laboratorio: shell, editor e compilazione.
Lucidi lezione |
||
|
Introduzione alla programmazione in C: assegnamento.
Breve esercitazione sui costrutti condizionali.
Lucidi lezione |
||
|
Introduzione alla programmazione in C: tipi di dato semplici, conversioni di tipo e breve esercitazione sui comandi condizionali.
Lucidi lezione |
||
|
Secondo Laboratorio: primi programmi C, dalla stesura all'esecuzione. Esercitazione in classe non valutata.
|
||
|
Introduzione alla programmazione in C: input/output, espressioni booleane, operatori di selezione (If else, if, switch), iterazione determinata.
Lucidi lezione |
||
|
Introduzione alla programmazione in C: iterazione indeterminata, assegnamento e altri operatori, espressioni booleane.
Lucidi lezione Breve introduzione alla Semantica Operazionale (Parte I). Lucidi lezione Capitolo (in inglese) sulla semantica operazionale. |
||
|
Terzo Laboratorio: prima esercitazione valutata. Introduzione alla piattaforma di autovalutazione EVO, esercitazione su variabili, tipi di dato e costrutti condizionali.
|
||
|
Breve introduzione alla Semantica Operazionale (Parte II).
Lucidi lezione |
||
|
Breve introduzione alla Semantica Operazionale (Parte III).
Lucidi lezione (completi sulla Semantica Operazionale) Capitolo (in inglese) sulla semantica operazionale. Introduzione agli automi a stati finiti (parte I) Lucidi lezione Lucidi lezione (Esercitazione) |
||
|
Quarto Laboratorio.
|
||
|
Introduzione alla programmazione in C: array
Lucidi lezione Quinto Laboratorio. |
||
|
Introduzione alla programmazione in C: funzioni e procedure.
Lucidi lezione Introduzione agli automi a stati finiti (parte II): DFA Lucidi lezione |
||
|
Introduzione agli automi a stati finiti non deterministici (Parte I)
Lucidi lezione Lucidi esempio di automa |
||
|
Introduzione agli automi a stati finiti non deterministici (Parte II)
Lucidi esercitazione sugli automi Lucidi esercitazione sullo stato con sequenze tipo array |
||
|
Sesto Laboratorio.
QUIZ per l'accesso alla prima prova di verifica |
||
|
Prima Prova di verifica intermedia
|
||
|
Introduzione alla programmazione in C: regole di visibilità, pile di record di attivazione, ricorsione.
Lucidi lezione |
||
|
Introduzione agli automi a stati finiti non deterministici con epsilon-transizioni, alle espressioni regolari e alle leggi algebriche per gli insiemi.
Lucidi |
||
|
Settimo Laboratorio.
|
||
|
Introduzione alla programmazione in C: i tipi puntatore.
Lucidi lezione |
||
|
Pumping lemma per i linguaggi regolari. Proprietà linguaggi regolari
Lucidi lezione |
||
|
Ottavo Laboratorio.
|
||
|
Introduzione alla programmazione in C: il passaggio di array e matrici; tipi user-defined e struct.
Lucidi lezione |
||
|
Linguaggi regolari: equivalenza e minimizzazione.
Lucidi lezione |
||
|
Nono Laboratorio.
|
||
|
Introduzione alla programmazione in C: allocazione dinamica, liste concatenate (Parte I)
Lucidi lezione |
||
|
Introduzione alla programmazione in C: liste concatenate (Parte II)
Lucidi lezione
Introduzione alle grammatiche libere (Parte I) Lucidi lezione |
||
|
Decimo Laboratorio.
|
||
|
Introduzione alle grammatiche libere (Parte II)
Lucidi lezione Esercitazione sui linguaggi regolari (Parte I) Lucidi lezione |
||
|
Esercitazione sui linguaggi regolari (Parte II)
Lucidi lezione
Esercizi sui linguaggi liberi. Accenni alle proprietà dei linguaggi liberi e, in particolare al Pumping Lemma per i linguaggi liberi. Lucidi lezione Accenni alla gerarchia di Chomsky. Lucidi lezione Introduzione alla programmazione in C: liste concatenate (Parte III) Lucidi lezione Accenni agli alberi binari |
||
|
Undicesimo Laboratorio.
|