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
4 résultat(s) recherche sur le mot-clé 'Alan Turing'
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 Türing et la morphogenèse / Alexandre Moatti in Tangente, 123 (juillet-août 2008)
[article]
Titre : Türing et la morphogenèse Type de document : texte imprimé Auteurs : Alexandre Moatti, Auteur Année de publication : 2008 Article en page(s) : p. 8-10 Langues : Français (fre) Catégories : M:mathématiques Mots-clés : Alan Türing morphogenèse tâche pelage animal
in Tangente > 123 (juillet-août 2008) . - p. 8-10[article] Türing et la morphogenèse [texte imprimé] / Alexandre Moatti, Auteur . - 2008 . - p. 8-10.
Langues : Français (fre)
in Tangente > 123 (juillet-août 2008) . - p. 8-10
Catégories : M:mathématiques Mots-clés : Alan Türing morphogenèse tâche pelage animal Réservation
Réserver ce document
Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité L001390 51 TAN Périodique-emprunt "long" Bibliothèque principale Mathématiques Disponible 115 - Décembre 2015 - Les 20 idées scientifiques qui ont changé le monde (Bulletin de Science & vie junior. Hors série)
[n° ou bulletin]
Titre : 115 - Décembre 2015 - Les 20 idées scientifiques qui ont changé le monde Type de document : texte imprimé Année de publication : 2015 Langues : Français (fre) Catégories : S:sciences:chimie:éléments
S:sciences:géologie:tectonique des plaquesMots-clés : Charles Darwin dissection humeur antique Democrite modèle atomique Dimitri Mendeleïev Galilée microbe boson axiome démonstration entropie tectonique des plaques Alan Turing Note de contenu : Sommaire:
Les espèces évoluent grâce à la sélection naturelle/
Le cerveau est le siège des facultés intellectuelles/
La matière est composée d'atomes/
Ranger les éléments permet de les comprendre/
Le Soleil est au centre du système solaire/
Ondes et particules sont les deux faces d'une même pièce/
L'Univers s'est formé après le Big Bang et il est en expansion/
Un grand nombre de maladies sont causées pas des êtres invisibles/
Tous les êtres vivants sont constitués de cellules/
L'ADN porte le code secret de la vie/
L'espace et le temps sont liés dans l'espace-temps:
En mathématiques, on ne peut pas tout démontrer/
L'énergie ne se crée pas, elle ne fait que changer de forme/
Le désordre de l'univers augmente inévitablement/
Les continents dérivent à la surface de la terre/
Masse et énergie sont équivalentes/
L'activité humaines renforce l'effet de serre naturel/
Il est possible de construire une machine universelle/
Il existe une voie sûre pour connaitre la nature[n° ou bulletin] 115 - Décembre 2015 - Les 20 idées scientifiques qui ont changé le monde [texte imprimé] . - 2015.
Langues : Français (fre)
Catégories : S:sciences:chimie:éléments
S:sciences:géologie:tectonique des plaquesMots-clés : Charles Darwin dissection humeur antique Democrite modèle atomique Dimitri Mendeleïev Galilée microbe boson axiome démonstration entropie tectonique des plaques Alan Turing Note de contenu : Sommaire:
Les espèces évoluent grâce à la sélection naturelle/
Le cerveau est le siège des facultés intellectuelles/
La matière est composée d'atomes/
Ranger les éléments permet de les comprendre/
Le Soleil est au centre du système solaire/
Ondes et particules sont les deux faces d'une même pièce/
L'Univers s'est formé après le Big Bang et il est en expansion/
Un grand nombre de maladies sont causées pas des êtres invisibles/
Tous les êtres vivants sont constitués de cellules/
L'ADN porte le code secret de la vie/
L'espace et le temps sont liés dans l'espace-temps:
En mathématiques, on ne peut pas tout démontrer/
L'énergie ne se crée pas, elle ne fait que changer de forme/
Le désordre de l'univers augmente inévitablement/
Les continents dérivent à la surface de la terre/
Masse et énergie sont équivalentes/
L'activité humaines renforce l'effet de serre naturel/
Il est possible de construire une machine universelle/
Il existe une voie sûre pour connaitre la natureRéservation
Réserver ce document
Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité 0002923 SCI Périodique Bibliothèque principale Périodique Disponible La folle histoire de l'ordinateur in Science & vie junior. Hors série, 87 (avril 2011)
[article]
Titre : La folle histoire de l'ordinateur Type de document : texte imprimé Année de publication : 2011 Article en page(s) : 97p. Langues : Français (fre) Catégories : I:Informatique:calcul booléen, algèbre de Boole
I:Informatique:ordinateurs
M:mathématiques:arithmétique:calculatricesMots-clés : codage de données machine à calculer micro-informatique Charles Babbage George Boole Alan Turing John Von Neumann Maurice Wilkes Jay Forrester William Shockley Kilby Noyce Apple Résumé : Cet ouvrage retrace l'histoire des "machines" : du computer aux ordinateurs, de ceux qui les inventent et de ceux qui en font usage :l'ordinateur dans tous les secteurs d'activités (simulateur, jeux vidéo, cinéma, météo, ...); le calculateur d'Anticythère; l'anatomie de votre PC; histoire de "colossus": le calculateur anglais qui permettait de briser les codes secrets; l'histoire d'Apple; la saga des micros; présentation de quelques génies de l'informatique
in Science & vie junior. Hors série > 87 (avril 2011) . - 97p.[article] La folle histoire de l'ordinateur [texte imprimé] . - 2011 . - 97p.
Langues : Français (fre)
in Science & vie junior. Hors série > 87 (avril 2011) . - 97p.
Catégories : I:Informatique:calcul booléen, algèbre de Boole
I:Informatique:ordinateurs
M:mathématiques:arithmétique:calculatricesMots-clés : codage de données machine à calculer micro-informatique Charles Babbage George Boole Alan Turing John Von Neumann Maurice Wilkes Jay Forrester William Shockley Kilby Noyce Apple Résumé : Cet ouvrage retrace l'histoire des "machines" : du computer aux ordinateurs, de ceux qui les inventent et de ceux qui en font usage :l'ordinateur dans tous les secteurs d'activités (simulateur, jeux vidéo, cinéma, météo, ...); le calculateur d'Anticythère; l'anatomie de votre PC; histoire de "colossus": le calculateur anglais qui permettait de briser les codes secrets; l'histoire d'Apple; la saga des micros; présentation de quelques génies de l'informatique Réservation
Réserver ce document
Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité 6462 SCI Périodique Bibliothèque principale Archive des revues Disponible