Transcript Informatica

Informatica
CdL in Matematica A.A. 2013/2014
Parte 4
Roberto Zunino
Linguaggi e Paradigmi
Specifiche
Algoritmi
Algoritmi: esempi
Algoritmi: esempi
Algoritmi e Specifiche
Linguaggi di programmazione
Sintassi e Semantica
Programmazione
Paradigmi
Paradigma funzionale
Paradigma imperativo
Paradigma logico
Esempi
Esempi
Esempi
Esempi
Esempi
Esempi
Esempi
In questo corso
Conclusioni
IMP
un linguaggio di programmazione imperativa
Espressioni di IMP
Variabili e Stato
Espressioni di IMP: Sintassi
Espressioni di IMP: Sintassi
Semantica delle espressioni
Semantica delle Espressioni
Semantica delle Espressioni
Determinismo
Determinismo (2)
Totalità
Comandi di IMP
Sintassi Completa di IMP
Semantica dei comandi “a passi grandi”
(big step)
Semantica big step
Semantica big step
Semantica big step
Semantica big step
Esempio
Esempio: somma 1..n
Derivazione per un while
Esempi
Dimostrazioni di Correttezza
Esempi
Esempi
Esercizio
Esempi
Alcune proprietà
della semantica di IMP
Determinismo
Non totalità
Non totalità
Non totalità
Non totalità
Non totalità
Non totalità
Non totalità
Semantica come Funzione
Semantica come Funzione
Equivalenza
Esercizi
Esercizio
Esercizio
Esercizi
Esercizi
Esercizio
Semantica dei comandi “a passi piccoli”
(small step)
Semantica small step
Semantica small step
Semantica small step
Semantica small step
Semantica small step
Semantica small step
Semantica small step
Corrispondenza small/big step
Corrispondenza small/big step
Perché due semantiche
Complessità Computazionale
Complessità Computazionale
Notazione O grande
Complessità Asintotica
Algoritmo per la Potenza
Algoritmo “del Contadino Russo”
Valutare un Polinomio