Contributi di Germanomosconi1

28 ott 2019

• 23:1823:18, 28 ott 2019 diff cron +1 Logica matematica/Insiemi →Il concetto di "insieme"
• 18:1918:19, 28 ott 2019 diff cron +867 Logica matematica/Insiemi Nessun oggetto della modifica Etichetta: Modifica visuale
• 17:4117:41, 28 ott 2019 diff cron +2 Logica matematica/Insiemi →Il concetto di insieme
• 17:4017:40, 28 ott 2019 diff cron +493 Logica matematica/Insiemi Nessun oggetto della modifica Etichetta: Modifica visuale
• 17:2717:27, 28 ott 2019 diff cron +2 Logica matematica/Insiemi Nessun oggetto della modifica Etichetta: Modifica visuale: commutato
• 17:2617:26, 28 ott 2019 diff cron +228 Logica matematica/Insiemi Nessun oggetto della modifica Etichetta: Modifica visuale
• 17:1917:19, 28 ott 2019 diff cron −19 867 Logica matematica/Insiemi Pagina sostituita con '{{Logica matematica}} Le esposizioni della logica differiscono riguardo la quantità di '''teoria degli insiemi''' che usano. Alcune di esse fanno pesante uso di tale teo...' Etichetta: Sostituito

26 ott 2019

• 23:0923:09, 26 ott 2019 diff cron +2 Implementazioni di algoritmi/Merge sort →Versione iterativa
• 23:0923:09, 26 ott 2019 diff cron −1 Implementazioni di algoritmi/Merge sort →Versione iterativa
• 17:1917:19, 26 ott 2019 diff cron +288 Implementazioni di algoritmi/Merge sort →Java (Versione ottimizzata) Etichetta: Modifica visuale
• 17:1117:11, 26 ott 2019 diff cron +6 Implementazioni di algoritmi/Merge sort →Java (Ottimizzazione)
• 17:0917:09, 26 ott 2019 diff cron +914 Implementazioni di algoritmi/Merge sort →Java (Ottimizzazione) Etichetta: Modifica visuale
• 16:2716:27, 26 ott 2019 diff cron +2 862 Implementazioni di algoritmi/Merge sort Aggiunta implementazione ottimizzata in Java Etichetta: Modifica visuale

4 mag 2019

• 23:2523:25, 4 mag 2019 diff cron 0 Algebra lineare e geometria analitica/Concetti di base e notazioni →Completezza e assioma di Dedekind

1 mag 2019

• 15:0415:04, 1 mag 2019 diff cron −1 Logica matematica/Calcolo delle proposizioni/I tableaux semantici Nessun oggetto della modifica
• 12:2712:27, 1 mag 2019 diff cron +6 Logica matematica/Calcolo delle proposizioni/I tableaux semantici →Dimostrazione Etichetta: Modifica visuale
• 12:1312:13, 1 mag 2019 diff cron +263 Logica matematica/Calcolo delle proposizioni/I tableaux semantici →Lemma di conservazione della soddisfacibilità Etichetta: Modifica visuale
• 11:4511:45, 1 mag 2019 diff cron +503 Logica matematica/Calcolo delle proposizioni/I tableaux semantici →Esempi di dimostrazioni Etichetta: Modifica visuale
• 01:2201:22, 1 mag 2019 diff cron +627 Logica matematica/Calcolo delle proposizioni/Dimostrazione del teorema di compattezza →Lemma 3 Etichetta: Modifica visuale

29 apr 2019

• 22:0022:00, 29 apr 2019 diff cron +1 952 Logica matematica/Calcolo delle proposizioni/Dimostrazione del teorema di compattezza →Dimostrazione Etichetta: Modifica visuale
• 20:4220:42, 29 apr 2019 diff cron −169 Logica matematica/Calcolo delle proposizioni/Dimostrazione di completezza di insiemi di connettivi →Dimostrazione della completezza di { ¬ , ∧ , ∨ } {\displaystyle \{\neg ,\land ,\lor \}} Etichetta: Modifica visuale
• 20:3420:34, 29 apr 2019 diff cron +5 Logica matematica/Calcolo delle proposizioni/Dimostrazione di completezza di insiemi di connettivi →Dimostrazione della completezza di \{\neg,\land,\lor\}
• 20:3220:32, 29 apr 2019 diff cron −38 Logica matematica/Calcolo delle proposizioni/Dimostrazione di completezza di insiemi di connettivi →Dimostrazione della completezza di \{\neg,\land,\lor\}
• 19:4719:47, 29 apr 2019 diff cron −53 Logica matematica/Calcolo delle proposizioni →Dimostrazione Etichetta: Modifica visuale
• 19:3319:33, 29 apr 2019 diff cron +115 Logica matematica/Calcolo delle proposizioni →Teorema di deduzione Etichetta: Modifica visuale
• 19:2219:22, 29 apr 2019 diff cron −150 Logica matematica/Calcolo delle proposizioni →Implicazione Etichetta: Modifica visuale
• 18:5218:52, 29 apr 2019 diff cron −814 Logica matematica/Calcolo delle proposizioni →Modelli Etichetta: Modifica visuale

19 set 2018

• 23:2223:22, 19 set 2018 diff cron +214 Logica matematica/Calcolo delle proposizioni/La risoluzione Nessun oggetto della modifica Etichetta: Modifica visuale
• 23:0523:05, 19 set 2018 diff cron +10 Logica matematica/Calcolo delle proposizioni/La risoluzione Nessun oggetto della modifica
• 23:0423:04, 19 set 2018 diff cron +144 Logica matematica/Calcolo delle proposizioni/La risoluzione →Forma normale a clausole Etichetta: Modifica visuale

18 set 2018

• 23:3623:36, 18 set 2018 diff cron +453 Logica matematica/Calcolo delle proposizioni/La risoluzione Nessun oggetto della modifica Etichetta: Modifica visuale
• 23:1823:18, 18 set 2018 diff cron +3 Logica matematica/Calcolo delle proposizioni/La risoluzione →Forma normale a clausole
• 23:1723:17, 18 set 2018 diff cron +17 Logica matematica/Calcolo delle proposizioni/La risoluzione →Forma normale a clausole
• 17:2417:24, 18 set 2018 diff cron +97 Logica matematica/Intermezzo paradossi →Paradosso di Russell attuale Etichetta: Modifica visuale
• 16:4816:48, 18 set 2018 diff cron +23 Logica matematica/Calcolo delle proposizioni/La risoluzione Nessun oggetto della modifica
• 16:4716:47, 18 set 2018 diff cron +80 Logica matematica/Calcolo delle proposizioni/La risoluzione Nessun oggetto della modifica
• 16:4616:46, 18 set 2018 diff cron +1 427 N 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
• 14:5814:58, 18 set 2018 diff cron +116 Template:Logica matematica Nessun oggetto della modifica
• 14:5614:56, 18 set 2018 diff cron +11 Logica matematica/Incompletezza/Teoremi di incompletezza di Gödel →Dimostrazione
• 14:5414:54, 18 set 2018 diff cron +35 Template:Logica matematica Nessun oggetto della modifica
• 14:5414:54, 18 set 2018 diff cron +471 Template:Logica matematica Nessun oggetto della modifica
• 01:3101:31, 18 set 2018 diff cron +33 Logica matematica/Calcolo delle proposizioni/Sistema di Hilbert →Lemma 3 Etichetta: Modifica visuale
• 01:2801:28, 18 set 2018 diff cron +11 Logica matematica/Calcolo delle proposizioni/Sistema di Hilbert →Lemma 1
• 01:2701:27, 18 set 2018 diff cron +11 Logica matematica/Calcolo delle proposizioni/Sistema di Hilbert →Insieme di formule completo
• 01:2701:27, 18 set 2018 diff cron +11 Logica matematica/Calcolo delle proposizioni/Sistema di Hilbert →Insieme di formule consistente
• 01:2501:25, 18 set 2018 diff cron +11 Logica matematica/Calcolo delle proposizioni/Sistema di Hilbert →Dimostrazione
• 01:1101:11, 18 set 2018 diff cron −1 Logica matematica/Calcolo delle proposizioni/La deduzione naturale →La deduzione naturale attuale
• 00:5100:51, 18 set 2018 diff cron 0 Logica matematica Nessun oggetto della modifica
• 00:4300:43, 18 set 2018 diff cron +11 Matematica per le superiori/Logica →Libri correlati attuale
• 00:4200:42, 18 set 2018 diff cron +22 Matematica per le superiori/Logica Nessun oggetto della modifica