Questions marquées «history»

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

Quelle est l'origine de λ pour une chaîne vide?

J'utilise habituellement le symbole pour une chaîne vide (mot vide ou chaîne nulle). Mais je sais que certaines personnes utilisent λ au lieu de ε .εε\varepsilonλλ\lambdaεε\varepsilon Je pense que est dérivé du mot "vide". Cependant, je ne sais pas quelle est l'origine de λ .εε\varepsilonλλ\lambda Dans la théorie des automates, …

14 formal-languages automata reference-request notation history

Machines à accès aléatoire avec seulement addition, multiplication, égalité

La littérature est assez claire sur le fait que les RAM à coût unitaire avec multiplication primitive sont déraisonnables, dans la mesure où elles ne peut pas être simulé par les machines de Turing en temps polynomial peut résoudre des problèmes PSPACE complets en temps polynomial Cependant, toutes les références …

13 complexity-theory reference-request computation-models history

Quelle est l'origine du modèle client-serveur?

Je me demandais si quelqu'un connaissait l'origine du modèle client-serveur. D'où vient le terme (papier, application logicielle, livre)?

13 terminology reference-request distributed-systems history

Pourquoi la transformée de Laplace n'est-elle pas populaire pour la convolution de traitement d'image?

Pourquoi la transformée de Laplace n'est-elle pas populaire pour la convolution de traitement d'image? La plupart des manuels ne convertissent que les transformées de Fourier.

12 history image-processing

Importance de la récursivité dans la théorie de la calculabilité

On dit que la théorie de la calculabilité est également appelée théorie de la récursivité. Pourquoi ça s'appelle comme ça? Pourquoi la récursivité a-t-elle autant d'importance?

12 computability terminology history

Comment «Isabelle» (le prouveur de théorèmes) a-t-elle obtenu son nom?

Le titre dit tout, mais je suis curieux car il n'est pas évident de savoir comment un prouveur de théorème a été nommé «Isabelle». Était-il nommé d'après une personne? Je n'ai pas pu le découvrir par certaines recherches Google.

11 history automated-theorem-proving isabelle

Déduire les types de raffinement

Au travail, j'ai été chargé de déduire des informations de type sur un langage dynamique. Je réécris des séquences d'instructions en imbriquéeslet expressions , comme ceci: return x; Z => x var x; Z => let x = undefined in Z x = y; Z => let x = y …

11 programming-languages logic type-theory type-inference machine-learning data-mining clustering order-theory reference-request information-theory entropy algorithms algorithm-analysis space-complexity lower-bounds formal-languages computability formal-grammars context-free parsing complexity-theory time-complexity terminology turing-machines nondeterminism programming-languages semantics operational-semantics complexity-theory time-complexity complexity-theory reference-request turing-machines machine-models simulation graphs probability-theory data-structures terminology distributed-systems hash-tables history terminology programming-languages meta-programming terminology formal-grammars compilers algorithms search-algorithms formal-languages regular-languages complexity-theory satisfiability sat-solvers factoring algorithms randomized-algorithms streaming-algorithm in-place algorithms numerical-analysis regular-languages automata finite-automata regular-expressions algorithms data-structures efficiency coding-theory algorithms graph-theory reference-request education books formal-languages context-free proof-techniques algorithms graph-theory greedy-algorithms matroids complexity-theory graph-theory np-complete intuition complexity-theory np-complete traveling-salesman algorithms graphs probabilistic-algorithms weighted-graphs data-structures time-complexity priority-queues computability turing-machines automata pushdown-automata algorithms graphs binary-trees algorithms algorithm-analysis spanning-trees terminology asymptotics landau-notation algorithms graph-theory network-flow terminology computability undecidability rice-theorem algorithms data-structures computational-geometry

Qu'est-ce que le mystérieux petit programme de Turing sur l'ordinateur de Manchester a calculé?

Je lis le document de Turing "Computing machines and intelligence" ( https://www.csee.umbc.edu/courses/471/papers/turing.pdf ) et j'ai trouvé un fragment dans lequel il dit: J'ai installé sur l'ordinateur de Manchester un petit programme utilisant seulement 1 000 unités de stockage, par lequel la machine fournie avec un nombre à seize chiffres répond …

10 algorithms history

Pourquoi la recherche binaire est-elle appelée recherche binaire?

J'ai entendu plusieurs explications possibles, donc je voudrais une référence fiable. Mise à jour 05.19: Je m'intéresse à la question parce qu'un de mes étudiants a écrit dans sa thèse que le nom vient de l'explication ci-dessous (1). Jusqu'à présent, je pensais / entendais que cela venait de l'explication (2). …

9 terminology reference-request history

Origine du concept de types

À propos de l'état de l'art que je suis en avance sur la théorie des types, j'ai ces questions toutes liées à l'histoire des types. D'où est venue l'idée de Type ? (Il semble que tout commence lorsque Russell et Whitehead proposent un moyen d'éviter la contradiction que nous connaissons …

8 type-theory history

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.