প্রশ্ন ট্যাগ «logic»

সময়গত যুক্তি লিনিয়ার এবং নির্ণায়ক Buchi অটোমাটা অনুপম আছেন: DBA প্রকাশ করতে , এবং LTL প্রকাশ করতে পারে না "অন্তত প্রতিটি বিজোড় চিঠি 'একটি'" । তবে কখনও কখনও এটি জেনে রাখা আকর্ষণীয় যে কোনও ডিবিএর ভাষা এলটিএল-তে প্রকাশ করা যায় কিনা।FGaFGaFGa আমার একটি অ্যালগরিদম দরকার যা প্রদত্ত ডিবিএর ভাষা এলটিএল-তে …

10 logic  automata  linear-temporal-logic  buchi-automata 

জিরার্ডের প্রুফস এবং প্রকারভেদে আমরা পড়তে পারি: অ্যালগরিদমিক দৃষ্টিকোণ থেকে, একই প্রমাণ লেখার প্রচুর উপায় থাকার কারণে পরবর্তী ক্যালকুলাসে কারি-হাওয়ার্ড আইসোমরফিজম নেই। এটি আমাদের এটি টাইপ হিসাবে ব্যবহার করতে বাধা দেয়λλ\lambda-ক্যালকুলাস, যদিও আমরা এই জাতীয় কিছু গভীর কাঠামোর ঝলক দেখি, সম্ভবত প্যারালালিজমের সাথে যুক্ত। প্রুফস এবং প্রকারগুলি , জেওয়াই গিরার্ড …

9 reference-request  logic  parallel-computing 

আমি এটি ম্যাথউন্ডারফ্লোতে পোস্ট করেছি তবে কোনও উত্তর পাইনি, তাই ভেবেছিলাম আমি এটি এখানে চেষ্টা করব, আমি রবিন এবং ফিশারের পুরাতন কাগজটি পড়ছি [যখন সম্ভব হবে তখন একটি লিঙ্ক পোস্ট করব] যেখানে অন্যান্য বিষয়গুলির মধ্যেও, প্রেসবার্গের গাণিতিকগুলির দ্বিগুণ ঘনঘন জটিলতা প্রমাণিত। প্রমাণটি একটি সূত্রের অস্তিত্বের উপর নির্ভর করে আমিএন( এক্স …

9 complexity-theory  reference-request  logic 

আমি নিজেকে সফ্টওয়্যার যাচাইয়ের বিভিন্ন পদ্ধতির শেখানোর চেষ্টা করছি। আমি কিছু নিবন্ধ পড়েছি। যতদূর আমি শিখেছি, টেম্পোরাল সহ প্রপোজিশনাল লজিক সাধারণত স্যাট সলভার (চলমান - প্রতিক্রিয়াশীল সিস্টেমে) এর সাথে মডেল চেকিং ব্যবহার করে, তবে টেম্পোরাল সহ প্রথম অর্ডার লজিকের কী? এটি উপপাদ্য প্রবাদ ব্যবহার করে? অথবা এটিও স্যাট ব্যবহার করতে …

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

এটি সুপরিচিত যে প্রতিটি বুলিয়ান ফাংশন depth গভীরতার 2 এর বুলিয়ান সার্কিট ব্যবহার করে উপলব্ধ করা যায় (ভেরিয়েবলগুলি, তাদের তুচ্ছকরণ এবং ধ্রুবক মানের উপরে) প্রথম স্তরে এবং গেটগুলি এবং উপরের স্তরে একটি একক ওআর গেট রয়েছে; এই সহজভাবে হয় DNF উপস্থাপনা এর ।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