Commit Graph

245 Commits

Author SHA1 Message Date
7116d133ec Modelli Innovativi 2020-05-14 2020-05-15 14:06:45 +02:00
7f9cce3e3f Probabilità e Statistica 2020-05-12 2020-05-14 14:26:39 +02:00
3ae37319ac Modelli Innovativi 2020-05-12 2020-05-12 15:49:19 +02:00
f4261e9c18 Programmazione Concorrente 2020-04_02 2020-05-11 17:41:15 +02:00
02307d02e7 Rimuove simbolo $\square$ (□) dalle dimostrazioni
Lo stesso simbolo viene usato per indicare la fine delle dimostrazioni e
per denotare la clausola vuota nel metodo di risoluzione. L'uso nelle
dimostrazioni non è importante, quindi conviene rimuovendolo, per
evitare di avere un simbolo con due significati.
2020-05-09 18:06:34 +02:00
8cc41dd8ce Logica 2020-05-07 2020-05-09 17:33:48 +02:00
65722c6dd3 Logica 2020-05-05 2020-05-09 15:01:47 +02:00
72fd6b9f7b Modelli Innovativi 2020-05-07 2020-05-08 19:01:22 +02:00
aedda16c33 Esercizi arretrati esercitazione 6 (2020-04-16) 2020-05-08 18:07:10 +02:00
34f49a55da Probabilità e Statistica 2020-05-05 2020-05-07 18:34:02 +02:00
fcb7ce56de Logica 2020-04-30 2020-05-05 20:06:20 +02:00
76c95b2ba4 Logica 2020-04-29 2020-05-05 20:03:41 +02:00
13c995f566 Logica 2020-04-27 2020-05-05 19:59:51 +02:00
0671eb8680 Modelli Innovativi 2020-05-05_2 2020-05-05 19:03:57 +02:00
b4121400ef Modelli Innovativi 2020-05-05_1 2020-05-05 18:28:26 +02:00
309fbc5b47 Correzione errore di battitura 2020-05-02 16:05:48 +02:00
0ce787cb7b Modelli Innovativi 2020-04-30 2020-05-01 18:20:32 +02:00
d94ec3c349 Probabilità e Statistica 2020-04-30 2020-05-01 18:02:46 +02:00
0e4954f8f3 Probabilità e Statistica 2020-04-28 2020-04-30 19:56:40 +02:00
37d117d9a7 Programmazione Concorrente 2020-04_01 2020-04-28 19:02:06 +02:00
a725e34834 Modelli Innovativi 2020-04-28 2020-04-28 13:37:38 +02:00
c5367e67e0 Programmazione Concorrente 2020-03_12 2020-04-27 18:15:15 +02:00
a9c9e76130 Logica 2020-04-23 2020-04-27 17:01:30 +02:00
ca2b135bfe Logica 2020-04-21 2020-04-27 17:01:13 +02:00
5dbc97aac0 Modelli Innovativi 2020-04-23 2020-04-27 16:17:26 +02:00
8bb28a2c11 Probabilità e Statistica 2020-04-23 2020-04-24 19:24:42 +02:00
fdd30d5a3b Fix tree ellipses 2020-04-23 20:00:06 +02:00
142796e147 Modelli Innovativi 2020-04-21 2020-04-23 19:40:39 +02:00
5aec31975d Probabilità e Statistica 2020-04-21 2020-04-23 18:37:47 +02:00
d6f33118ec Logica 2020-04-17 2020-04-20 14:03:00 +02:00
ac93c4962c Logica 2020-04-16 2020-04-20 14:02:43 +02:00
b2d3fd1318 Probabilità e Statistica 2020-04-16 2020-04-18 12:53:14 +02:00
469077406d Modelli Innovativi 2020-04-16 2020-04-17 18:39:50 +02:00
2f163f9503 Programmazione Concorrente 2020-03_11 2020-04-16 19:14:12 +02:00
d81b997f58 Logica 2020-04-02 2020-04-14 17:39:43 +02:00
06d66a6181 Logica 2020-03-31 2020-04-14 17:39:17 +02:00
b3591c6c33 Logica 2020-03-26_2 2020-04-13 17:59:09 +02:00
2706a5d1c7 Logica 2020-03-26_1 2020-04-13 17:58:40 +02:00
6fb1b525e1 Logica 2020-03-25 2020-04-13 17:57:59 +02:00
8600ed189a Programmazione Concorrente 2020-03_10 2020-04-11 17:24:53 +02:00
2cc7cbf33f Programmazione Concorrente 2020-03_9 2020-04-11 11:32:58 +02:00
949dc5cd5e Programmazione Concorrente 2020-03_8 2020-04-10 19:46:29 +02:00
5ae2fb48ea Programmazione Concorrente 2020-03_7 2020-04-10 19:44:24 +02:00
c703fa6958 Add .gitignore 2020-04-09 21:51:39 +02:00
b117b71601 Initial commit 2020-04-09 21:33:39 +02:00