Riccardo Azzolini 72aabfceff Logica 2020-06-15		2020-06-18 17:29:50 +02:00
..
2020-05-14 Introduzione.pdf	Corregge estensione file rinominato	2020-05-25 11:21:26 +02:00
2020-05-18 Sintassi.pdf	Logica 2020-05-18	2020-05-25 11:24:59 +02:00
2020-05-19 Semantica.pdf	Logica 2020-05-19	2020-05-25 11:45:13 +02:00
2020-05-21 Semantica.pdf	Logica 2020-05-21	2020-05-26 10:00:42 +02:00
2020-05-22 Equivalenza logica.pdf	Logica 2020-05-22	2020-05-26 15:26:10 +02:00
2020-05-25 Sostituzioni.pdf	Logica 2020-05-25	2020-06-01 13:16:57 +02:00
2020-05-26 Forme normali.pdf	Logica 2020-05-26	2020-06-03 12:32:55 +02:00
2020-05-28 Tableaux.pdf	Corregge titolo sezione "Classificazione delle formule"	2020-06-04 09:10:35 +02:00
2020-05-29 Validità dei tableaux.pdf	Logica 2020-05-29	2020-06-04 13:59:46 +02:00
2020-06-03 Completezza dei tableaux.pdf	Logica 2020-06-03	2020-06-08 19:36:44 +02:00
2020-06-04 Modelli di Herbrand.pdf	Logica 2020-06-04	2020-06-10 17:17:30 +02:00
2020-06-08 Teorema di Herbrand.pdf	Aggiunge $\phi$ mancante in definizione espansione di Herbrand	2020-06-12 14:55:54 +02:00
2020-06-15 Risoluzione.pdf	Logica 2020-06-15	2020-06-18 17:29:50 +02:00