Centre de Documentation HELHa - Loverval
Horaire d'ouverture :
Lundi, de 7h45 à 15h45
Mardi, de 7h45 à 15h45
Mercredi, de 8h à 16h
Jeudi, de 7h45 à 15h45
Vendredi, de 7h45 à 13h45
Fermeture les jours fériés et durant les congés scolaires
Durant les vacances d'été, la bibliothèque sera fermée du 12 juillet au 17 août.
Bienvenue sur le catalogue du centre de documentation de la HELHa de Loverval.
Pour avoir accès aux documents numériques et aux bases de données, vous devez vous authentifier avec vos identifiants HELHa
Détail de l'auteur
Documents disponibles écrits par cet auteur
Ajouter le résultat dans votre panier Affiner la recherche
[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
|
Réservation
Réserver ce document
Exemplaires (1)
|
| 6073 | 51 BIB TAN | Périodique-emprunt "long" | Bibliothèque principale | Périodique | Disponible |
Réservation
Réserver ce document
Exemplaires (1)
|
| L007044 | 51 BIB 80 | Périodique-emprunt "long" | Bibliothèque principale | Mathématiques | Disponible |
[article]
| Titre : |
Résolution des équations algébriques |
| Type de document : |
texte imprimé |
| Auteurs : |
David Delaunay |
| Année de publication : |
2005 |
| Article en page(s) : |
112-115 |
| Langues : |
Français (fre) |
| Mots-clés : |
algèbre équation |
| Résumé : |
La recherche des solutions des équations algébriques a amené la naissance de la notation algébrique, de la notion d'algorithme ainsi que de celle de groupe. |
in Bibliothèque Tangente > 10 (2005) . - 112-115
[article] Résolution des équations algébriques [texte imprimé] / David Delaunay . - 2005 . - 112-115. Langues : Français ( fre) in Bibliothèque Tangente > 10 (2005) . - 112-115
| Mots-clés : |
algèbre équation |
| Résumé : |
La recherche des solutions des équations algébriques a amené la naissance de la notation algébrique, de la notion d'algorithme ainsi que de celle de groupe. |
|
Réservation
Réserver ce document
Exemplaires (1)
|
| 6053 | 51 BIB TAN | Périodique-emprunt "long" | Bibliothèque principale | Périodique | Disponible |
