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

এমন কোন (কার্যকরী?) প্রোগ্রামিং ভাষা রয়েছে যেখানে সমস্ত ফাংশনগুলির একটি প্রচলিত ফর্ম রয়েছে? এটি হ'ল যে কোনও দুটি ফাংশন যা সমস্ত সেট ইনপুটগুলির জন্য একই মানগুলি প্রত্যাবর্তন করে একই উপায়ে উপস্থাপন করা হয়, যেমন f (x) x + 1 এবং g (x) x + 2 ফিরে আসে তবে f (f …

29 computability  pl.programming-languages  functional-programming  function 

এটি পরিচিত যে অ্যালগোরিদমগুলির একটি গণনাযোগ্য সেট (একটি গডেল সংখ্যা দ্বারা চিহ্নিত) সহ আমরা এন এর সমস্ত উপগঠন গণনা করতে পারি না (বাইনারি অ্যালগরিদম তৈরি করতে পারি যা চেক সম্পর্কিত) একটি প্রমাণকে সংক্ষেপে বলা যেতে পারে: আমরা যদি পারতাম তবে এন এর সমস্ত উপসর্গের সেট গণনাযোগ্য হবে (আমরা প্রতিটি উপসেটকে …

29 computability  halting-problem 

সত্যিকারের এলোমেলো বিটগুলির একটি অসীম প্রবাহ দেওয়া একটি কম্পিউটার ছাড়া একটি কম্পিউটারের চেয়ে আরও শক্তিশালী। প্রশ্নটি হ'ল: থামার সমস্যাটি সমাধান করার পক্ষে এটি কি যথেষ্ট শক্তিশালী? অর্থাৎ সম্ভাব্য কম্পিউটার থাকুক বা না থাকুক একটি নির্ধারণ করতে পারেন নির্ণায়ক প্রোগ্রাম স্থগিত? একটি সম্ভাবনাময় কম্পিউটারের একটি ডিস্ট্রিমেন্টিক এমন কিছু করার উদাহরণ যা: …

29 computability  randomness  turing-machines 

ইন টুরিং সম্পূর্ণতার উপর এই Wikipedia নিবন্ধটি যে বলে: টাইপযুক্ত ল্যাম্বদা ক্যালকুলাস টিউরিং সম্পূর্ণ, তবে সিস্টেম এফ সহ অনেক টাইপ করা ল্যাম্বদা ক্যালকুলি নেই। টাইপ করা সিস্টেমগুলির মান আরও ত্রুটি সনাক্ত করার সময় বেশিরভাগ সাধারণ কম্পিউটার প্রোগ্রামগুলিকে উপস্থাপন করার দক্ষতার ভিত্তিতে তৈরি হয়। মোট কম্পিউটারের ফাংশনটির একটি উদাহরণ যা সিস্টেম …

28 computability  turing-machines  haskell 

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

28 computability  turing-machines  pl.programming-languages  recreational 

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

27 cc.complexity-theory  computability  na.numerical-analysis  computing-over-reals  computable-analysis 

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

27 lo.logic  computability  turing-machines 

আমি এ জাতীয় কোনও মডেল ভাবতে পারি না, টাইপড ল্যাম্বডা ক্যালকুলাসের কোনও রূপ? কিছু প্রাথমিক সেলুলার অটোমেটন? এটি ওল্ফ্রামের "গণনার সমতুল্যের নীতি" প্রায় অস্বীকার করবে : স্পষ্টতই সহজ নয় এমন প্রায় সমস্ত প্রক্রিয়া সমমানের পরিশীলনের গণনা হিসাবে দেখা যায়

26 automata-theory  computability  turing-machines  lambda-calculus  universal-computation 

স্থগিত সমস্যা যে এটা অসম্ভব একটি প্রোগ্রাম যে যদি অন্য প্রোগ্রাম স্থগিত নির্ধারণ করতে পারেন, জন্য লিখতে সম্ভাব্য সব ইনপুট প্রোগ্রাম । আমি তবে অবশ্যই একটি প্রোগ্রাম লিখতে পারি যা লাইক প্রোগ্রামের চলমান সময় গণনা করতে পারে: for(i=0; i<N; i++) { x = 1; } এবং সময় জটিলতাটি এটি কখনও …

23 computability  time-complexity  formal-methods  se.software-engineering 

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

22 computability  relativization 

যেহেতু এটি নির্বিঘ্ন গণনার অনুমতি দেয় না, কাক অগত্যা টিউরিং-সম্পূর্ণ নয়। কক গণনা করতে পারে এমন ফাংশনগুলির শ্রেণি কী? (এটির একটি আকর্ষণীয় বৈশিষ্ট্য আছে?)

22 computability  pl.programming-languages  coq 

একজন টেন্সর ভেক্টর এবং উচ্চতর মাত্রা ম্যাট্রিক্স এবং একটি সাধারণীকরণ ছাড়া কিছুই না র্যাঙ্ক একটি টেন্সর এর একটি ম্যাট্রিক্স পদে সাধারণীকরণ। যথা, একটি টেনসর এর র‌্যাঙ্ক হ'ল ন্যূনতম এক নম্বর র‌্যাংক সমষ্টি । একটি ভেক্টর এবং ম্যাট্রিক্স যথাক্রমে 1 এবং 2 ডিগ্রির টেনসর।টিটিTTটিTT উপাদান একটি ক্ষেত্র থেকে আসা । যদি …

22 ds.algorithms  reference-request  computability  tensor-rank 

গণনাযোগ্য ফাংশন ধারণাটি শেখাতে আমার অসুবিধা হচ্ছে। আমি হিলবার্ট / অ্যাকারম্যান / গডেল / টুরিং / চার্চ / ... এর মতো গবেষকরা কেন 'গণনীয়তার' ধারণাটি আবিষ্কার করেছিলেন তার ধারণার বিকাশ করার চেষ্টা করেছি। শিক্ষার্থীরা তত্ক্ষণাত জিজ্ঞাসা করেছিল: "গণ্যকরণের অর্থ কী?" এবং আমি যদি তাদের টিউরিং মেশিন না শিখি তবে আমি …

22 soft-question  computability  turing-machines  teaching 

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

20 computability  automata-theory  turing-machines 

কোয়ান্টাম কম্পিউটিংয়ের সাম্প্রতিক কিছু থ্রেড ( এখানে , এখানে , এবং এখানে ) পড়া, আমাকে কিছু ধরণের নাম সংরক্ষণকারী মেশিনের শক্তি সম্পর্কে একটি আকর্ষণীয় প্রশ্ন মনে করতে বাধ্য করে।ℓপিℓp\ell_p কোয়ান্টাম জটিলতায় জটিলতার তত্ত্বে কাজ করা লোকদের জন্য একটি দুর্দান্ত সূচনা পাঠ্য হ'ল ফোর্তনোর কাগজ যা লিঙ্কটি এখানে জোশুয়া গ্রোচ পোস্ট …

20 cc.complexity-theory  quantum-computing  computability  turing-machines  norms