Logica matematica/Calcolo delle proposizioni/Dimostrazione del teorema di compattezza: cronologia delle modifiche

Visualizza i registri relativi a questa pagina (visualizza il registro del filtro anti abusi)

Confronto tra versioni: selezionare le caselle corrispondenti alle versioni desiderate e premere Invio o il pulsante in basso.

Legenda: (corr) = differenze con la versione corrente, (prec) = differenze con la versione precedente, m = modifica minore

Strumenti esterni: ricerca nella cronologia · statistiche cronologia (aka-online.de) · statistiche cronologia (wmflabs.org) · numero di visite.

corrprec 14:3614:36, 27 set 2020‎ Gian BOT discussione contributi‎ m 11 394 byte +22‎ Bot: aggiunge sommario alle pagine del libro annulla Etichetta: PAWS [2.1]

corrprec 17:2517:25, 22 giu 2019‎ Texvc2LaTeXBot discussione contributi‎ m 11 372 byte +9‎ Correggo sintassi in formula matematica secondo mw:Extension:Math/Roadmap annulla

corrprec 02:2202:22, 1 mag 2019‎ Germanomosconi1 discussione contributi‎ 11 363 byte +627‎ →‎Lemma 3 annulla Etichetta: Modifica visuale

corrprec 23:0023:00, 29 apr 2019‎ Germanomosconi1 discussione contributi‎ 10 736 byte +1 952‎ →‎Dimostrazione annulla Etichetta: Modifica visuale

corrprec 17:5817:58, 2 feb 2019‎ Texvc2LaTeXBot discussione contributi‎ m 8 784 byte +8‎ Correggo sintassi in formula matematica secondo mw:Extension:Math/Roadmap annulla

corrprec 11:4511:45, 16 set 2018‎ Germanomosconi1 discussione contributi‎ m 8 776 byte 0‎ Germanomosconi1 ha spostato la pagina Logica/Calcolo delle proposizioni/Dimostrazione del teorema di compattezza a Logica matematica/Calcolo delle proposizioni/Dimostrazione del teorema di compattezza annulla
corrprec 11:4411:44, 16 set 2018‎ Germanomosconi1 discussione contributi‎ 8 776 byte +11‎ Nessun oggetto della modifica annulla

corrprec 13:3313:33, 25 apr 2018‎ Germanomosconi1 discussione contributi‎ 8 765 byte +90‎ →‎Dimostrazione annulla Etichetta: Modifica visuale
corrprec 09:5409:54, 25 apr 2018‎ Germanomosconi1 discussione contributi‎ 8 675 byte +17‎ →‎Dimostrazione annulla Etichetta: Modifica visuale
corrprec 09:5209:52, 25 apr 2018‎ Germanomosconi1 discussione contributi‎ 8 658 byte +33‎ →‎Dimostrazione annulla Etichetta: Modifica visuale
corrprec 09:4009:40, 25 apr 2018‎ Germanomosconi1 discussione contributi‎ 8 625 byte −131‎ →‎Dimostrazione annulla Etichetta: Modifica visuale

corrprec 23:5423:54, 24 apr 2018‎ Germanomosconi1 discussione contributi‎ 8 756 byte −995‎ →‎Dimostrazione annulla Etichetta: Modifica visuale
corrprec 09:1009:10, 24 apr 2018‎ Germanomosconi1 discussione contributi‎ 9 751 byte +26‎ →‎Lemma 2 annulla Etichetta: Modifica visuale
corrprec 08:5208:52, 24 apr 2018‎ Germanomosconi1 discussione contributi‎ 9 725 byte +3‎ →‎Lemma 2 annulla

corrprec 10:1610:16, 21 apr 2018‎ Germanomosconi1 discussione contributi‎ 9 722 byte 0‎ →‎Dimostrazione annulla

corrprec 19:4919:49, 20 apr 2018‎ Germanomosconi1 discussione contributi‎ 9 722 byte 0‎ →‎Dimostrazione annulla Etichetta: Modifica visuale
corrprec 19:4419:44, 20 apr 2018‎ Germanomosconi1 discussione contributi‎ 9 722 byte −21‎ →‎Dimostrazione annulla Etichetta: Modifica visuale
corrprec 19:3819:38, 20 apr 2018‎ Germanomosconi1 discussione contributi‎ 9 743 byte +86‎ →‎Dimostrazione annulla Etichetta: Modifica visuale

corrprec 10:3610:36, 27 mar 2018‎ Germanomosconi1 discussione contributi‎ 9 657 byte +48‎ →‎Dimostrazione annulla

corrprec 22:5922:59, 24 mar 2018‎ Germanomosconi1 discussione contributi‎ 662 byte +42‎ Nessun oggetto della modifica annulla Etichetta: Modifica visuale
corrprec 22:5822:58, 24 mar 2018‎ Germanomosconi1 discussione contributi‎ 620 byte +620‎ Nuova pagina: Il teorema di compattezza della soddisfacibilità asserisce che un insieme di proposizioni <math>\Gamma</math> è soddisfacibile sse è finitamente soddisfacibile. ==== Insieme di...

Estratto da "https://it.wikibooks.org/wiki/Logica_matematica/Calcolo_delle_proposizioni/Dimostrazione_del_teorema_di_compattezza"