Contributi di Gregorio Piccoli
Utente con 136 modifiche.
18 nov 2007
- 20:3120:31, 18 nov 2007 diff cron +191 Logica matematica/Calcolo delle proposizioni/La deduzione naturale →Esempi
- 20:2220:22, 18 nov 2007 diff cron +295 Logica matematica/Calcolo delle proposizioni/La deduzione naturale →Esempi
- 20:1920:19, 18 nov 2007 diff cron +58 Logica matematica/Calcolo delle proposizioni/La deduzione naturale →Le regole
- 20:1120:11, 18 nov 2007 diff cron 0 Logica matematica/Calcolo delle proposizioni/La deduzione naturale →Le regole
- 20:1020:10, 18 nov 2007 diff cron +201 Logica matematica/Calcolo delle proposizioni/La deduzione naturale →Le regole
- 20:0120:01, 18 nov 2007 diff cron +77 Logica matematica/Calcolo delle proposizioni/La deduzione naturale →La deduzione naturale
- 20:0020:00, 18 nov 2007 diff cron +402 Logica matematica/Calcolo delle proposizioni/La deduzione naturale →Le regole
- 19:4919:49, 18 nov 2007 diff cron −29 Logica matematica/Calcolo delle proposizioni/Sistema di Hilbert →Moduls Tollens
- 19:4819:48, 18 nov 2007 diff cron +4 Logica matematica/Calcolo delle proposizioni/Sistema di Hilbert →Esempi di dimostrazioni
- 19:3419:34, 18 nov 2007 diff cron −37 Logica matematica/Calcolo delle proposizioni/Sistema di Hilbert →Modus Ponens
- 19:2919:29, 18 nov 2007 diff cron +534 Logica matematica/Calcolo delle proposizioni/La deduzione naturale →Le regole
- 19:2419:24, 18 nov 2007 diff cron +339 Logica matematica/Calcolo delle proposizioni/La deduzione naturale →Le regole
- 19:1619:16, 18 nov 2007 diff cron +514 Logica matematica/Calcolo delle proposizioni/La deduzione naturale →Le regole
- 18:5718:57, 18 nov 2007 diff cron +124 Logica matematica/Calcolo delle proposizioni/La deduzione naturale →Le regole
- 18:5518:55, 18 nov 2007 diff cron +175 Logica matematica/Calcolo delle proposizioni/La deduzione naturale Nessun oggetto della modifica
11 nov 2007
- 15:5315:53, 11 nov 2007 diff cron −20 Logica matematica/Calcolo delle proposizioni Nessun oggetto della modifica
- 15:5015:50, 11 nov 2007 diff cron +1 093 Logica matematica/Calcolo delle proposizioni →Teoria della dimostrazione
- 15:3915:39, 11 nov 2007 diff cron +47 Logica matematica/Calcolo delle proposizioni →Teoria della dimostrazione
- 15:3715:37, 11 nov 2007 diff cron +157 N Logica matematica/Calcolo delle proposizioni/I tableaux semantici Nuova pagina: === I tableaux semantici === [http://en.wikipedia.org/wiki/Method_of_analytic_tableaux] Una pagina interattiva sui tableaux [http://www.umsu.de/logik/trees/]
- 15:3715:37, 11 nov 2007 diff cron +591 N Logica matematica/Calcolo delle proposizioni/La deduzione naturale Nuova pagina: === La deduzione naturale === Gerhard Gentzen ha notato che il sistema assiomatico di Hilbert è molto lontano da modo di ragionare che applicano i matematici nella loro attività quo...
- 15:3715:37, 11 nov 2007 diff cron +6 Logica matematica/Calcolo delle proposizioni →Teoria della dimostrazione
- 15:3615:36, 11 nov 2007 diff cron −492 Logica matematica/Calcolo delle proposizioni →Teoria della dimostrazione
- 15:3215:32, 11 nov 2007 diff cron +3 963 N Logica matematica/Calcolo delle proposizioni/Sistema di Hilbert Nuova pagina: === Il metodo di Frege-Hilbert === Il primo sistema di dimostrazione che analizziamo è stato proposto in modo formale da Hilbert, ma era già in uso dall' opera di Frege, per cui lo ...
- 15:3215:32, 11 nov 2007 diff cron −3 880 Logica matematica/Calcolo delle proposizioni →Teoria della dimostrazione
27 ott 2007
- 10:0110:01, 27 ott 2007 diff cron −3 Logica matematica/Calcolo delle proposizioni →Teoria della dimostrazione
- 10:0110:01, 27 ott 2007 diff cron +673 Logica matematica/Calcolo delle proposizioni →Teoria della dimostrazione
- 09:4109:41, 27 ott 2007 diff cron +364 Logica matematica/Calcolo delle proposizioni →Teoria della dimostrazione
5 mag 2007
- 15:1815:18, 5 mag 2007 diff cron +19 Logica matematica/Intermezzo paradossi →Paradosso di Curry
- 15:1615:16, 5 mag 2007 diff cron +479 Logica matematica/Intermezzo paradossi →Paradosso di Curry
- 14:5814:58, 5 mag 2007 diff cron +88 Logica matematica/Intermezzo paradossi →Paradosso di Curry
- 14:5414:54, 5 mag 2007 diff cron +846 Logica matematica/Intermezzo paradossi →Paradosso di Curry
- 14:2714:27, 5 mag 2007 diff cron +469 Logica matematica/Calcolo delle proposizioni/Esercizi su tavole di verità Nessun oggetto della modifica
- 13:2513:25, 5 mag 2007 diff cron +154 Logica matematica/Risorse internet Nessun oggetto della modifica
- 13:1313:13, 5 mag 2007 diff cron +1 Logica matematica/Calcolo delle proposizioni →Algebra delle Proposizioni
- 13:1213:12, 5 mag 2007 diff cron +382 Logica matematica/Calcolo delle proposizioni/Esercizi su algebra delle proposizioni Nessun oggetto della modifica
- 12:4712:47, 5 mag 2007 diff cron +239 Logica matematica/Calcolo delle proposizioni/Esercizi su algebra delle proposizioni Nessun oggetto della modifica
- 12:4412:44, 5 mag 2007 diff cron +1 Logica matematica/Calcolo delle proposizioni →Algebra delle Proposizioni
- 12:4312:43, 5 mag 2007 diff cron +1 Logica matematica/Calcolo delle proposizioni →Algebra delle Proposizioni
- 12:4012:40, 5 mag 2007 diff cron +1 Logica matematica/Calcolo delle proposizioni →Teorema di deduzione
- 12:4012:40, 5 mag 2007 diff cron +1 Logica matematica/Calcolo delle proposizioni →Teorema di deduzione
- 12:3912:39, 5 mag 2007 diff cron −8 Logica matematica/Calcolo delle proposizioni →Teorema di deduzione
- 12:3712:37, 5 mag 2007 diff cron +4 Logica matematica/Calcolo delle proposizioni/Esercizi su tavole di verità Nessun oggetto della modifica
- 12:3412:34, 5 mag 2007 diff cron −1 Logica matematica/Calcolo delle proposizioni/Esercizi su algebra delle proposizioni Nessun oggetto della modifica
- 12:3212:32, 5 mag 2007 diff cron +83 Logica matematica/Calcolo delle proposizioni/Esercizi su algebra delle proposizioni Nessun oggetto della modifica
- 12:3112:31, 5 mag 2007 diff cron −20 Logica matematica/Calcolo delle proposizioni/Esercizi su algebra delle proposizioni Nessun oggetto della modifica
- 12:2912:29, 5 mag 2007 diff cron +427 Logica matematica/Calcolo delle proposizioni/Esercizi su algebra delle proposizioni Nessun oggetto della modifica
14 apr 2007
- 14:4614:46, 14 apr 2007 diff cron −7 Logica matematica/Intermezzo Euclide →Sorpresa finale: l' assioma di Pasch
- 14:4514:45, 14 apr 2007 diff cron −3 Logica matematica/Intermezzo Euclide →Risorse esterne
- 14:4514:45, 14 apr 2007 diff cron +32 Logica matematica/Intermezzo Euclide →Sorpresa finale: l' assioma di Pasch
- 14:4514:45, 14 apr 2007 diff cron 0 Logica matematica/Intermezzo Euclide →Sorpresa finale: l' assioma di Pasch