L'informatique history

5

Il y a beaucoup de tentatives pour prouver soit ou , et naturellement beaucoup de gens réfléchissent à la question, ayant des idées pour prouver la direction dans laquelle ils veulent aller.P ≠ N PP = N PP=NP\mathsf{P} = \mathsf{NP} P ≠ N PP≠NP\mathsf{P} \neq \mathsf{NP} Je sais qu'il a …

97 complexity-theory reference-request history p-vs-np reference-question

2

Que signifie “Lambda” dans “Lambda calcul”?

Je lisais récemment sur le calcul Lambda, mais étrangement, je ne trouve pas d'explication expliquant pourquoi il s'appelle "Lambda" ni d'où vient l'expression. Quelqu'un peut-il expliquer les origines du terme?

75 terminology computation-models lambda-calculus history

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? …

45 machine-learning data-mining evolutionary-computing history

7

Quelle est la définition de l'informatique et quelle est la science dans l'informatique?

Je poursuis des études de baccalauréat en informatique, mais je n’en suis qu’à un stade précoce, et je suis convaincu que je serai heureux de mon choix, car cela me semble être une formation souple sur le plan académique et professionnel. Cela dit, il semble y avoir une variété de …

39 terminology history

2

Pourquoi une langue régulière est-elle appelée «régulière»?

Je viens de terminer le premier chapitre de l' introduction à la théorie du calcul de Michael Sipser qui explique les bases des automates finis. Il définit un langage régulier comme tout ce qui peut être décrit par un automate fini. Mais je n'ai pas pu trouver où il explique …

31 formal-languages regular-languages terminology finite-automata history

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 …

30 programming-languages history type-theory category-theory

7

Pourquoi avons-nous besoin d'un langage d'assemblage?

Nous écrivons principalement des programmes dans un langage de haut niveau. Alors pendant mes études, je suis tombé sur un langage d'assemblage. Un assembleur convertit donc le langage d'assemblage en langage machine et un compilateur fait de même avec un langage de haut niveau. J'ai trouvé que le langage d'assemblage …

27 programming-languages education history

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 …

23 computability terminology history

1

Quels sont les premiers articles en informatique qui ont utilisé la complexité temporelle asymptotique?

Quand le grand O a-t-il été utilisé pour la première fois en informatique et quand est-il devenu standard? La page Wikipedia à ce sujet cite Knuth, Big Omicron et Big Omega And Big Theta , SIGACT avril-juin 1976, mais le début de cet article se lit comme suit: La plupart …

22 asymptotics history

1

Qui a inventé le terme «machine learning»?

J'essaie de comprendre qui a inventé le terme "machine learning". Une question accessoire vient d'où Arthur Samuel est cité comme définissant le domaine du "machine learning" en 1959 comme: le domaine d'études qui donne aux ordinateurs la capacité d'apprendre sans être explicitement programmé ? Vous pouvez trouver de nombreuses références …

19 terminology reference-request machine-learning history

5

Quelle est la première utilisation des «arbres» en informatique?

J'ai une petite question d'histoire, à savoir, comme le titre l'indique, je recherche les premières utilisations des arbres (comme structure de données, arbre de recherche, etc.) en informatique.

18 data-structures reference-request trees history

4

«Eugene Goostman» a-t-il vraiment réussi le test de Turing?

On dit qu'Eugene Goostman, un programme informatique développé pour simuler un garçon de 13 ans, a réussi à convaincre 33% des juges qu'il était humain et a ainsi passé le test de Turing. Le programme informatique, alias un chatbot, faisait semblant d'être un garçon ukrainien de 13 ans pour qui …

18 reference-request artificial-intelligence history turing-test

4

Pourquoi le cryptage RSA est-il devenu populaire pour l'échange de clés?

C'est une question douce. Je ne connais pas grand-chose à la cryptographie ou à son histoire, mais il semble que RSA utilise couramment l'échange de clés en chiffrant une clé symétrique pour envoyer un message plus long (par exemple, la description d'iMessage ici ). N'est-ce pas exactement la raison pour …

16 cryptography history

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 …

15 distributed-systems history

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 …

15 computability turing-machines history

Questions marquées «history»