Domande taggate «reversible-computing»

Un linguaggio di programmazione in grado di implementare solo funzioni biiettive calcolabili?

Esistono linguaggi di programmazione (o logica) che possono implementare (o esprimere) una funzione se e solo se f è una funzione biiettiva calcolabile?f:N→Nf:N→Nf:\mathbb{N}\to \mathbb{N}fff

10 reference-request programming-languages logic reversible-computing

Cosa c'è di imperfetto nel metodo "salva-l'input" del calcolo reversibile?

Sono uno studente appena iniziato a leggere informazioni sull'informatica reversibile. So che, a causa del principio di Landauer, i calcoli irreversibili dissipano il calore (e quelli reversibili no). L'ho cresciuto con il mio professore, che non aveva mai sentito parlare del calcolo reversibile prima, e aveva difficoltà a capire perché …

9 computability reversible-computing

Utilizzando il nostro sito, riconosci di aver letto e compreso le nostre Informativa sui cookie e Informativa sulla privacy.

Licensed under cc by-sa 3.0 with attribution required.