প্রশ্ন ট্যাগ «reversible-computing»

এমন কি প্রোগ্রামিং ভাষা আছে (বা যুক্তি) যা একটি ফাংশন কার্যকর করতে পারে (বা প্রকাশ করতে পারে) যদি এবং কেবল যদি একটি কম্পিউটেবল বাইজেক্টিক ফাংশন হয়? fচ: এন → এনf:N→Nf:\mathbb{N}\to \mathbb{N}চff

10 reference-request  programming-languages  logic  reversible-computing 

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

9 computability  reversible-computing