| | | corso | | | | |
Teoria della programmazione
Codice: | AA050 | Crediti: | 6 | Semestre: | 1 | Sigla: | TP | |
|
Settore disciplinare: | INF/01 - Informatica |
Docente
Giorgio Germano
Tel. 0502212731Prerequisiti
Cultura matematica di base. Qualche conoscenza di programmazione ricorsiva.
Obiettivi di apprendimento
Questa lezione intende fornire alcune tecniche matematiche elementari da applicare alle procedure ricorsive per
1. scriverne più pulitamente il testo,
2. capirne più compiutamente il funzionamento,
3. determinarne più agevolmente le proprietà .
Descrizione
Impareremo anzitutto a vedere la nota programmazione deterministica come un caso speciale di programmazione indeterministica, facendo uso di parallelismo concorrente e non concorrente.
Nell' ambito più ampio della programmazione indeterministica sarà molto facile vedere come la ricorsività è connessa con l'induttività.
A questo punto si ottengono immediatamente le applicazioni interessanti per le procedure ricorsive usuali.
Speciale attenzione sarà dedicata alla modularità dei procedimenti.
English Description
A mathematical introduction to recursive programming.
Programma
Programmazione deterministica e indeterministica.
Sequenzialità, parallelismo, coniugazione.
Insiemi induttivi, relazioni ricorsive e funzioni ricorsive.
Algebre di Peano.
Bibliografia
Testo: dispense fornite dal docente.
Riferimenti:
R. Dedekind, Was sind und was sollen die Zahlen ? , Vieweg 1888 ;
G. Birkhoff, Lattice Theory, Amer. Math. Soc. Colloqium 1967 ;
B. A. Davey et alii , Introduction to Lattices and order , Cambridge University Press, 1990 ;
S. Mac Lane et alii , Sheaves in Geometry and Logic, Springer 1992 .
Modalità di esame
Progetto ed esame orale.