Contributi di Gregorio Piccoli

Per Gregorio Piccoli discussione blocchi file caricati registri utenza globale filtro anti abusi

Utente con 136 modifiche.

Ricerca contributiEspandiComprimi

⧼contribs-top⧽

Indirizzo IP o nome utente:

Namespace:

Inverti selezione

Namespace associato

Filtra per etichetta:

Inverti selezione

Mostra solo i contributi che sono le ultime versioni per la pagina

Visualizza solo le modifiche che sono creazioni di pagina

Nascondi le modifiche minori

⧼contribs-date⧽

Dalla data:

Alla data:

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

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

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

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

Estratto da "https://it.wikibooks.org/wiki/Speciale:Contributi/Gregorio_Piccoli"