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

যাক এর -terms অনুসরণ হিসাবে সংজ্ঞায়িত করা:s i zইগুলিআমিz- রইsizeλλ\lambda s i ze ( x ) = 1গুলিআমিz- রই(এক্স)=1size(x) = 1 , s i ze ( λ x । t ) = s i ze ( টি ) + 1গুলিআমিz- রই(λএক্স।টি)=গুলিআমিz- রই(টি)+ +1size(λx.t) = size(t) + 1 , s i …

12 lo.logic  computability  pl.programming-languages  lambda-calculus 

"বৃহত্তম সংখ্যার গেমের নাম দিন" দুজন খেলোয়াড়কে গোপনে একটি সংখ্যা লিখতে বলে এবং বিজয়ী হলেন ব্যক্তি যিনি বৃহত্তর সংখ্যা লিখেছিলেন। গেমটি খেলোয়াড়দের সাধারণত একটি পর্যায়ে মূল্যায়ন করা ফাংশন লিখতে দেয়, সুতরাং লিখতেও এটি একটি গ্রহণযোগ্য জিনিস হবে।222222222^{2^{2^{2}}} ব্যাসি বিভার ফাংশন, মান বৃহত মানগুলির জন্য (জেডএফসি, বা কোনও যুক্তিসঙ্গত ধারাবাহিক অক্সোমেটিক …

11 computability  undecidability 

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

11 lo.logic  computability  ho.history-overview 

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

11 cc.complexity-theory  reference-request  soft-question  computability 

যেমনটি আমরা জানি, অ্যালগরিদমের গণনামূলক জটিলতার সংজ্ঞা প্রায় কোনও বিতর্ক ছাড়াই, তবে রিয়েলগুলির গণনা জটিলতার সংজ্ঞা বা বাস্তবের তুলনায় গণনা মডেলগুলি এ জাতীয় ক্ষেত্রে নয়। আমরা কম্পেটেবল অ্যানালাইসিস বইতে ব্লাম এবং স্মেলসের মডেল এবং মডেল জানি। এবং আপাতদৃষ্টিতে, গণনাযোগ্য বিশ্লেষণের মডেলটি ক্লাসিক মডেলের সাথে সামঞ্জস্যপূর্ণ, কিন্তু বাস্তবগুলির গণ্য জটিলতার সংজ্ঞা …

11 cc.complexity-theory  reference-request  computability  computing-over-reals  computable-analysis 

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

11 ds.algorithms  computability 

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

11 lo.logic  computability  church-turing-thesis 

নিম্নলিখিত সমস্যাটি নির্ধারণযোগ্য: একটি প্রসঙ্গমুক্ত ব্যাকরণ , এল ( জি ) = ∅ ?জিGGL(G)=∅L(G)=∅L(G) = \varnothing নিম্নলিখিত সমস্যাটি অনস্বীকার্য: একটি প্রসঙ্গমুক্ত ব্যাকরণ , এল ( জি ) = এ ∗ ?GGGL(G)=A∗L(G)=A∗L(G) = A^{\ast} সেখানে প্রেক্ষাপটে মুক্ত ভাষায় একটি চরিত্রায়ন হয় নির্ধার্য সমতা সঙ্গে এল ( জি ) = এম ?MMML(G)=ML(G)=ML(G) …

11 computability  fl.formal-languages 

এই অটোমেটনের এল ( এম ) দ্বারা গৃহীত ভাষাটি একটি নির্বিচারবাদী প্রসঙ্গ-মুক্ত ভাষা এবং একটি নির্বিচারে পুশডাউন অটোমেটন এন আউটপুট দেয় যা ঠিকভাবে গ্রহণযোগ্য ভাষা গ্রহণ করে এমন প্রতিশ্রুতি সহ একটি অ্যালগরিদম তৈরি করা সম্ভব যা ইনপুট হিসাবে একটি পুশডাউন অটোমেটন গ্রহণ করে with এম দ্বারা ?এমMMএল ( এম)L(M)L(M)এনNNএমMM সমতুল্য …

11 reference-request  computability  fl.formal-languages  automata-theory 

আমি জানি যে প্রশ্ন "একটি প্রথম ক্রম সূত্র আছে সাধারণভাবে undecidable একটি মডেল আছে"।φφ\phi যে কেউ আমাকে একটি লিঙ্ক বা একটি বই দিতে পারে যা সীমাবদ্ধ মডেলের উত্তর দেয়। যদি আমি একটি প্রথম ক্রম সূত্র আছে , এটা কিনা নির্ধার্য হয় φ একটি নির্দিষ্ট মডেল আছে? আমি যথেষ্ট নিশ্চিত যে …

11 reference-request  lo.logic  computability  finite-model-theory 

নিম্নলিখিত 2 খেলোয়াড়ের খেলাটি বিবেচনা করুন: প্রকৃতি এলোমেলোভাবে একটি প্রোগ্রাম চয়ন করে প্রতিটি খেলোয়াড় প্রকৃতির পদক্ষেপের প্রতিক্রিয়া হিসাবে [0, অনন্ত] সমেত একটি নম্বর খেলেন খেলোয়াড়ের ন্যূনতম নম্বরে নিন এবং অনেকগুলি পদক্ষেপের জন্য প্রোগ্রাম চালান (যদি না উভয় খেলোয়াড়ই অনন্ত নির্বাচন না করে) যদি প্রোগ্রামটি বন্ধ হয়ে যায় তবে প্লেয়ার যিনি …

10 lo.logic  computability  gt.game-theory 

প্রাকৃতিক সংখ্যা ছাড়া অন্য সেটগুলিতে গণনার কোনও ধারণা আছে কি? তর্কের খাতিরে, এসকে সেট এসSSকরে বলি যা সাথে বাইজেক্ট করে এনN\mathbb{N}। এটি বলার জন্য লোভনীয় যে "হ্যাঁ, এগুলি হ'ল ফর্মের সেই ফাংশন ছ∘ চ। জি- 1g∘f∘g−1g \circ f \circ g^{-1}যেখানে ছgg কোনও হ'ল এন →এসএন→এস\mathbb{N} \to S এবং চচf কোনও …

10 computability 

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

10 cc.complexity-theory  complexity-classes  computability  dynamic-algorithms 

এই প্রশ্নটি আছে যে কোনও পরিচিত বিপরীতমুখী টুরিং তরপিট রয়েছে কিনা, যেখানে অ্যাক্সেলসন এবং গ্লুকের অর্থে "বিপরীত" অর্থ এবং "টারপিট" অনেক বেশি অনানুষ্ঠানিক ধারণা (এবং শব্দের খুব ভাল পছন্দ নাও হতে পারে), তবে আমি এর অর্থ কী তা বোঝাতে আমি যথাসাধ্য চেষ্টা করব। "টারপাইট" বলতে আমি কী বুঝি কিছু গণনার …

10 fl.formal-languages  computability  machine-models 

প্রসঙ্গ : Kavvadias এবং Sideri দেখা গেছে ইনভার্স 3-স্যাট সমস্যা coNP সম্পূর্ণ হলে: প্রদত্ত φϕ\phi উপর মডেলের একটি সেট এনnn ভেরিয়েবল, একটি 3-CNF সূত্র যেমন যে φϕ\phi মডেলের তার সঠিক সেট হয়? একটি তাৎক্ষণিক প্রার্থী সূত্র দেখা দেয় দুটো কারণে যা সব 3-ক্লজ-এ সমস্ত মডেলের সন্তুষ্ট এর একত্রে হয় φϕ\phi …

10 cc.complexity-theory  lo.logic  complexity-classes  computability  sat