Questions marquées «reversible-computing»

Un langage de programmation qui ne peut implémenter que des fonctions bijectives calculables?

Existe-t-il des langages de programmation (ou logique) qui peuvent implémenter (ou exprimer) une fonction si et seulement si est une fonction bijective calculable? ff:N→Nf:N→Nf:\mathbb{N}\to \mathbb{N}fff

10 reference-request programming-languages logic reversible-computing

Quels sont les défauts de la méthode de sauvegarde réversible de l'informatique réversible?

Je suis un étudiant de premier cycle qui commence tout juste à lire sur l'informatique réversible. Je sais qu'en raison du principe de Landauer, les calculs irréversibles dissipent la chaleur (et les réversibles non). J'en ai parlé avec mon professeur, qui n'avait jamais entendu parler de l'informatique réversible auparavant, et …

9 computability reversible-computing

En utilisant notre site, vous reconnaissez avoir lu et compris notre politique liée aux cookies et notre politique de confidentialité.

Licensed under cc by-sa 3.0 with attribution required.