razzolini/appunti
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity
appunti/Logica
History
Riccardo Azzolini 11e9acfefc Logica 2020-05-14
2020-05-16 12:44:41 +02:00
..
2020-03-13 Sintassi.pdf
Initial commit
2020-04-09 21:33:39 +02:00
2020-03-17 Semantica.pdf
Initial commit
2020-04-09 21:33:39 +02:00
2020-03-18 Semantica.pdf
Initial commit
2020-04-09 21:33:39 +02:00
2020-03-19 Soddisfacibilità e conseguenza logica.pdf
Initial commit
2020-04-09 21:33:39 +02:00
2020-03-20 Conseguenza logica.pdf
Rimuove simbolo $\square$ (□) dalle dimostrazioni
2020-05-09 18:06:34 +02:00
2020-03-25 Equivalenza logica.pdf
Rimuove simbolo $\square$ (□) dalle dimostrazioni
2020-05-09 18:06:34 +02:00
2020-03-26_1 Sostituzione proposizionale.pdf
Logica 2020-03-26_1
2020-04-13 17:58:40 +02:00
2020-03-26_2 Forme normali.pdf
Logica 2020-03-26_2
2020-04-13 17:59:09 +02:00
2020-03-31 Completezza funzionale.pdf
Rimuove simbolo $\square$ (□) dalle dimostrazioni
2020-05-09 18:06:34 +02:00
2020-04-02 Completezza funzionale.pdf
Rimuove simbolo $\square$ (□) dalle dimostrazioni
2020-05-09 18:06:34 +02:00
2020-04-16 Calcoli a tableaux.pdf
Logica 2020-04-16
2020-04-20 14:02:43 +02:00
2020-04-17 Calcoli a tableaux.pdf
Logica 2020-04-17
2020-04-20 14:03:00 +02:00
2020-04-21 Correttezza dei tableaux.pdf
Rimuove simbolo $\square$ (□) dalle dimostrazioni
2020-05-09 18:06:34 +02:00
2020-04-23 Proprietà dei tableaux.pdf
Rimuove simbolo $\square$ (□) dalle dimostrazioni
2020-05-09 18:06:34 +02:00
2020-04-27 Completezza dei tableaux.pdf
Logica 2020-04-27
2020-05-05 19:59:51 +02:00
2020-04-29 Calcolo alla Hilbert.pdf
Logica 2020-04-29
2020-05-05 20:03:41 +02:00
2020-04-30 Compattezza.pdf
Logica 2020-05-05
2020-05-09 15:01:47 +02:00
2020-05-05 Compattezza.pdf
Logica 2020-05-05
2020-05-09 15:01:47 +02:00
2020-05-07 Risoluzione.pdf
Logica 2020-05-07
2020-05-09 17:33:48 +02:00
2020-05-11 Risoluzione.pdf
Logica 2020-05-11
2020-05-15 16:14:35 +02:00
2020-05-12 Esempio di applicazione della CPL.pdf
Logica 2020-05-12
2020-05-16 12:42:58 +02:00
2020-05-14 Logica del primo ordine.pdf
Logica 2020-05-14
2020-05-16 12:44:41 +02:00