| Titre : | Des machines très affairées (2018) |
| Auteurs : | Jérôme Kirman, Auteur |
| Type de document : | Article : texte imprimé |
| Dans : | Découverte (Paris. 1999) (417, 07/2018) |
| Article en page(s) : | p.40-45 |
| Langues de la publication : | Français |
| Descripteurs |
[UNESCO] Algorithme [UNESCO] Langage de programmation |
| Mots-clés : | calcul algébrique/Turing, Alan (1912-1954)/système de chiffrement informatique |
| Résumé : | Présentation des machines de Turing et du jeu des Castors affairés : l'invention en 1936 par le mathématicien britannique Alan Turing d'une machine qui permet d'exécuter des calculs selon un programme ; l'analyse du comportement d'un programme informatique ; l'outil mathématique représentant l'exécution d'un algorithme de manière abstraite ; le concept de l'expression "effectivement calculable" ; les règles du jeu du Castor affairé ; les valeurs et les nombres incalculables ; l'absence de méthode systématique universelle pour calculer toutes les combinaisons ; le pouvoir des algorithmes ; l'indécidabilité du problème de l'arrêt. Encadré : les machines de Turing. |
| Nature du document : | Article de périodique |
Exemplaires (1)
| Code-barres | Cote | Support | Localisation | Section | Disponibilité |
|---|---|---|---|---|---|
| 50817 | Presse scientifique | Périodique | CDI 1 | Presse scientifique | Disponible |