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
04edfb367b
Logica 2020-05-11
2020-05-15 16:14:35 +02:00
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
