fonti. Segui i suggerimenti del progetto di riferimento. Il concetto di decidibilità si trova in logica matematica e in teoria della computabilità con accezioni...
3 KB (403 words) - 14:34, 25 March 2024
Nella logica matematica e nell'informatica, la logica a due variabili è la parte della logica del primo ordine le cui formule possono essere scritte mediante...
3 KB (396 words) - 21:14, 26 November 2022
Un automa a stati finiti probabilistico è, in matematica e informatica teorica, una generalizzazione degli automi finiti non deterministici dove ogni ad...
10 KB (1,795 words) - 10:32, 23 July 2024
linguaggi formali che accettano; un altro è quello di studiare i problemi di decidibilità per queste classi di automi e linguaggi. Delle due definizioni più comuni...
22 KB (3,524 words) - 12:48, 25 June 2022
Web Ontology Language (section Decidibilità)
ordine che abbia meno poter espressivo ma sia decidibile; rinunciare alla decidibilità operando in un contesto di affidabilità parziale della base di dati....
15 KB (1,649 words) - 18:03, 23 March 2024
l'autore risolveva negativamente l'Entscheidungsproblem (o problema della decidibilità), lanciato nel 1900 da David Hilbert e Wilhelm Ackermann. La questione...
51 KB (7,269 words) - 11:15, 14 August 2024
e gli ha consentito di dare una risposta negativa al problema della decidibilità, il cosiddetto "Entscheidungsproblem", posto da David Hilbert nel 1928...
5 KB (613 words) - 21:42, 28 February 2023
pubblicazione Sui numeri computabili con un'applicazione al problema di decidibilità 1940 – Seconda guerra mondiale: il Belgio si arrende alla Germania nazista...
12 KB (1,305 words) - 09:21, 16 July 2024
formale deduttiva di cui si possono provare completezza, correttezza e decidibilità è la logica proposizionale. Un esempio di logica formale induttiva di...
44 KB (5,600 words) - 17:15, 4 May 2024
dai precedenti, ma in questa sezione connessioni con la logica 12L05 decidibilità [vedi anche 03B25] 12L10 ultraprodotti [vedi anche 03C20] 12L12 teoria...
5 KB (638 words) - 09:35, 4 June 2024
\not \vDash \alpha } . Logica proposizionale Teoria del primo ordine Decidibilità Teoremi di incompletezza di Gödel Coerenza (logica matematica) Teorema...
4 KB (539 words) - 14:26, 13 June 2024
sussiste una sola categoria, rappresentata dalle cosiddette condizioni di decidibilità della causa nel merito. Ad ogni modo a mero titolo esemplificativo, si...
15 KB (2,045 words) - 16:52, 18 April 2024
(inclusa la logica intuizionistica) 03B22 sistemi deduttivi astratti 03B25 decidibilità di teorie e di insiemi di sentenze [vedi anche 11U05, 12L05, 20F10] 03B30...
12 KB (1,415 words) - 07:37, 12 June 2024
(archiviato il 25 marzo 2022). Marco Piastra, Logica del primo ordine: (semi)decidibilità (PDF), su unipv.it, Università degli Studi di Pavia - Computer Vision...
7 KB (1,135 words) - 09:03, 20 October 2022
però entrerà nel merito solo se sussistono determinate condizioni di decidibilità della domanda ovvero i Presupposti processuali. La categoria dei presupposti...
4 KB (502 words) - 10:29, 28 June 2023
come condizioni di ammissibilità della domanda, oppure condizioni di decidibilità della causa nel merito. Si allude sempre in buona sostanza allo stesso...
14 KB (2,152 words) - 17:14, 26 March 2020
filosofico Positivismo logico Scetticismo metodologico Pensiero critico Decidibilità Autoreferenzialità Paradossi teologici Dubbio metodologico Sospensione...
15 KB (1,705 words) - 15:46, 15 March 2024
dai precedenti, ma in questa sezione connessioni con la logica 11U05 decidibilità [vedi anche 03B25] 11U07 ultraprodotti [vedi anche 03C20] 11U09 teoria...
22 KB (2,688 words) - 20:37, 4 June 2024
Mojżesz Presburger che ha compiuto il suo lavoro rivoluzionario sulla decidibilità della teoria che oggi si chiama aritmetica di Presburger, come studente...
7 KB (566 words) - 08:13, 3 April 2024
intervallo fu colmato nel 1978 da Vaughan Pratt, che dimostrò che la decidibilità della PDL in un tempo esponenziale deterministico. Nel 1977 Krister Segerberg...
23 KB (3,643 words) - 07:12, 26 June 2024