Schema della sezione
-
Estensioni del linguaggio del primo ordine
- Notazione intensionale per insiemi, Predicato di Appartenenza, Insieme vuoto
- Relazioni di ordinamento su naturali: definizioni e leggi
- Definizioni e notazione per intervalli
- Leggi dell'intervallo per quantificatori
- Definizione di array
- Formalizzazione di enunciati su array
Dispense: [LP2], pag 1-9.
- Notazione intensionale per insiemi, Predicato di Appartenenza, Insieme vuoto