logic पर टैग किए गए जवाब

रैखिक लौकिक तर्क और नियतात्मक बुची ऑटोमेटा अतुलनीय हैं: डीबीए व्यक्त नहीं कर सकता है , और एलटीएल "कम से कम प्रत्येक विषम पत्र '' ए" नहीं व्यक्त कर सकता है । लेकिन कभी-कभी यह जानना दिलचस्प होता है कि एलटीएल में डीबीए की भाषा व्यक्त की जा सकती है …

10 logic  automata  linear-temporal-logic  buchi-automata 

गिरार्ड के प्रमाण और प्रकार में हम पढ़ सकते हैं: एक एल्गोरिथम दृष्टिकोण से, सीक्वेंस कैलकुलस में कोई करी-हावर्ड आइसोमोर्फिज़्म नहीं है, क्योंकि एक ही प्रमाण लिखने के तरीकों की भीड़ के कारण। यह हमें इसे टाइप किए गए -calculus के रूप में उपयोग करने से रोकता है , हालांकि …

9 reference-request  logic  parallel-computing 

मैंने इसे MathUnderflow पर पोस्ट किया, लेकिन कोई उत्तर नहीं मिला, इसलिए मैंने सोचा कि मैं इसे यहाँ आज़माऊंगा, मैं राबिन और फिशर के पुराने पेपर को पढ़ रहा हूं [संभव होने पर एक लिंक पोस्ट करेगा] जहां अन्य बातों के अलावा, प्रेस्बर्गर अंकगणित की दोहरी घातीय जटिलता साबित होती …

9 complexity-theory  reference-request  logic 

मैं खुद को सॉफ्टवेयर सत्यापन के लिए अलग-अलग दृष्टिकोण सिखाने की कोशिश कर रहा हूं। मैंने कुछ लेख पढ़े हैं। जहां तक ​​मैंने सीखा है, लौकिक के साथ प्रस्ताव तर्क आमतौर पर सैट सॉल्वर (चल - प्रतिक्रियाशील प्रणालियों) के साथ मॉडल की जाँच का उपयोग करता है, लेकिन पहले आदेश …

9 reference-request  logic  formal-methods  sat-solvers  software-verification 

यह सर्वविदित है कि हर बूलियन फंक्शन गहराई 2 (बजाएं, उनकी उपेक्षा और निरंतर मूल्यों) की बूलियन सर्किट का उपयोग करके महसूस किया जा सकता है पहले स्तर में और गेट्स और ऊपरी स्तर में एक एकल या गेट युक्त; यह केवल का डीएनएफ प्रतिनिधित्व है ।f:{0,1}n→{0,1}f:{0,1}n→{0,1}f:\{0,1\}^n\to \{0,1\}fff एक अन्य …

9 complexity-theory  logic  circuits