Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
Definizione 1. esperimento
Definizione 3. evento
lla
-G
- lo spazio delle prove è un evento, detto evento certo, poiché si verifica con
-D
certezza;
IC
IV
-
IS
Definizione 4. probabilità
G
Pr[A] : A ⊆ S → p ∈ R
l la
-G
Pr[A] ≥ 0
IV
-U
Assioma 2. normalizzazione
N
Pr[S] = 1
IS
A
1
In questo caso i tre assiomi definiscono una misura di insiemi. Tuttavia, l’introduzione
dell’assioma 3 in forma forte esclude alcuni tipi di modelli aleatori.
3
Pr[A] ≤ Pr[B] se A ⊆ B
G
Pr[A] ≤ 1
la
-G
Pr[A] = 1 − Pr[A]
IV
quindi si ha la tesi.
Pr[∅] = 0
Pr[A | B] ≥ 0
-D
con E ∩ F = ∅
IV
si ha: Pr[(E ∪ F ), A] =
= Pr[A ∩ (E ∪ F )] / Pr[A] =
-U
= Pr[E, A] + Pr[F, A]
3. Pr[A | B] = Pr[A]
ta
4. Pr[B | A] = Pr[B]
re
1⇒5
T
da 1) si ha
-D
da 5) si ha
IS
A eB A e B A eB
an
In costruzione
-U
N
IS
A
7
2.1. INTRODUZIONE
2.2. FUNZIONI
2.2.1. di probabilità
G
2.2.2. di distribuzione
.E
2.5. CORRELAZIONE
2.5.1. covarianza
Operazioni 1-adiche
operandi operatori
A S A A ∅
∈ ∈ ∈ ∉ ∉
G
∉ ∈ ∉ ∈ ∉
.E
.C
Operatori 1-adici
A identità
an
A complemento rispetto S
ta
re
Operazioni 2-adiche
l la
operandi operatori
A B S ∪ A B ∩ B A ∅
-G
∈ ∈ ∈ ∈ ∈ ∈ ∈ ∈ ∈ ∈ ∉ ∉ ∉ ∉ ∉ ∉ ∉ ∉
AS
∈ ∉ ∈ ∈ ∈ ∈ ∉ ∉ ∉ ∉ ∈ ∈ ∈ ∈ ∉ ∉ ∉ ∉
∉ ∈ ∈ ∈ ∉ ∉ ∈ ∈ ∉ ∉ ∈ ∈ ∉ ∉ ∈ ∈ ∉ ∉
T
∉ ∉ ∈ ∉ ∈ ∉ ∈ ∉ ∈ ∉ ∈ ∉ ∈ ∉ ∈ ∉ ∈ ∉
-D
IC
Operatori 2-adici
IV
S A ∪A = B ∪B
∪ A∪B unione
-U
A ∪B
N
A ∪ B
IS
(A ∩ B) ∪ (A ∩B)
A
∩ A∩B intersezione
------------------------------------------------
∩ A ∪B
(A ∪B) ∩ ( A ∪ B)
A ∩B
A ∩ B
∪ A ∩B
∅ S A ∩A = B ∩B
Inclusione e uguaglianza
A ⊆ B se A ∪ B = B ossia se A ∩ B = A
A ⊇ B se A ∪ B = A ossia se A ∩ B = B
A = B se A ⊆ B e A ⊇ B
10
Simboli: a, b enunciati
1 vero
0 falso
OPERAZIONI 1-ADICHE
operandi operatori
a ≡a ¬a ¬
G
.E
1 1 1 0 0
0 1 0 1 0
.C
an
Operatori 1-adici
ta
≡ identità
re
¬ negazione NOT
lla
-G
OPERAZIONI 2-ADICHE
AS
operandi operatori
T
a b ∨ ⇐ ≡a ⇒ ≡b ⇔ ∧ ¬∧ ¬⇔ ¬b ¬⇒ ¬a ¬⇐ ¬∨ ¬
-D
1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0
IC
1 0 1 1 1 1 0 0 0 0 1 1 1 1 0 0 0 0
IV
0 1 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0
-U
0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0
N
Operatori 2-adici
IS
A
∨ congiunzione “forte” OR
⇐ implicazione (inversa)
a ∨ ¬b
⇒ implicazione (diretta)
b ∨ ¬a
⇔ equivalenza
(a ∧ b) ∨ (¬a ∧ ¬b)
a⇒b∧a⇐b
∧ congiunzione “debole” AND
¬∧ | NAND
¬∨ ∇ NOR
[ciascuno degli operatori NAND e NOR consente di costruire tutti gli altri]