Contributi di Germanomosconi1

29 ott 2019

• 00:1800:18, 29 ott 2019 diff cron +1‎ Logica matematica/Insiemi ‎ →‎Il concetto di "insieme"

28 ott 2019

• 19:1919:19, 28 ott 2019 diff cron +867‎ Logica matematica/Insiemi ‎Nessun oggetto della modifica Etichetta: Modifica visuale
• 18:4118:41, 28 ott 2019 diff cron +2‎ Logica matematica/Insiemi ‎ →‎Il concetto di insieme
• 18:4018:40, 28 ott 2019 diff cron +493‎ Logica matematica/Insiemi ‎Nessun oggetto della modifica Etichetta: Modifica visuale
• 18:2718:27, 28 ott 2019 diff cron +2‎ Logica matematica/Insiemi ‎Nessun oggetto della modifica Etichetta: Modifica visuale: commutato
• 18:2618:26, 28 ott 2019 diff cron +228‎ Logica matematica/Insiemi ‎Nessun oggetto della modifica Etichetta: Modifica visuale
• 18:1918: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

27 ott 2019

• 00:0900:09, 27 ott 2019 diff cron +2‎ Implementazioni di algoritmi/Merge sort ‎ →‎Versione iterativa
• 00:0900:09, 27 ott 2019 diff cron −1‎ Implementazioni di algoritmi/Merge sort ‎ →‎Versione iterativa

26 ott 2019

• 18:1918:19, 26 ott 2019 diff cron +288‎ Implementazioni di algoritmi/Merge sort ‎ →‎Java (Versione ottimizzata) Etichetta: Modifica visuale
• 18:1118:11, 26 ott 2019 diff cron +6‎ Implementazioni di algoritmi/Merge sort ‎ →‎Java (Ottimizzazione)
• 18:0918:09, 26 ott 2019 diff cron +914‎ Implementazioni di algoritmi/Merge sort ‎ →‎Java (Ottimizzazione) Etichetta: Modifica visuale
• 17:2717:27, 26 ott 2019 diff cron +2 862‎ Implementazioni di algoritmi/Merge sort ‎ Aggiunta implementazione ottimizzata in Java Etichetta: Modifica visuale

5 mag 2019

• 00:2500:25, 5 mag 2019 diff cron 0‎ Algebra lineare e geometria analitica/Concetti di base e notazioni ‎ →‎Completezza e assioma di Dedekind

1 mag 2019

• 16:0416:04, 1 mag 2019 diff cron −1‎ Logica matematica/Calcolo delle proposizioni/I tableaux semantici ‎Nessun oggetto della modifica
• 13:2713:27, 1 mag 2019 diff cron +6‎ Logica matematica/Calcolo delle proposizioni/I tableaux semantici ‎ →‎Dimostrazione Etichetta: Modifica visuale
• 13:1313:13, 1 mag 2019 diff cron +263‎ Logica matematica/Calcolo delle proposizioni/I tableaux semantici ‎ →‎Lemma di conservazione della soddisfacibilità Etichetta: Modifica visuale
• 12:4512:45, 1 mag 2019 diff cron +503‎ Logica matematica/Calcolo delle proposizioni/I tableaux semantici ‎ →‎Esempi di dimostrazioni Etichetta: Modifica visuale
• 02:2202: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

• 23:0023:00, 29 apr 2019 diff cron +1 952‎ Logica matematica/Calcolo delle proposizioni/Dimostrazione del teorema di compattezza ‎ →‎Dimostrazione Etichetta: Modifica visuale
• 21:4221: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
• 21:3421: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\}
• 21:3221: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\}
• 20:4720:47, 29 apr 2019 diff cron −53‎ Logica matematica/Calcolo delle proposizioni ‎ →‎Dimostrazione Etichetta: Modifica visuale
• 20:3320:33, 29 apr 2019 diff cron +115‎ Logica matematica/Calcolo delle proposizioni ‎ →‎Teorema di deduzione Etichetta: Modifica visuale
• 20:2220:22, 29 apr 2019 diff cron −150‎ Logica matematica/Calcolo delle proposizioni ‎ →‎Implicazione Etichetta: Modifica visuale
• 19:5219:52, 29 apr 2019 diff cron −814‎ Logica matematica/Calcolo delle proposizioni ‎ →‎Modelli Etichetta: Modifica visuale

20 set 2018

• 00:2200:22, 20 set 2018 diff cron +214‎ Logica matematica/Calcolo delle proposizioni/La risoluzione ‎Nessun oggetto della modifica Etichetta: Modifica visuale
• 00:0500:05, 20 set 2018 diff cron +10‎ Logica matematica/Calcolo delle proposizioni/La risoluzione ‎Nessun oggetto della modifica
• 00:0400:04, 20 set 2018 diff cron +144‎ Logica matematica/Calcolo delle proposizioni/La risoluzione ‎ →‎Forma normale a clausole Etichetta: Modifica visuale

19 set 2018

• 00:3600:36, 19 set 2018 diff cron +453‎ Logica matematica/Calcolo delle proposizioni/La risoluzione ‎Nessun oggetto della modifica Etichetta: Modifica visuale
• 00:1800:18, 19 set 2018 diff cron +3‎ Logica matematica/Calcolo delle proposizioni/La risoluzione ‎ →‎Forma normale a clausole
• 00:1700:17, 19 set 2018 diff cron +17‎ Logica matematica/Calcolo delle proposizioni/La risoluzione ‎ →‎Forma normale a clausole

18 set 2018

• 18:2418:24, 18 set 2018 diff cron +97‎ Logica matematica/Intermezzo paradossi ‎ →‎Paradosso di Russell attuale Etichetta: Modifica visuale
• 17:4817:48, 18 set 2018 diff cron +23‎ Logica matematica/Calcolo delle proposizioni/La risoluzione ‎Nessun oggetto della modifica
• 17:4717:47, 18 set 2018 diff cron +80‎ Logica matematica/Calcolo delle proposizioni/La risoluzione ‎Nessun oggetto della modifica
• 17:4617: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
• 15:5815:58, 18 set 2018 diff cron +116‎ Template:Logica matematica ‎Nessun oggetto della modifica
• 15:5615:56, 18 set 2018 diff cron +11‎ Logica matematica/Incompletezza/Teoremi di incompletezza di Gödel ‎ →‎Dimostrazione
• 15:5415:54, 18 set 2018 diff cron +35‎ Template:Logica matematica ‎Nessun oggetto della modifica
• 15:5415:54, 18 set 2018 diff cron +471‎ Template:Logica matematica ‎Nessun oggetto della modifica
• 02:3102:31, 18 set 2018 diff cron +33‎ Logica matematica/Calcolo delle proposizioni/Sistema di Hilbert ‎ →‎Lemma 3 Etichetta: Modifica visuale
• 02:2802:28, 18 set 2018 diff cron +11‎ Logica matematica/Calcolo delle proposizioni/Sistema di Hilbert ‎ →‎Lemma 1
• 02:2702:27, 18 set 2018 diff cron +11‎ Logica matematica/Calcolo delle proposizioni/Sistema di Hilbert ‎ →‎Insieme di formule completo
• 02:2702:27, 18 set 2018 diff cron +11‎ Logica matematica/Calcolo delle proposizioni/Sistema di Hilbert ‎ →‎Insieme di formule consistente
• 02:2502:25, 18 set 2018 diff cron +11‎ Logica matematica/Calcolo delle proposizioni/Sistema di Hilbert ‎ →‎Dimostrazione
• 02:1102:11, 18 set 2018 diff cron −1‎ Logica matematica/Calcolo delle proposizioni/La deduzione naturale ‎ →‎La deduzione naturale attuale
• 01:5101:51, 18 set 2018 diff cron 0‎ Logica matematica ‎Nessun oggetto della modifica
• 01:4301:43, 18 set 2018 diff cron +11‎ Matematica per le superiori/Logica ‎ →‎Libri correlati attuale
• 01:4201:42, 18 set 2018 diff cron +22‎ Matematica per le superiori/Logica ‎Nessun oggetto della modifica