Domande taggate «logic»

Domande relative alla logica matematica e al suo uso nell'informatica



1
Il trucco usato nella dimostrazione della doppia complessità esponenziale dell'aritmetica di Presburger
L'ho pubblicato su MathUnderflow ma non ho ricevuto risposte, quindi ho pensato di provarlo qui, Sto leggendo il vecchio documento di Rabin e Fischer [pubblicherò un link quando possibile] dove, tra le altre cose, è dimostrata la doppia complessità esponenziale dell'aritmetica di Presburger. La dimostrazione si basa sull'esistenza di una …


1
I circuiti Depth-2 con porte OR e MOD non sono universali?
È noto che ogni funzione booleana può essere realizzata utilizzando un circuito booleano di profondità 2 (sopra le variabili, la loro negazione e i loro valori costanti) contenente porte AND nel primo livello e una singola porta OR nel livello superiore; questa è semplicemente la rappresentazione DNF di .f:{0,1}n→{0,1}f:{0,1}n→{0,1}f:\{0,1\}^n\to \{0,1\}fff …

1
Espressività delle moderne espressioni regolari
Di recente ho discusso con un amico di un sito Web che proponeva sfide regex, principalmente abbinando un gruppo di parole a una proprietà speciale. Stava cercando una regex che corrispondesse a stringhe come ||||||||dove il numero di |è primo. Gli dissi immediatamente che non avrebbe mai funzionato perché se …

3
Perché usare
È noto che le logiche temporali LTL, CTL, CTL * possono essere tradotte / incorporate in μμ\mu-calcolo. In altre parole, il (modale)μμ\mu-calculus sottrae queste logiche, (cioè è più espressivo.) Potresti spiegare / indicarmi documenti / libri che trattano questo argomento. In particolare, ci sono proprietà concrete di equità, vivacità, ecc. …

1
Rappresentazione della concatenazione a livello di tipo
Vorrei saperne di più sulla programmazione concatenativa attraverso la creazione di un piccolo linguaggio semplice, basato sullo stack e seguendo il paradigma concatenativo. Sfortunatamente, non ho trovato molte risorse relative ai linguaggi concatenativi e alla loro implementazione, quindi scusami in anticipo per la mia possibile ingenuità. Ho quindi definito il …

2
Perché il secondo teorema di incompletezza di Godel non esclude una dimostrazione formalizzabile di P! = NP?
Sono sicuro che ci deve essere qualcosa di sbagliato nel seguente ragionamento perché altrimenti molta ricerca P vs. NP sarebbe ridotta ma non posso determinare il mio errore: Per qualsiasi numero intero fisso definirek>0k>0k>0Bk:={⟨φ⟩|φis a wff of ZF and has a proof of length≤k|φ|k}Bk:={⟨φ⟩|φis a wff of ZF and has …




2
Incarico di rendere insoddisfacente la formula
Immaginiamo di avere una formula soddisfacente F(UN0,UN1, . . .UNK,S0, . . . ,Sn)F(UN0,UN1,...UNK,S0,...,Sn)F(A_0, A_1,...A_k,S_0,...,S_n) Il problema da risolvere è "Esiste un'assegnazione per le variabili (S0, . . . ,Sn)(S0,...,Sn)(S_0,...,S_n) quale renderà F insoddisfacente? ". Un modo di risolvere è trovare tutte le soluzioni per F in termini di variabili …



Utilizzando il nostro sito, riconosci di aver letto e compreso le nostre Informativa sui cookie e Informativa sulla privacy.
Licensed under cc by-sa 3.0 with attribution required.