PDF Archive

Easily share your PDF documents with your contacts, on the Web and Social Networks.

Share a file Manage my documents Convert Recover Search Help Contact



Appunti completi + dimostrazioni EDIT 2015 LS v3p.pdf


Preview of PDF document appunti-completi-dimostrazioni-edit-2015-ls-v3p.pdf

Page 1 2 34572

Text preview


Indice
1 Introduzione
1.1 Informazioni su questo documento . . . . . . .
1.1.1 Collegamenti cliccabili (quasi) ovunque!
1.1.2 Ringraziamenti e note varie . . . . . . .
1.2 Informazioni sul corso di EDIT 2014/2015 . . .
1.2.1 Contenuti . . . . . . . . . . . . . . . . .
1.2.2 Modalit`
a di accertamento del profitto .
1.2.3 Libri di testo consigliati . . . . . . . . .
1.2.4 Programma di studio dai libri di testo .

I

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

Calcolabilit`
a

7
7
7
7
8
8
8
8
8

9

2 S-Programmi e funzioni calcolabili
2.1 S : Un linguaggio di programmazione universale . . . . .
2.2 Alcuni esempi di S -Programmi . . . . . . . . . . . . . . .
2.2.1 Primo esempio . . . . . . . . . . . . . . . . . . . .
2.2.2 La macro GOTO L . . . . . . . . . . . . . . . . . .
2.2.3 Un programma che calcoli la funzione identit`a . .
2.2.4 La macro V Ð 0 - Azzeramento di una variabile .
2.2.5 La macro di assegnazione V Ð V 1 . . . . . . . . .
2.2.6 Somma di due variabili . . . . . . . . . . . . . . .
2.2.7 Prodotto di due variabili . . . . . . . . . . . . . . .
2.3 Funzioni totali e funzioni parziali . . . . . . . . . . . . . .
2.3.1 Un problema di analisi . . . . . . . . . . . . . . . .
2.3.2 Dominio di definizione di una funzione . . . . . . .
2.3.3 Funzioni totali e funzioni parziali . . . . . . . . . .
2.4 Sintassi . . . . . . . . . . . . . . . . . . . . . . . . . . . .
2.4.1 S-Asserzione . . . . . . . . . . . . . . . . . . . . .
2.4.2 S-Istruzione . . . . . . . . . . . . . . . . . . . . . .
2.4.3 S-Programma . . . . . . . . . . . . . . . . . . . . .
2.4.4 Stato di un S-Programma . . . . . . . . . . . . . .
2.4.5 Istantanea di un S-Programma . . . . . . . . . . .
2.4.6 Istantanea terminale . . . . . . . . . . . . . . . . .
2.4.7 Istantanea successore . . . . . . . . . . . . . . . . .
2.5 Funzioni calcolabili . . . . . . . . . . . . . . . . . . . . . .
2.5.1 Calcolo terminante e non . . . . . . . . . . . . . .
2.5.2 Istantanea iniziale . . . . . . . . . . . . . . . . . .
2.5.3 Funzioni parzialmente calcolabili . . . . . . . . . .
2.5.4 Funzioni calcolabili . . . . . . . . . . . . . . . . . .
2.6 Altre macro . . . . . . . . . . . . . . . . . . . . . . . . . .
2.6.1 Z Ð X1 ` X2 . . . . . . . . . . . . . . . . . . . . .
2.6.2 Z Ð X1 ´ X2 . . . . . . . . . . . . . . . . . . . . .
2.6.3 Z Ð f pw1 , ¨ ¨ ¨ , wn q con f parzialmente calcolabile
2.6.4 Predicati . . . . . . . . . . . . . . . . . . . . . . .
3

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

11
11
12
12
12
12
12
12
13
13
13
13
13
13
14
14
14
14
14
14
14
15
15
15
15
16
16
16
16
16
16
16