Calculabilité
Type doc. :
Livre
Langue :
Français
Auteur(s) :
Editeur(s) :
Année d'édition :
2022
Thème :
Mathématiques
ISBN :
9782916352961
Afficher le Résumé
Au début du vingtième siècle, un petit groupe de logiciens et mathématiciens comprend et formalise, plusieurs décennies avant l'apparition des premiers ordinateurs, le concept de calcul et de fonction calculable. Leurs travaux vont constituer une base théorique solide sur laquelle se fondera l'informatique et ses nombreuses ramifications. C'est toutefois une histoire moins connue, mais issue des mêmes travaux que se proposent de nous raconter les auteurs du présent ouvrage : celle de la calculabilité, discipline qui étudie les objets mathématiques sous le prisme de leur complexité calculatoire, et qui étudie en particulier les objets mathématiques incalculables.
| N° Bulletin | Date / Année de parution | Titre N° Spécial | Sommaire |
|---|
| Cote | Localisation | Type de Support | Type de Prêt | Statut | Date de Restitution Prévue | Réservation |
|---|---|---|---|---|---|---|
| 510 MON 1 C1 | BIB-Centrale / Ouvrages | Papier | interne | disponible | ||
| 510 MON 1 C2 | BIB-Centrale / Ouvrages | Papier | externe | disponible |
Monin, B. & Patey, L. (2022). Calculabilité . Calvage & Mounet;