Centre de Documentation HELHa - Loverval
Horaire d'ouverture: Du lundi au vendredi, de 8h00 à 16h00
Fermeture les jours fériés et durant les congés scolaires
Fermeture les jours fériés et durant les congés scolaires
Bienvenue sur le catalogue du centre de documentation de la HELHa de Loverval.
Pour avoir accès aux documents numériques, vous devez vous authentifier avec vos identifiants HELHa
Pour avoir accès aux documents numériques, vous devez vous authentifier avec vos identifiants HELHa
Résultat de la recherche
1 résultat(s) recherche sur le mot-clé 'calculabilité'
Ajouter le résultat dans votre panier Affiner la recherche Générer le flux rss de la recherche
Partager le résultat de cette recherche
Alonzo Church, Alan Turing et la calculabilité / David Delaunay in Bibliothèque Tangente, 52 (Juillet 2014)
[article]
Titre : Alonzo Church, Alan Turing et la calculabilité Type de document : texte imprimé Auteurs : David Delaunay Année de publication : 2014 Article en page(s) : 40-42 Langues : Français (fre) Mots-clés : histoire des mathématiques machine à calculer Alan Turing calculabilité Résumé : S'inspirant l'un et l'autre des travaux fondateurs du logicien Kurt Gödel, Alzon Church et Alan Turing dégagent des notions clés : le λ-calcul et la machine de turing. Leur but est de préciser la notion de calculabilité. Ils ont en fait défini un seul et même concept !
in Bibliothèque Tangente > 52 (Juillet 2014) . - 40-42[article] Alonzo Church, Alan Turing et la calculabilité [texte imprimé] / David Delaunay . - 2014 . - 40-42.
Langues : Français (fre)
in Bibliothèque Tangente > 52 (Juillet 2014) . - 40-42
Mots-clés : histoire des mathématiques machine à calculer Alan Turing calculabilité Résumé : S'inspirant l'un et l'autre des travaux fondateurs du logicien Kurt Gödel, Alzon Church et Alan Turing dégagent des notions clés : le λ-calcul et la machine de turing. Leur but est de préciser la notion de calculabilité. Ils ont en fait défini un seul et même concept ! Réservation
Réserver ce document
Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité 6073 51 BIB TAN Périodique-emprunt "long" Bibliothèque principale Périodique Disponible