3 résultats pour "lisp"
-
Lisp. langage de programmation créé et développé à partir de
est égale au produit des entiers non nuls inférieurs ou égaux à n, L'idée du lambda-calcul, qui est de traiter les fonctions comme les variables, se réalise directement dans le programme suivant « somme » qui admet en arguments une fonction f et deux entiers a et b , et qui effectue la somme des valeurs de la fonction pour tous les entiers compris entre a et b inclus : Complétez votre recherche en consultant : Les corrélats informatique - Histoire de l'informatique - La logique fo...
-
L'informatique a bouleversé notre pratique professionnelle, aussi bien que notre vie
quotidienne.
calculateur ordinateur - Introduction Les livres informatique - machine à calculer, page 2516, volume 5 La logique formelle L'informatique ne peut pas être réduite à une technique issue du calcul automatique ; elle trouve également ses origines dans la logique formelle. L'origine de la logique. Les sources de la logique du XX e siècle remontent au moins à Aristote (notion de syllogisme). Euclide et Ératosthène formulèrent des algorithmes ; le mathématicien arabe al-Khārazmi (vers 780-...
-
L'ordinateur que l'on trouve aujourd'hui en grande surface est capable de performances
qui auraient étonné les informaticiens des années soixante.
pour les circuits logiques et pour la mémoire des lignes à retard (Univac 1 de 1951, le premier ordinateur de gestion) ou des tubes électrostatiques (comme le premier ordinateur d'IBM, le 701 de 1953). Le Whirlwind construit au MIT de Cambridge entre 1946 et 1955 servit à réaliser le premier système informatisé de défense aérienne américain dès 1951 et inaugura de nombreuses innovations : en 1953, mémoire à tores de ferrite ; terminal graphique à tube cathodique ; utilisation...