Contributi di Gregorio Piccoli

Risultati per Gregorio Piccoli discussione blocchi file caricati registri global block log 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:

14:5314:53, 11 nov 2007 diff cron −20 Logica matematica/Calcolo delle proposizioni Nessun oggetto della modifica
14:5014:50, 11 nov 2007 diff cron +1 093 Logica matematica/Calcolo delle proposizioni →Teoria della dimostrazione
14:3914:39, 11 nov 2007 diff cron +47 Logica matematica/Calcolo delle proposizioni →Teoria della dimostrazione
14:3714: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/]
14:3714: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...
14:3714:37, 11 nov 2007 diff cron +6 Logica matematica/Calcolo delle proposizioni →Teoria della dimostrazione
14:3614:36, 11 nov 2007 diff cron −492 Logica matematica/Calcolo delle proposizioni →Teoria della dimostrazione
14:3214: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 ...
14:3214:32, 11 nov 2007 diff cron −3 880 Logica matematica/Calcolo delle proposizioni →Teoria della dimostrazione

14:1814:18, 5 mag 2007 diff cron +19 Logica matematica/Intermezzo paradossi →Paradosso di Curry
14:1614:16, 5 mag 2007 diff cron +479 Logica matematica/Intermezzo paradossi →Paradosso di Curry
13:5813:58, 5 mag 2007 diff cron +88 Logica matematica/Intermezzo paradossi →Paradosso di Curry
13:5413:54, 5 mag 2007 diff cron +846 Logica matematica/Intermezzo paradossi →Paradosso di Curry
13:2713:27, 5 mag 2007 diff cron +469 Logica matematica/Calcolo delle proposizioni/Esercizi su tavole di verità Nessun oggetto della modifica
12:2512:25, 5 mag 2007 diff cron +154 Logica matematica/Risorse internet Nessun oggetto della modifica
12:1312:13, 5 mag 2007 diff cron +1 Logica matematica/Calcolo delle proposizioni →Algebra delle Proposizioni
12:1212:12, 5 mag 2007 diff cron +382 Logica matematica/Calcolo delle proposizioni/Esercizi su algebra delle proposizioni Nessun oggetto della modifica
11:4711:47, 5 mag 2007 diff cron +239 Logica matematica/Calcolo delle proposizioni/Esercizi su algebra delle proposizioni Nessun oggetto della modifica
11:4411:44, 5 mag 2007 diff cron +1 Logica matematica/Calcolo delle proposizioni →Algebra delle Proposizioni
11:4311:43, 5 mag 2007 diff cron +1 Logica matematica/Calcolo delle proposizioni →Algebra delle Proposizioni
11:4011:40, 5 mag 2007 diff cron +1 Logica matematica/Calcolo delle proposizioni →Teorema di deduzione
11:4011:40, 5 mag 2007 diff cron +1 Logica matematica/Calcolo delle proposizioni →Teorema di deduzione
11:3911:39, 5 mag 2007 diff cron −8 Logica matematica/Calcolo delle proposizioni →Teorema di deduzione
11:3711:37, 5 mag 2007 diff cron +4 Logica matematica/Calcolo delle proposizioni/Esercizi su tavole di verità Nessun oggetto della modifica
11:3411:34, 5 mag 2007 diff cron −1 Logica matematica/Calcolo delle proposizioni/Esercizi su algebra delle proposizioni Nessun oggetto della modifica
11:3211:32, 5 mag 2007 diff cron +83 Logica matematica/Calcolo delle proposizioni/Esercizi su algebra delle proposizioni Nessun oggetto della modifica
11:3111:31, 5 mag 2007 diff cron −20 Logica matematica/Calcolo delle proposizioni/Esercizi su algebra delle proposizioni Nessun oggetto della modifica
11:2911: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"