Teoria della programmazione

Giorgio Germano      Tel. 0502212731

Cultura matematica di base. Qualche conoscenza di programmazione ricorsiva.

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à .

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 otterremo facilmente le applicazioni interessanti per le procedure ricorsive usuali. Speciale attenzione sarà dedicata alla modularità dei procedimenti.

A mathematical introduction to recursive programming.

Programmazione deterministica e indeterministica. Sequenzialità e parallelismo. Insiemi induttivi, relazioni ricorsive e funzioni ricorsive.

Testo: dispense fornite dal docente. Riferimenti: G. Birkhoff, Lattice Theory, Amer. Math. Soc. Colloqium 1967 ; B. A. Davey et alii , Introduction to Lattices and order , Cambridge University Press, 1990. W. Wechler, Universal Algebra for Computer Scientists, Springer 1992.

Esame orale e/o progetto.