Contributi di 151.73.241.215
Per 151.73.241.215 discussione blocchi registri filtro anti abusi
11 apr 2007
- 22:5422:54, 11 apr 2007 diff cron −16 Logica matematica/Calcolo delle proposizioni →Completezza
- 22:5022:50, 11 apr 2007 diff cron +60 Logica matematica/Calcolo delle proposizioni →Teoria della dimostrazione
- 22:3322:33, 11 apr 2007 diff cron +2 Logica matematica/Calcolo delle proposizioni Nessun oggetto della modifica
- 22:2722:27, 11 apr 2007 diff cron +391 Logica matematica/Calcolo delle proposizioni →Completezza
- 22:1522:15, 11 apr 2007 diff cron +35 Logica matematica/Calcolo delle proposizioni →Il metodo di Hilbert
- 22:1422:14, 11 apr 2007 diff cron +73 Logica matematica/Calcolo delle proposizioni →Il metodo di Hilbert
- 22:1422:14, 11 apr 2007 diff cron +8 Logica matematica/Calcolo dei predicati Nessun oggetto della modifica
- 21:5921:59, 11 apr 2007 diff cron +145 N Logica matematica/Calcolo dei predicati Nuova pagina: == Calcolo dei predicati == === I Quantificatori === === Teoria della prova === ==== I tableaux semantici ==== ==== Il metodo di risoluzione ====
- 21:5821:58, 11 apr 2007 diff cron +2 Logica matematica/Calcolo delle proposizioni Nessun oggetto della modifica
- 21:5621:56, 11 apr 2007 diff cron +47 Logica matematica/Calcolo delle proposizioni Nessun oggetto della modifica
- 21:5421:54, 11 apr 2007 diff cron +141 N Logica matematica/Teoria dei modelli Nuova pagina: == Teoria dei Modelli == === Linguaggi e Modelli === === Categoricità === === Teoremi di Lowenheim-Skolem === === Il paradosso di Skolem ===
- 21:5321:53, 11 apr 2007 diff cron +54 Logica matematica/Calcolo delle proposizioni Nessun oggetto della modifica
- 21:5221:52, 11 apr 2007 diff cron +202 N Logica matematica/Calcolo delle proposizioni Nuova pagina: == Le Propsozioni == === Formule ben formate === === Tavole di verità === === I tableaux semantici === === Il metodo di Hilbert === === La deduzione naturale === === Compattezza === =...
- 21:5021:50, 11 apr 2007 diff cron +97 Logica matematica Nessun oggetto della modifica
- 21:4921:49, 11 apr 2007 diff cron +35 Logica matematica Nessun oggetto della modifica
- 21:4821:48, 11 apr 2007 diff cron +25 Logica matematica Nessun oggetto della modifica
- 21:4521:45, 11 apr 2007 diff cron +17 Logica matematica →Sommario
- 21:4421:44, 11 apr 2007 diff cron +95 N Logica matematica Nuova pagina: == Sommario == __TOC__ Propoposizioni Predicati Modelli Computabilita' Incompletezza __NOTOC__
- 21:4121:41, 11 apr 2007 diff cron +41 Ripiano:Scienza →Ripiano matematica