corso

Programmazione ricorsiva

Codice:	AA583	Crediti:	3	Semestre:	2	Sigla:	RIC

Settore disciplinare:		INF/01 - Informatica

Docente

Giorgio Germano

Tel. 0502212731

Prerequisiti

1. Una qualche pratica di programmazione ricorsiva, e. g. in C .

2. Una buona dimestichezza con le nozioni matematiche di base: insiemi e sequenze, operazioni fondamentali su insiemi e su sequenze.

Obiettivi di apprendimento

1. Far intuire gli aspetti strutturali della ricorsione.

2. Insegnare a gestire le costruzioni ricorsive con facili mezzi grafici.

Descrizione

Questo corso consiste di un breve ciclo di seminari che si propongono di avvicinare lo studente alla ricorsione in modo quasi ludico ed essenzialmente visuale, con una grafica basata sul linguaggio dell'algebra moderna, ma facile e maneggevole.

Indicazioni metodologiche

Si procederà discutendo una serie di esempi, rinviando al corso di teoria della programmazione la trattazione della ricorsione in termini matematici classici, con definizioni e teoremi di carattere generale.

Programma

Alcuni insiemi induttivi di numeri e di stringhe.

Alcuni insiemi induttivi di sequenze trattati con parallelismo e inversione.

Alcune relazioni ricorsive.

Alcune funzioni ricorsive.

Alcune sequenze di relazioni ricorsive simultanee.

Alcune sequenze di funzioni ricorsive simultanee.

Alcune funzioni con una variabile di ricorsione.

Una funzione con due variabili di ricorsione: la funzione di Ackermann.

Ore lezione:

Bibliografia

G. M. Germano, An introduction to recursive programming. Dispensa interna.

Modalità di esame

Relazione e/o progetto.