Vai al contenuto

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"