«reversible-computing» etiketlenmiş sorular

işlevini ancak f yalnızca hesaplanabilir iki işlevli ise , uygulayabilen (veya ifade edebilen) programlama dilleri (veya mantığı) var mı?f:N→Nf:N→Nf:\mathbb{N}\to \mathbb{N}fff

10 reference-request  programming-languages  logic  reversible-computing 

Ben tersine çevrilebilir bilgisayar hakkında okumaya yeni başlamış bir mezunum. Landauer prensibi nedeniyle geri dönüşü olmayan hesaplamaların ısıyı dağıttığını biliyorum (ve tersinir olanların yapmadığını). Bunu daha önce geri dönüşümlü bilgisayar kullanımını hiç duymamış olan profesörümle büyüttüm ve geri dönüşümlü bilgisayar teorisinin neden önemsiz olduğunu anlamakta zorlanıyordu. Onun amacı sadece girişi …

9 computability  reversible-computing