Calculabilité : aléatoire, mathématiques à rebours et hypercalculabilité
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&...
সংরক্ষণ করুন:
| প্রধান লেখক: | Monin, Benoît, 1982-, Patey, Ludovic, 19..- (Author) |
|---|---|
| বিন্যাস: | Livre papier |
| ভাষা: | Français |
| প্রকাশিত: |
Paris :
Calvage & Mounet
DL 2022.
|
| মালা: | Tableau noir
107 |
| বিষয়গুলি: | |
| টীকা: |
La couv. porte en plus : "Degrés Turing", "Théorie algorithmique de l'aléatoire", "Mathématiques à rebours", "Hypercalculabilité" |
| Autres localisations: | Voir dans le Sudoc |
অনুরূপ উপাদানগুলি
-
Introduction à la calculabilité
(Livre papier)
Wolper, Pierre, 1955-
InterÉditions, 1991 -
Anthologie de la calculabilité : naissance et développements de la théorie de la calculabilité des années 1920 à 1970
(Livre papier)
Mosconi, Jean, 1942-
Cassini, 2022 -
Calculabilité effective et algorithmique théorique
(Livre papier)
Vollat, Patrick
Eyrolles, 1989 -
Reverse mathematics : proofs from the inside out
(Livre numérique)
Stillwell, John, 1942-...., Professeur de mathématiques
Princeton University Press, 2018 -
Langages formels, calculabilité et complexité
(Livre papier)
Carton, Olivier, 19..-...., mathématicien
Vuibert, 2008

