| 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 : | p.40-45 |
| Langues: | Français |
| Descripteurs : | algorithme / calcul algébrique / langage de programmation |
| Tags : | 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 : | documentaire |
| Genre : | article de périodique |
Exemplaires (1)
| Cote | Section | Localisation | Code-barres | Disponibilité |
|---|---|---|---|---|
| Archives | 4. Périodiques | Documentaires | 020098 | Disponible |