Questions marquées «history»

Questions sur la genèse et le développement de l'informatique en tant que discipline scientifique et ses applications.



5
Pourquoi la recherche sur les algorithmes génétiques a-t-elle ralenti?
Tout en discutant de certains sujets de niveau d’introduction aujourd’hui, y compris l’utilisation d’algorithmes génétiques; On m'a dit que la recherche avait vraiment ralenti dans ce domaine. La raison donnée est que la plupart des gens se concentrent sur l'apprentissage automatique et l'exploration de données. Mise à jour: Est-ce exact? …



2
Comment les langages de programmation et les fondements des mathématiques sont-ils liés?
Fondamentalement, je connais trois fondements des mathématiques Théorie des ensembles Théorie des types Théorie des catégories Alors, en quoi les langages de programmation et les fondements des mathématiques sont-ils liés? MODIFIER La question d'origine était "Langages de programmation basés sur les fondements des mathématiques" avec le paragarphe ajouté de Et …


4
Pourquoi les fonctions calculables sont-elles également appelées fonctions récursives?
Dans la théorie de la calculabilité, les fonctions calculables sont également appelées fonctions récursives. Au moins à première vue, ils n'ont rien de commun avec ce que vous appelez "récursif" dans la programmation quotidienne (c'est-à-dire les fonctions qui s'appellent elles-mêmes). Quelle est la signification réelle de récursif dans le contexte …






1
Qui sont les législateurs de Paxos?
Dans le document sur les systèmes distribués séminaux The Part Time Parliament (le protocole de Paxos), Leslie Lamport nomme des législateurs fictifs qui sont impliqués dans le protocole du Parlement de Paxon. Selon cet écrit , il note que: J'ai donné aux législateurs grecs les noms des informaticiens travaillant dans …

2
Pourquoi Turing est-il complet?
J'utilise un ordinateur numérique pour écrire ce message. Une telle machine a une propriété qui, si vous y réfléchissez, est en fait assez remarquable: c'est une machine qui, si elle est programmée de manière appropriée, peut effectuer tout calcul possible . Bien sûr, les machines à calculer d'un type ou …

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.