From 64ef749f5dfffeadb3f719f5650dd2ef8af1fcec Mon Sep 17 00:00:00 2001
From: Francesco Mecca <me@francescomecca.eu>
Date: Fri, 24 Apr 2020 23:46:19 +0200
Subject: [PATCH] labs .1

---
 anno3/vpc/consegne/1.definizioni.org | 120 +++++++++++++++++++++++++++
 1 file changed, 120 insertions(+)
 create mode 100644 anno3/vpc/consegne/1.definizioni.org

diff --git a/anno3/vpc/consegne/1.definizioni.org b/anno3/vpc/consegne/1.definizioni.org
new file mode 100644
index 0000000..ef68c94
--- /dev/null
+++ b/anno3/vpc/consegne/1.definizioni.org
@@ -0,0 +1,120 @@
+* Definizioni
+
+** Numeri naturali
+
+I numeri naturali sono i numeri appartenenti all'insieme dei numeri naturali ℕ,
+ovvero tutti i numeri maggiori  o uguali a 0.
+
+Possiamo definire i numeri naturali utilizzando la rappresenzationa di
+Von Neumann:
+
+- definifiamo la funzione /successore(n)/ come:
+    | successore(n) = n ∪ {n}
+- 0 = ∅
+- 1 = 0 ∪ {0} = {∅}
+- 2 = 1 ∪ {1} = {0, 1}
+- 3 = 2 ∪ {2} = {0, 1, 2}
+- n = n-1 ∪ {n-1} = {0, 1, 2, ..., n-1}
+
+
+** Numeri interi
+
+I numeri interi sono i numeri appartenenti all'insieme dei numeri interi ℤ,
+ovvero tutti i numeri il cui valore assoluto e` un numero naturale.
+
+Possiamo rappresentare intuitivamente l'insieme dei numeri interi ℤ
+come {n | ∃(a,b) ∈ ℕ×ℕ, n = a-b}
+
+
+** Numeri razionali
+
+I numeri razionali sono i numeri appartenenti all'insieme dei numeri razionali ℤ,
+ovvero tutti i numeri rappresentabili tramite un numero razionale o
+come il limite di una sequenza di numeri razionali che non si ripete e
+non termina (numeri irrazionali).
+
+
+** Intersezione
+
+L'intersezione fra due insiemi e` a sua volta un insieme contenente
+gli elementi in comune fra i due insiemi:
+| A∩B = {x | x∈A ∧ x∈B}
+
+** Unione
+
+L'unione fra due insiemi e` a sua volta un insieme contenente
+gli elementi dei due insiemi:
+| A∩B = {x | x∈A ∨ x∈B}
+
+** Differenza
+
+La differenza fra due insiemi e` a sua volta un insieme contenente
+tutti gli elementi presenti nell'insieme a sinistra della differenza ma
+non non contenuti nell'insieme a destra:
+| A\B = {x | x∈A ∧ x∉B}
+
+** Insieme Potenza
+
+L'insieme potenza di un insieme S, ℘(S), anche detto power set di S e`
+l'insieme che contiene tutti i sottoinsiemi di S.
+
+** Complemento di un insieme
+Il complemento di un insieme e` a sua volta un insieme che contiene
+tutti gli elementi che non appartengono all'insieme di partenza:
+| Aᶜ = {a | a∉A}
+
+** Insieme contenuto
+
+Un insieme A si dice contenuto in B se tutti gli elementi di A sono a
+loro volta elementi di B:
+| A⊆B iff ∀a∈A, a∈B
+
+** Insieme strettamente contenuto
+
+Un insieme A si dice strettamente contenuto in B se tutti gli elementi di A sono a
+loro volta elementi di B ma ci sono degli elementi di B che non
+appartengono ad A:
+| A⊂B iff (∀a∈A, a∈B) ∧ (∃b∈B | b∉A)
+
+** Prodotto Cartesiano
+
+Il prodotto cartesiano di due insiemi e` un insieme contenente tutte
+le coppie ordinate di cui il primo elemento appartiene al primo
+insieme ed il secondo elemento al secondo insieme:
+| A × B = {(a, b) | a∈A ∧ b∈B} 
+
+** Arieta` n
+Si definisce arietà di una relazione R il numero di insiemi
+a cui si applica quella relazione. Se una relazione ha arietà n:
+| R ⊆ A₁×A₂×...×Aₙ
+
+** Relazione binaria
+
+Si definisce una relazione R binaria quando R ha arieta` 2:
+| R ⊆ A₁×A₂
+** Proprieta` riflessiva
+Considerato un insieme A e una relazione R, diciamo che R e` una
+relazione riflessiva se:
+| ∀a∈A, aRa
+
+** Proprieta` simmetrica
+Considerato un insieme A e una relazione binaria R, diciamo che R e` una
+relazione simmetrica se:
+| ∀a,b∈A, aRb ⇔ bRa
+
+** Proprieta` transitiva
+Considerato un insieme A e una relazione binaria R, diciamo che R e` una
+relazione transitiva se:
+| ∀a,b,c∈A, aRb ∧ bRc → aRc
+
+** Relazione di equivalenza
+Una relazione binaria che e` allo stesso tempo riflessiva, simmetrica
+e transitiva si dice relazione d'equivalenza.
+
+** Chiusura transitiva
+
+Considerato un insieme A e una relazione binaria R, definiamo chiusura
+transitiva la piu` piccola relazione transitiva R⁺ sull'insieme A che
+contiene R:
+| R⊆R⁺ ∧ (∀T, R⊆T → R⁺⊆T (R⁺ is minimal))
+Se la relazione R e` transitiva, allora R=R⁺