reversible-computing पर टैग किए गए जवाब

क्या प्रोग्रामिंग भाषाएं (या तर्क) हैं जो एक फ़ंक्शन को लागू कर सकते हैं (या व्यक्त कर सकते हैं यदि केवल और अगर एक कम्प्यूटेशनल विशेषण फ़ंक्शन है? एफf:N→Nf:N→Nf:\mathbb{N}\to \mathbb{N}fff

10 reference-request  programming-languages  logic  reversible-computing 

मैं एक अंडरग्रेजुएट कंप्यूटिंग के बारे में पढ़ने के लिए शुरुआत कर रहा हूं। मुझे पता है कि, लैंडॉउर के सिद्धांत के कारण, अपरिवर्तनीय गणनाएं गर्मी को नष्ट कर देती हैं (और प्रतिवर्ती नहीं होती हैं)। मैंने इसे अपने प्रोफेसर के साथ लाया, जिन्होंने पहले कभी प्रतिवर्ती कंप्यूटिंग के बारे …

9 computability  reversible-computing