Principali registri pubblici
Aspetto
Presentazione unificata di tutti i registri di Wikibooks. È possibile restringere i criteri di ricerca selezionando il tipo di registro, l'utente che ha eseguito l'azione, e/o la pagina interessata (entrambi i campi sono sensibili al maiuscolo/minuscolo).
- 16:46, 18 set 2018 Germanomosconi1 discussione contributi ha creato la pagina Logica matematica/Calcolo delle proposizioni/La risoluzione (Nuova pagina: == Forma normale a clausole == Introduciamo la forma normale a clausole e un algoritmo per convertire le formule del calcolo proposizionale in formule equivalenti, espresse in forma...) Etichetta: Modifica visuale
- 10:45, 16 set 2018 Germanomosconi1 discussione contributi ha spostato la pagina Logica/Calcolo delle proposizioni/Dimostrazione del teorema di compattezza a Logica matematica/Calcolo delle proposizioni/Dimostrazione del teorema di compattezza
- 10:38, 16 set 2018 Germanomosconi1 discussione contributi ha spostato la pagina Logica/Calcolo delle proposizioni/Dimostrazione di completezza di insiemi di connettivi a Logica matematica/Calcolo delle proposizioni/Dimostrazione di completezza di insiemi di connettivi
- 10:33, 16 set 2018 Germanomosconi1 discussione contributi ha spostato la pagina Logica/Calcolo delle proposizioni/Esercizi su algebra delle proposizioni a Logica matematica/Calcolo delle proposizioni/Esercizi su algebra delle proposizioni
- 10:28, 16 set 2018 Germanomosconi1 discussione contributi ha spostato la pagina Logica/Calcolo delle proposizioni/Tutti i connettivi a Logica matematica/Calcolo delle proposizioni/Tutti i connettivi
- 10:25, 16 set 2018 Germanomosconi1 discussione contributi ha spostato la pagina Logica/Calcolo delle proposizioni/Connettivi a Logica matematica/Calcolo delle proposizioni/Connettivi
- 19:17, 15 set 2018 Germanomosconi1 discussione contributi ha spostato la pagina Logica/Calcolo delle proposizioni/I tableaux semantici a Logica Matematica/Calcolo delle proposizioni/I tableaux semantici
- 19:13, 15 set 2018 Germanomosconi1 discussione contributi ha spostato la pagina Logica/Calcolo delle proposizioni/La deduzione naturale a Logica Matematica/Calcolo delle proposizioni/La deduzione naturale
- 19:08, 15 set 2018 Germanomosconi1 discussione contributi ha spostato la pagina Logica/Calcolo delle proposizioni/Sistema di Hilbert a Logica Matematica/Calcolo delle proposizioni/Sistema di Hilbert
- 18:56, 15 set 2018 Germanomosconi1 discussione contributi ha spostato la pagina Template:Logica a Template:Logica Matematica
- 18:50, 15 set 2018 Germanomosconi1 discussione contributi ha spostato la pagina Logica/Copertina a Logica Matematica/Copertina
- 18:48, 15 set 2018 Germanomosconi1 discussione contributi ha spostato la pagina Categoria:Logica a Categoria:Logica Matematica
- 18:46, 15 set 2018 Germanomosconi1 discussione contributi ha spostato la pagina Logica/Risorse internet a Logica Matematica/Risorse internet
- 18:44, 15 set 2018 Germanomosconi1 discussione contributi ha spostato la pagina Logica/Intermezzo paradossi a Logica Matematica/Intermezzo paradossi
- 18:43, 15 set 2018 Germanomosconi1 discussione contributi ha spostato la pagina Logica/Intermezzo Euclide a Logica Matematica/Intermezzo Euclide
- 18:43, 15 set 2018 Germanomosconi1 discussione contributi ha spostato la pagina Logica/Incompletezza/Teoremi di incompletezza di Gödel a Logica Matematica/Incompletezza/Teoremi di incompletezza di Gödel
- 18:42, 15 set 2018 Germanomosconi1 discussione contributi ha spostato la pagina Logica/Incompletezza a Logica Matematica/Incompletezza
- 18:39, 15 set 2018 Germanomosconi1 discussione contributi ha spostato la pagina Logica/Teoria dei modelli a Logica Matematica/Teoria dei modelli
- 18:38, 15 set 2018 Germanomosconi1 discussione contributi ha spostato la pagina Logica/Calcolo dei predicati a Logica Matematica/Calcolo dei predicati
- 18:38, 15 set 2018 Germanomosconi1 discussione contributi ha spostato la pagina Logica/Calcolo delle proposizioni a Logica Matematica/Calcolo delle proposizioni
- 18:36, 15 set 2018 Germanomosconi1 discussione contributi ha spostato la pagina Logica/Sistemi formali a Logica Matematica/Sistemi formali
- 18:36, 15 set 2018 Germanomosconi1 discussione contributi ha spostato la pagina Logica/Insiemi a Logica Matematica/Insiemi
- 18:32, 15 set 2018 Germanomosconi1 discussione contributi ha spostato la pagina Logica a Logica Matematica (Gli argomenti trattati sono relativi ad un'area ristretta della logica, cioè la logica matematica classica)
- 18:47, 2 ott 2014 L'utenza Germanomosconi1 discussione contributi è stata creata automaticamente