Commit Graph

146 Commits

Author SHA1 Message Date
9d7860e332 Aggiunge dettagli regole correzione di continuità 2020-06-29 18:22:03 +02:00
9826f4ebc1 Correzione del segno nella formula della varianza di una differenza 2020-06-29 08:50:12 +02:00
f56543e277 Correzioni varie 2020-06-28 10:08:44 +02:00
4cdbeac327 Correzioni varie 2020-06-27 10:15:08 +02:00
edf2f56d91 Correzioni varie 2020-06-24 10:52:04 +02:00
4d366ba638 Correzioni varie 2020-06-23 10:53:07 +02:00
13d1a4a56f Correzioni varie 2020-06-22 10:30:06 +02:00
c8c1f880af Correzioni varie 2020-06-20 10:08:17 +02:00
bdc4d57742 Correzioni varie 2020-06-19 10:19:03 +02:00
72aabfceff Logica 2020-06-15 2020-06-18 17:29:50 +02:00
c8e55b2860 Programmazione Concorrente 26 2020-06-15 19:31:39 +02:00
6c9d48c320 Programmazione Concorrente 25 2020-06-15 17:00:05 +02:00
29cb1178b0 Correzioni varie 2020-06-13 09:15:37 +02:00
ae81a68ed2 Aggiunge $\phi$ mancante in definizione espansione di Herbrand 2020-06-12 14:55:54 +02:00
b1b1616f65 Logica 2020-06-08 2020-06-12 13:32:50 +02:00
61673763c0 Correzioni varie 2020-06-12 09:32:17 +02:00
fd409a7de5 Programmazione Concorrente 24 2020-06-11 18:36:02 +02:00
0f2745f2b2 Programmazione Concorrente 23 2020-06-11 16:04:40 +02:00
45b65938ad Correzioni varie 2020-06-11 10:51:46 +02:00
e5f1698eb4 Logica 2020-06-04 2020-06-10 17:17:30 +02:00
c3179fee4e Correzioni varie 2020-06-10 10:03:09 +02:00
b1295c6cb0 Correzioni varie 2020-06-09 12:19:45 +02:00
fdfd78f6fd Logica 2020-06-03 2020-06-08 19:36:44 +02:00
e0fdbe41ba Programmazione Concorrente 22 2020-06-06 11:29:56 +02:00
02895b3cad Programmazione Concorrente 21 2020-06-04 17:43:15 +02:00
123235ea97 Logica 2020-05-29 2020-06-04 13:59:46 +02:00
04383191a5 Programmazione Concorrente 20 2020-06-04 12:14:49 +02:00
758de55d1c Corregge titolo sezione "Classificazione delle formule" 2020-06-04 09:10:35 +02:00
309b3bd3a5 Corregge errore da copia-incolla 2020-06-03 18:26:55 +02:00
3d2be7d4b4 Logica 2020-05-28 2020-06-03 18:21:29 +02:00
e5d51f5e79 Logica 2020-05-26 2020-06-03 12:32:55 +02:00
86979b1ab5 Programmazione Concorrente 19 2020-06-03 09:52:05 +02:00
13fd73c48b Programmazione Concorrente 18 2020-06-03 09:36:50 +02:00
ece5ca3acf Cancella file rinominati in commit precedente 2020-06-02 19:41:01 +02:00
bf62f8d3ba Rimuove date inutili Programmazione Concorrente 2020-06-02 19:35:39 +02:00
3f0944c152 Probabilità e Statistica 2020-05-26 2020-06-02 09:16:53 +02:00
43aaf7fbbb Logica 2020-05-25 2020-06-01 13:16:57 +02:00
95d9db2a38 Modelli Innovativi 2020-05-28 2020-05-28 20:20:25 +02:00
0ac6a2e6c6 Logica 2020-05-22 2020-05-26 15:26:10 +02:00
6bbfd7dc84 Logica 2020-05-21 2020-05-26 10:00:42 +02:00
f4f986fc0a Logica 2020-05-19 2020-05-25 11:45:13 +02:00
8eaa2df590 Logica 2020-05-18 2020-05-25 11:24:59 +02:00
187ceef5a1 Corregge estensione file rinominato 2020-05-25 11:21:26 +02:00
16c7af45f2 Suddivide argomenti logica proposizionale e del primo ordine 2020-05-25 11:16:39 +02:00
ee3a8bd4ab Programmazione Concorrente 2020-04_03 2020-05-22 20:06:28 +02:00
918e2a24ce Probabilità e Statistica 2020-05-19 2020-05-22 19:20:49 +02:00
b0816e9fe8 Modelli Innovativi 2020-05-21 2020-05-21 18:54:22 +02:00
5ea265fa6a Modelli Innovativi 2020-05-19 2020-05-19 19:01:40 +02:00
11e9acfefc Logica 2020-05-14 2020-05-16 12:44:41 +02:00
5004ec3971 Logica 2020-05-12 2020-05-16 12:42:58 +02:00