Risultati della ricerca
Vai alla navigazione
Vai alla ricerca
Corrispondenze nel titolo delle pagine
- {{Logica matematica}} Le esposizioni della logica differiscono riguardo alla quantità di '''teoria degli insiemi''' che usano ...2 KB (312 parole) - 13:40, 5 feb 2021
- {{Logica matematica}} ...ntor ed utilizzata da Frege nel primo tentativo di assiomatizzazione della matematica. ...8 KB (1 298 parole) - 17:24, 18 set 2018
- {{Logica matematica}} Introduciamo, a questo punto, la nozione di logica o sistema formale. Ne diamo dapprima la definizione, per passare poi ad alc ...19 KB (2 885 parole) - 19:44, 15 apr 2023
- {{Logica matematica}} Il linguaggio della [[Logica matematica/Calcolo delle proposizioni|logica proposizionale]] ha un potere espressivo molto limitato. Infatti esso espri ...24 KB (3 627 parole) - 23:27, 29 apr 2019
- {{Matematica per le superiori}} {{vedi anche|Logica matematica}} ...3 KB (404 parole) - 00:43, 18 set 2018
- {{Logica matematica}} Partiremo dal punto più semplice: la logica proposizionale, ovvero relativa alle proposizioni. In questo contesto si st ...49 KB (7 513 parole) - 14:02, 16 feb 2025
- {{logica matematica}} ...one dell'hardware dei computer: una volta progettato un solo tipo di porta logica (connettivo) sul silicio, si possono ottenere tutte le altre. ...1 KB (197 parole) - 13:36, 27 set 2020
- {{Logica matematica}} [[Categoria:Logica matematica|Calcolo delle proposizioni]] ...2 KB (354 parole) - 16:59, 2 feb 2019
- {{logica matematica}} * [[Logica/Calcolo delle proposizioni/Dimostrazione di completezza di insiemi di conne ...2 KB (358 parole) - 21:33, 14 mag 2021
- {{Logica matematica}} ...ito quello introdotto da Hilbert, noto come ''sistema hilbertiano'' per la logica proposizionale. Il sistema di dimostrazione è stato proposto in modo formal ...35 KB (5 859 parole) - 16:40, 2 feb 2019
- {{Logica matematica}} ...egole di inferenza che permettono di introdurre o eliminare una operazione logica nel corso della dimostrazione. ...5 KB (670 parole) - 01:11, 18 set 2018
- {{Logica matematica}} Per una dimostrazione formale, si veda il [[Logica matematica/Calcolo delle proposizioni/I tableaux semantici#Lemma di conservazione dell ...27 KB (4 238 parole) - 18:50, 2 feb 2021
- {{logica matematica}} ...\Gamma \models A</math>, ma <math>A \not\in \Gamma</math>. Per il [[Logica matematica/Calcolo delle proposizioni#Teorema di soddisfacibilità|teorema di soddisfac ...11 KB (1 735 parole) - 13:36, 27 set 2020
- {{logica matematica}} [[Categoria:Logica matematica|Esercizi su tavole di verita]] ...5 KB (746 parole) - 08:35, 14 mar 2024
- {{logica matematica}} [[Categoria:Logica matematica|Calcolo delle proposizioni]] ...6 KB (991 parole) - 13:36, 27 set 2020
- {{logica matematica}} * [[Logica/Calcolo delle proposizioni/Dimostrazione di completezza di insiemi di conne ...3 KB (393 parole) - 10:16, 18 gen 2022
- {{Logica matematica}} In Logica matematica, i teoremi di incompletezza di Gödel sono due famosi teoremi dimostrati da ...14 KB (2 242 parole) - 16:57, 2 feb 2019
Corrispondenze nel testo delle pagine
- {{logica matematica}} ...one dell'hardware dei computer: una volta progettato un solo tipo di porta logica (connettivo) sul silicio, si possono ottenere tutte le altre. ...1 KB (197 parole) - 13:36, 27 set 2020
- {{Matematica per le superiori}} {{vedi anche|Logica matematica}} ...3 KB (404 parole) - 00:43, 18 set 2018
- {{logica matematica}} * [[Logica/Calcolo delle proposizioni/Dimostrazione di completezza di insiemi di conne ...2 KB (358 parole) - 21:33, 14 mag 2021
- {{Logica matematica}} Le esposizioni della logica differiscono riguardo alla quantità di '''teoria degli insiemi''' che usano ...2 KB (312 parole) - 13:40, 5 feb 2021
- {{logica matematica}} * [[Logica/Calcolo delle proposizioni/Dimostrazione di completezza di insiemi di conne ...3 KB (393 parole) - 10:16, 18 gen 2022
- {{Logica matematica}} [[Categoria:Logica matematica|Calcolo delle proposizioni]] ...2 KB (354 parole) - 16:59, 2 feb 2019
- {{Logica matematica}} ...egole di inferenza che permettono di introdurre o eliminare una operazione logica nel corso della dimostrazione. ...5 KB (670 parole) - 01:11, 18 set 2018
- {{logica matematica}} [[Categoria:Logica matematica|Esercizi su tavole di verita]] ...5 KB (746 parole) - 08:35, 14 mar 2024
- ...intesero che questo sistema avrebbe potuto trovare impiego per creare una logica efficiente per computer. * Se si osserva la tabella OR (somma logica),si impieghi <u>plus</u> in luogo di per: 0 più 0 è 0, dove di nuovo 0 è F ...3 KB (491 parole) - 13:25, 9 set 2018
- {{logica matematica}} ...\Gamma \models A</math>, ma <math>A \not\in \Gamma</math>. Per il [[Logica matematica/Calcolo delle proposizioni#Teorema di soddisfacibilità|teorema di soddisfac ...11 KB (1 735 parole) - 13:36, 27 set 2020
- {{Logica matematica}} In Logica matematica, i teoremi di incompletezza di Gödel sono due famosi teoremi dimostrati da ...14 KB (2 242 parole) - 16:57, 2 feb 2019
- {{logica matematica}} [[Categoria:Logica matematica|Calcolo delle proposizioni]] ...6 KB (991 parole) - 13:36, 27 set 2020
- {{Logica matematica}} Introduciamo, a questo punto, la nozione di logica o sistema formale. Ne diamo dapprima la definizione, per passare poi ad alc ...19 KB (2 885 parole) - 19:44, 15 apr 2023
- {{Logica matematica}} ...ntor ed utilizzata da Frege nel primo tentativo di assiomatizzazione della matematica. ...8 KB (1 298 parole) - 17:24, 18 set 2018
- {{Logica matematica}} Per una dimostrazione formale, si veda il [[Logica matematica/Calcolo delle proposizioni/I tableaux semantici#Lemma di conservazione dell ...27 KB (4 238 parole) - 18:50, 2 feb 2021
- ...te alle applicazioni pratiche, Pitagora voleva comprendere il perché della matematica e più in generale delle cose. Dopo alcune vicissitudini riuscì a fondare un ...imostrazione generica dell'equazione. Produsse tramite una combinazione di logica e di geometria elementare una dimostrazione per ogni triangolo rettangolo, ...3 KB (522 parole) - 20:02, 26 mag 2014
- ...giore della logica di predicato (viceversa, chiunque abbia sperimentato la logica di attributo certamente potrà apprendere meglio il Prolog). ...e open source relativamente nuova. Ha un supporto per la programmazione in logica vincolata, una estensione di Prolog. ...17 KB (2 642 parole) - 18:24, 30 dic 2019
- {{Matematica per le superiori}} [[Categoria:Matematica per le superiori|Tavola delle principali notazioni simboliche matematiche]] ...18 KB (2 693 parole) - 18:01, 26 gen 2014
- {{Logica matematica}} ...ito quello introdotto da Hilbert, noto come ''sistema hilbertiano'' per la logica proposizionale. Il sistema di dimostrazione è stato proposto in modo formal ...35 KB (5 859 parole) - 16:40, 2 feb 2019
- {{Logica matematica}} Partiremo dal punto più semplice: la logica proposizionale, ovvero relativa alle proposizioni. In questo contesto si st ...49 KB (7 513 parole) - 14:02, 16 feb 2025