Accueil
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: | Français |
Catégories : | Algorithme / Langage de programmation |
Tags : | 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 : | Documentaire |
Genre : | Article de périodique |
Exemplaires (1)
Code-barres | Cote | Support | Localisation | Section | Disponibilité |
---|---|---|---|---|---|
020375 | Périodique | Périodique | CDI | Espace "Presse" (boîtes d'archives) | Disponible |