Laboratorio di programmazione - Computer Science - Università ...

More documents

Recommendations

Info

$(Microsoft PowerPoint - 03_Gruppi_Alcani [modalit\340 compatibilit ...$

Parte II • Semantica delle strutture di controllo di flusso. • Chiamate di procedura. Scoping statico e dinamico. • Stack di attivazione. • Eccezioni. • Concorrenza. • Linguaggi di programmazione per il web. CGI. • Esempi di linguaggi di programmazione: Fortran, C, Pascal, C++, Java, ML, Prolog. • Le fasi di un compilatore. • Un semplice linguaggio imperativo: Tiger. • Analisi lessicale. • Automi a stati finiti. • Uno strumento per l'analisi lessicale: JLex. • Analisi sintattica. • Grammatiche LR(k). • Uno strumento per l'analisi sintattica: Cup. • Sintassi astratta. • Analisi semantica. • Generazione del codice intermedio. • Selezione delle istruzioni. • Analisi di liveness. • Analisi dataflow. • Ottimizzazione dei cicli. Testi di riferimento • Pratt: ``Linguaggi di Programmazione''. Gruppo editoriale Jackson. Oppure la versione inglese, Pratt & Zelkowitz: ``Programming Languages: Design and Implementation'', Prentice Hall−International. • Andrew W. Appel: ``Modern Compiler Implementation in Java''. Cambridge University Press. Modalità d'esame L'esame è formato da un progetto, uno scritto e un orale. Il progetto consiste in una modifica del compilatore per Tiger descritto durante il corso. Modalità d'esame non inserito Logica matematica Docente Ruggero Ferro − titolare Crediti 6 Periodo 2º quadrimestre
Obiettivi formativi L'esistenza stessa dell'informatica dipende dalla capacità di rappresentare adeguatamente nozioni ed elaborarle attraverso opportune trasformazionidelle loro rappresentazioni. Detto altrimenti l'informatica dipende dalledistinzioni e legami tra semantica e sintassi. Lo scopo di questo insegnamentoè l'evidenziazione e lo studio del rapporto tra semantica e sintassi,mettendo in luce potenzialità e limiti dei linguaggi formali. Attività formative Il corso viene svolto in 54 ore di lezione/esercitazione frontale. Programma del corso Richiami a strutture, linguaggi formali del primo ordine, definizionebase di verità in una realizzazione, soddisfacibilità, validità, conseguenza logica. Il problema del controllo sintattico della soddisfacibilità. Alberi di confutazione per l'analisi delle formule a blocchi. Insiemi di Hintikka.Teoremi di validità, di completezza e di compattezza rispetto aglialberi di confutazione. Teoremi di Lowenheim Skolem. Categoricità e alfa categoricità. Paradosso di Skolem. Linguaggi numerabili e alberi per l'analisi delle formule una ad una. Cenni alla deduzione naturale. Forme normali. Il metodo di risoluzione. Deduzione alla Hilbert. Teorema di deduzione. Insiemi massimali consistenti. Insiemi di Henkin. Teoremi di validità e completezza per la deduzione alla Hilbert. Modalità di verifica La verifica del profitto avviene mediante una prova orale in modalità scritta. Matematica di base Docente Ruggero Ferro − supplente Crediti 4 Periodo 1º quadrimestre Obiettivi formativi Obiettivo dell'insegnamento è chiarire e precisare le nozioni fondamentali e indispensabili per lo sviluppo della matematica e di ogni altra disciplina scientifica. Attività formative Il corso viene svolto in 36 ore di lezione/esercitazione frontale. Programma del corso Le nozioni basilari di teoria degli insiemi. Particolarità degli insiemi infiniti. La nozione di relazione. Relazioni di equivalenza e relazioni d'ordine. Funzioni. Caratteristiche delle funzioni e operazioni fondamentali su di esse. Strutture. Linguaggio del primo ordine e nozione di veritàdi una formula in una struttura. Validità, soddisfacibilità e conseguenza logica. I numeri naturali e il principio d'induzione. Modalità di verifica La verifica del profitto avviene mediante una prova orale in modalità scritta.
Page 1 and 2: Università degli studi di Verona F
Page 3 and 4: A partire dall’anno accademico 20
Page 5 and 6: Architetture software 8 Laboratorio
Page 7 and 8: 7.1. Presentazione delle domande La
Page 9 and 10: Qualora il numero delle domande fos
Page 11 and 12: ichiesta va espressa una volta eman
Page 13 and 14: numerico. ¨ Ricerca Operativa (MAT
Page 15 and 16: 10. Informazioni utili Sul sito Web
Page 17 and 18: Attività formative Lezioni in aula
Page 19 and 20: tenere in alcun conto l'esito dell'
Page 21 and 22: processo di codifica di un programm
Page 23 and 24: di modellazione e di specifica dell
Page 25 and 26: Istruzioni SQL per: la creazione di
Page 27 and 28: Crediti 4 Periodo 3º quadrimestre
Page 29 and 30: cardinali della dinamica di un sist
Page 31 and 32: Programma del corso • Automi e li
Page 33 and 34: Interazione uomo−macchina e multi
Page 35 and 36: Obiettivi formativi Il corso si pro
Page 37 and 38: 5. Linguaggio HTML: struttura di un
Page 39: Programma del corso • Introduzion
Page 43 and 44: v.a. e sue proprieta'. Varianza, de
Page 45 and 46: Attività formative Il corso preved
Page 47 and 48: grafica. Teorema degli scarti compl

Laboratorio di programmazione - Computer Science - Università ...

You also want an ePaper? Increase the reach of your titles

Delete template?

Save as template?