Centre de Documentation HELHa - Loverval
Horaire d'ouverture :
Lundi, de 7h45 à 15h45
Mardi, de 7h45 à 17h30
Mercredi, de 8h00 à 16h00
Jeudi, de 7h45 à 15h45
Vendredi, de 7h45 à 13h45
Exceptionnellement, la bibliothèque fermera à 15h45 ce mardi 19 novembre.
Durant la semaine du 25 novembre, les horaires de la bibliothèque seront allégés :
Lundi, de 7h45 à 12h45
Mardi, fermé
Mercredi, de 8h00 à 16h00
Jeudi, de 7h45 à 12h45
Vendredi, de 7h45 à 12h45
Fermeture les jours fériés et durant les congés scolaires
Durant les vacances d'hiver, la bibliothèque sera fermée du 21 décembre au 5 janvier
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
Mathématiques & informatique
Mention de date : Juillet 2014
Paru le : 01/07/2014
|
[n° ou bulletin]
| Titre : |
52 - Juillet 2014 - Mathématiques & informatique : Une nouvelle ère numérique |
| Type de document : |
texte imprimé |
| Année de publication : |
2014 |
| Importance : |
158 p. |
| Présentation : |
ill. |
| Langues : |
Français (fre) |
[n° ou bulletin]
52 - Juillet 2014 - Mathématiques & informatique : Une nouvelle ère numérique [texte imprimé] . - 2014 . - 158 p. : ill. Langues : Français ( fre) |
Réservation
Réserver ce document
Exemplaires (1)
|
| 6073 | 51 BIB TAN | Périodique-emprunt "long" | Bibliothèque principale | Périodique | Disponible |
Dépouillements
Ajouter le résultat dans votre panier
[article]
| Titre : |
Les perspectives de l'informatique au XXIe siècle |
| Type de document : |
texte imprimé |
| Année de publication : |
2014 |
| Article en page(s) : |
10-15 |
| Langues : |
Français (fre) |
| Catégories : |
M:Mathématiques
|
| Résumé : |
Depuis l'avènement de l'informatique, que de chemin parcouru ! Les applications, déjà innombrables, ne constituent qu'une infime partie du potentiel de cette science. Au niveau théorique, la recherche en science informatique a fait émerger des concepts inédits. Sur quoi porte-t-elle aujourd'hui, sur quoi portera-t-elle demain ? |
in Bibliothèque Tangente > 52 (Juillet 2014) . - 10-15
[article] Les perspectives de l'informatique au XXIe siècle [texte imprimé] . - 2014 . - 10-15. Langues : Français ( fre) in Bibliothèque Tangente > 52 (Juillet 2014) . - 10-15
| Catégories : |
M:Mathématiques
|
| Résumé : |
Depuis l'avènement de l'informatique, que de chemin parcouru ! Les applications, déjà innombrables, ne constituent qu'une infime partie du potentiel de cette science. Au niveau théorique, la recherche en science informatique a fait émerger des concepts inédits. Sur quoi porte-t-elle aujourd'hui, sur quoi portera-t-elle demain ? |
|
Réservation
Réserver ce document
Exemplaires (1)
|
| 6073 | 51 BIB TAN | Périodique-emprunt "long" | Bibliothèque principale | Périodique | Disponible |
[article]
| Titre : |
Informatique, popularisation et médiation |
| Type de document : |
texte imprimé |
| Année de publication : |
2014 |
| Article en page(s) : |
16-19 |
| Langues : |
Français (fre) |
| Résumé : |
La "fracture informatique" ne concerne pas seulement les générations ou l'accès au matériel. Au sein d'une même catégorie d'utilisateurs d'équipements informatiques, des inégalités parfois rédhibitoires sont constatées en fonction de la culture scientifique et technique liée au numérique. La médiation scientifique est là pour tenter de répondre à ce défi de société.
|
in Bibliothèque Tangente > 52 (Juillet 2014) . - 16-19
[article] Informatique, popularisation et médiation [texte imprimé] . - 2014 . - 16-19. Langues : Français ( fre) in Bibliothèque Tangente > 52 (Juillet 2014) . - 16-19
| Résumé : |
La "fracture informatique" ne concerne pas seulement les générations ou l'accès au matériel. Au sein d'une même catégorie d'utilisateurs d'équipements informatiques, des inégalités parfois rédhibitoires sont constatées en fonction de la culture scientifique et technique liée au numérique. La médiation scientifique est là pour tenter de répondre à ce défi de société.
|
|
Réservation
Réserver ce document
Exemplaires (1)
|
| 6073 | 51 BIB TAN | Périodique-emprunt "long" | Bibliothèque principale | Périodique | Disponible |
[article]
| Titre : |
Intelligence artificielle et philosophie, deux cousines éloignées |
| Type de document : |
texte imprimé |
| Année de publication : |
2014 |
| Article en page(s) : |
20-24 |
| Langues : |
Français (fre) |
in Bibliothèque Tangente > 52 (Juillet 2014) . - 20-24
|
Réservation
Réserver ce document
Exemplaires (1)
|
| 6073 | 51 BIB TAN | Périodique-emprunt "long" | Bibliothèque principale | Périodique | Disponible |
[article]
| Titre : |
Mathématiques pour l'informatique [Dossier] |
| Type de document : |
texte imprimé |
| Année de publication : |
2014 |
| Article en page(s) : |
27-64 |
| Langues : |
Français (fre) |
| Résumé : |
L'informatique n'existerait pas sans les mathématiques. Les procédures (et les processeurs) qu’elle utilise, les algorithmes et les structures des langages qui permettent la programmation, la vérification des programmes et le calcul de leur durée, s'appuient sur des théories mathématiques dont certaines ont été crées spécialement dans ce dessein. Système binaire, algèbre de Boole, notion de complexité, et bien d'autres, ont apporté à l'informatique le support théorique qui en fait une science à part entière. |
in Bibliothèque Tangente > 52 (Juillet 2014) . - 27-64
[article] Mathématiques pour l'informatique [Dossier] [texte imprimé] . - 2014 . - 27-64. Langues : Français ( fre) in Bibliothèque Tangente > 52 (Juillet 2014) . - 27-64
| Résumé : |
L'informatique n'existerait pas sans les mathématiques. Les procédures (et les processeurs) qu’elle utilise, les algorithmes et les structures des langages qui permettent la programmation, la vérification des programmes et le calcul de leur durée, s'appuient sur des théories mathématiques dont certaines ont été crées spécialement dans ce dessein. Système binaire, algèbre de Boole, notion de complexité, et bien d'autres, ont apporté à l'informatique le support théorique qui en fait une science à part entière. |
|
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)
|
| 6073 | 51 BIB TAN | Périodique-emprunt "long" | Bibliothèque principale | Périodique | Disponible |
[article]
| Titre : |
Babbage et le premier ordinateur potentiel |
| Type de document : |
texte imprimé |
| Auteurs : |
Hervé Lehning |
| Année de publication : |
2014 |
| Article en page(s) : |
32-35 |
| Langues : |
Français (fre) |
| Mots-clés : |
machine à différence histoire des mathématiques |
| Résumé : |
Au XIXe siècle, Charles Babbage conçut la première calculatrice scientifique ainsi que le premier instrument que l'on peut qualifier d'ordinateur. Malheureusement, aucun des deux ne fonctionna à l'époque. |
in Bibliothèque Tangente > 52 (Juillet 2014) . - 32-35
|
Réservation
Réserver ce document
Exemplaires (1)
|
| 6073 | 51 BIB TAN | Périodique-emprunt "long" | Bibliothèque principale | Périodique | Disponible |
[article]
| Titre : |
Le programme de Lady Ada King, comtesse de Lovelace |
| Type de document : |
texte imprimé |
| Auteurs : |
Jean-Jacques Dupas |
| Année de publication : |
2014 |
| Article en page(s) : |
36-38 |
| Langues : |
Français (fre) |
| Mots-clés : |
histoire des mathématiques ordinateur |
| Résumé : |
Lady Ada King est le personnage romantique par excellence, jeune, belle, indépendante, intelligente, unique fille légitime du célèbre poète britannique lord Byron, elle décédera comme lui dans la fleur de lâte, à 36 ans. L'informatique moderne moderne la rendra célèbre. |
in Bibliothèque Tangente > 52 (Juillet 2014) . - 36-38
[article] Le programme de Lady Ada King, comtesse de Lovelace [texte imprimé] / Jean-Jacques Dupas . - 2014 . - 36-38. Langues : Français ( fre) in Bibliothèque Tangente > 52 (Juillet 2014) . - 36-38
| Mots-clés : |
histoire des mathématiques ordinateur |
| Résumé : |
Lady Ada King est le personnage romantique par excellence, jeune, belle, indépendante, intelligente, unique fille légitime du célèbre poète britannique lord Byron, elle décédera comme lui dans la fleur de lâte, à 36 ans. L'informatique moderne moderne la rendra célèbre. |
|
Réservation
Réserver ce document
Exemplaires (1)
|
| 6073 | 51 BIB TAN | Périodique-emprunt "long" | Bibliothèque principale | Périodique | Disponible |
[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 |
[article]
| Titre : |
Algèbre de Boole |
| Type de document : |
texte imprimé |
| Auteurs : |
François Lavallou |
| Année de publication : |
2014 |
| Article en page(s) : |
44-46 |
| Langues : |
Français (fre) |
| Mots-clés : |
syllogisme logique |
| Résumé : |
Fruit d'une longue et lente algébrisation de la logique, l'algèbre de Boole est utilisée pour la première fois hors du champ mathématique par Shannon, père fondateur de la théorie de l'information. Elle a depuis de nombreuses applications électronique et informatique. |
in Bibliothèque Tangente > 52 (Juillet 2014) . - 44-46
[article] Algèbre de Boole [texte imprimé] / François Lavallou . - 2014 . - 44-46. Langues : Français ( fre) in Bibliothèque Tangente > 52 (Juillet 2014) . - 44-46
| Mots-clés : |
syllogisme logique |
| Résumé : |
Fruit d'une longue et lente algébrisation de la logique, l'algèbre de Boole est utilisée pour la première fois hors du champ mathématique par Shannon, père fondateur de la théorie de l'information. Elle a depuis de nombreuses applications électronique et informatique. |
|
Réservation
Réserver ce document
Exemplaires (1)
|
| 6073 | 51 BIB TAN | Périodique-emprunt "long" | Bibliothèque principale | Périodique | Disponible |
[article]
| Titre : |
Langages et récursivité |
| Type de document : |
texte imprimé |
| Auteurs : |
Hervé Lehning |
| Année de publication : |
2014 |
| Article en page(s) : |
48-51 |
| Langues : |
Français (fre) |
| Mots-clés : |
fonction récursive |
| Résumé : |
La notion d’auto-référence fascine les amateurs de paradoxes et de jeux mathématiques. En informatique, c'est la récursivité qui joue ce rôle. Elle consiste à appeler au sein d'un programme qui calcule la fonction f... la fonction f elle-même. Il n'y a pourtant rien de plus sûr qu'une telle démarche. |
in Bibliothèque Tangente > 52 (Juillet 2014) . - 48-51
[article] Langages et récursivité [texte imprimé] / Hervé Lehning . - 2014 . - 48-51. Langues : Français ( fre) in Bibliothèque Tangente > 52 (Juillet 2014) . - 48-51
| Mots-clés : |
fonction récursive |
| Résumé : |
La notion d’auto-référence fascine les amateurs de paradoxes et de jeux mathématiques. En informatique, c'est la récursivité qui joue ce rôle. Elle consiste à appeler au sein d'un programme qui calcule la fonction f... la fonction f elle-même. Il n'y a pourtant rien de plus sûr qu'une telle démarche. |
|
Réservation
Réserver ce document
Exemplaires (1)
|
| 6073 | 51 BIB TAN | Périodique-emprunt "long" | Bibliothèque principale | Périodique | Disponible |
[article]
| Titre : |
Langages rationnels et automates finis |
| Type de document : |
texte imprimé |
| Auteurs : |
Jill-Jênn Vie |
| Année de publication : |
2014 |
| Article en page(s) : |
52-55 |
| Langues : |
Français (fre) |
| Mots-clés : |
correcteur orthographique théorie des automates |
| Résumé : |
La théorie des langages formels est une modélisation du langage naturel. Fondamentale pour décrire et analyser les langages de programmation et la calculabilité, elle a de nombreuses applications en linguistique : correction orthographique, reconnaissance vocale, traduction. |
in Bibliothèque Tangente > 52 (Juillet 2014) . - 52-55
[article] Langages rationnels et automates finis [texte imprimé] / Jill-Jênn Vie . - 2014 . - 52-55. Langues : Français ( fre) in Bibliothèque Tangente > 52 (Juillet 2014) . - 52-55
| Mots-clés : |
correcteur orthographique théorie des automates |
| Résumé : |
La théorie des langages formels est une modélisation du langage naturel. Fondamentale pour décrire et analyser les langages de programmation et la calculabilité, elle a de nombreuses applications en linguistique : correction orthographique, reconnaissance vocale, traduction. |
|
Réservation
Réserver ce document
Exemplaires (1)
|
| 6073 | 51 BIB TAN | Périodique-emprunt "long" | Bibliothèque principale | Périodique | Disponible |
[article]
| Titre : |
Complexité de Kolmogorov et profondeur logique de Bennett |
| Type de document : |
texte imprimé |
| Auteurs : |
Jean-Paul Delahaye |
| Année de publication : |
2014 |
| Article en page(s) : |
56-61 |
| Langues : |
Français (fre) |
| Mots-clés : |
complexité |
| Résumé : |
Pour mesurer la complexité d'un objet numérique, selon que l'on considère sont contenu en informations, ou son contenu en structures, deux notions très différentes sont obtenues. A l'origine de ces outils se trouvent les travaux du mathématicien Andreï Kolmogorov. |
in Bibliothèque Tangente > 52 (Juillet 2014) . - 56-61
[article] Complexité de Kolmogorov et profondeur logique de Bennett [texte imprimé] / Jean-Paul Delahaye . - 2014 . - 56-61. Langues : Français ( fre) in Bibliothèque Tangente > 52 (Juillet 2014) . - 56-61
| Mots-clés : |
complexité |
| Résumé : |
Pour mesurer la complexité d'un objet numérique, selon que l'on considère sont contenu en informations, ou son contenu en structures, deux notions très différentes sont obtenues. A l'origine de ces outils se trouvent les travaux du mathématicien Andreï Kolmogorov. |
|
Réservation
Réserver ce document
Exemplaires (1)
|
| 6073 | 51 BIB TAN | Périodique-emprunt "long" | Bibliothèque principale | Périodique | Disponible |
[article]
| Titre : |
Comment éliminer les spams ? |
| Type de document : |
texte imprimé |
| Auteurs : |
Nicolas Delerue |
| Année de publication : |
2014 |
| Article en page(s) : |
62-64 |
| Langues : |
Français (fre) |
| Mots-clés : |
spam probabilité pourriel |
| Résumé : |
Comment rejeter les courriers électroniques non sollicités sans perdre de messages ? La solution la plus efficace à l'heure actuelle repose sur l'utilisation d'un théorème de mathématiques : le théorème de Bayes |
in Bibliothèque Tangente > 52 (Juillet 2014) . - 62-64
[article] Comment éliminer les spams ? [texte imprimé] / Nicolas Delerue . - 2014 . - 62-64. Langues : Français ( fre) in Bibliothèque Tangente > 52 (Juillet 2014) . - 62-64
| Mots-clés : |
spam probabilité pourriel |
| Résumé : |
Comment rejeter les courriers électroniques non sollicités sans perdre de messages ? La solution la plus efficace à l'heure actuelle repose sur l'utilisation d'un théorème de mathématiques : le théorème de Bayes |
|
Réservation
Réserver ce document
Exemplaires (1)
|
| 6073 | 51 BIB TAN | Périodique-emprunt "long" | Bibliothèque principale | Périodique | Disponible |
[article]
| Titre : |
Informatique pour les mathématiques [Dossier] |
| Type de document : |
texte imprimé |
| Année de publication : |
2014 |
| Article en page(s) : |
65-100 |
| Langues : |
Français (fre) |
| Résumé : |
Comme toutes progéniture reconnaissante, l'informatique a bien rendu aux mathématiques ce qu'elle leur doit. Les interrogations nées de cette nouvelle science, les apports technologiques qu'elle permet, ont ouvert aux mathématiques des horizons nouveaux. l'expérimentation, la simulation, le calcul haute performance, la démonstration automatique... sont quelques-unes des nombreuses portes ouvertes par l'informatique aux mathématiciens. |
| Note de contenu : |
Mathématiques expérimentales
Les automates cellulaires et le jeu de la vie
Démonstration, l'ordinateur à la rescousse
Espaces de Banach et informatique théorique
Le problème fondamental de l'informatique théorique : P est-il égal à np ?
La simulation numérique
Le calcul haute performance
Quelques problèmes de calculs liés au caractère discret et fini de nos ordinateurs |
in Bibliothèque Tangente > 52 (Juillet 2014) . - 65-100
[article] Informatique pour les mathématiques [Dossier] [texte imprimé] . - 2014 . - 65-100. Langues : Français ( fre) in Bibliothèque Tangente > 52 (Juillet 2014) . - 65-100
| Résumé : |
Comme toutes progéniture reconnaissante, l'informatique a bien rendu aux mathématiques ce qu'elle leur doit. Les interrogations nées de cette nouvelle science, les apports technologiques qu'elle permet, ont ouvert aux mathématiques des horizons nouveaux. l'expérimentation, la simulation, le calcul haute performance, la démonstration automatique... sont quelques-unes des nombreuses portes ouvertes par l'informatique aux mathématiciens. |
| Note de contenu : |
Mathématiques expérimentales
Les automates cellulaires et le jeu de la vie
Démonstration, l'ordinateur à la rescousse
Espaces de Banach et informatique théorique
Le problème fondamental de l'informatique théorique : P est-il égal à np ?
La simulation numérique
Le calcul haute performance
Quelques problèmes de calculs liés au caractère discret et fini de nos ordinateurs |
|
Réservation
Réserver ce document
Exemplaires (1)
|
| 6073 | 51 BIB TAN | Périodique-emprunt "long" | Bibliothèque principale | Périodique | Disponible |
[article]
| Titre : |
Des applications qui changent le monde [Dossier] |
| Type de document : |
texte imprimé |
| Année de publication : |
2014 |
| Article en page(s) : |
101-154 |
| Langues : |
Français (fre) |
| Mots-clés : |
distribution uniforme hacker données génomiques ARN ADN protéine indexation des moteurs de recherche |
| Résumé : |
Mathématiques et informatique, une équipe gagnante. Que d’applications de ce partenariat talentueux voient régulièrement le jour ! Le exemples portent sur des sujets qui ponctuent notre quotidien : la compression des images, la représentation du son, la cryptographie, la sécurité informatique... L'utilisation de modèles mathématiques sophistiqués agissant sur les données massives fournies grâce à l’informatique dans de nombreux contextes (finance, biologie, commerce...) fait même débat dans la mesure où elle pose des questions d'éthique inédites qui, aujourd'hui, sont encore loin d'être toutes résolues. |
| Note de contenu : |
Images numériques, du pixel à la topologie
La méthode de Monte Carlo, application à un investissement financier
Pirater un site ou une messagerie
Limiter la collecte des données personnelles : un problème juridique np-difficile
Le langage des molécules du vivant
GroLopin et les plans projectifs finis
Le traitement du signal
Protégez-vous des hackers
Le classement des pages par les moteurs de recherche
Entre le robot et l'homme, les mathématiques
La cryptographie à l'origine de l'informatique |
in Bibliothèque Tangente > 52 (Juillet 2014) . - 101-154
[article] Des applications qui changent le monde [Dossier] [texte imprimé] . - 2014 . - 101-154. Langues : Français ( fre) in Bibliothèque Tangente > 52 (Juillet 2014) . - 101-154
| Mots-clés : |
distribution uniforme hacker données génomiques ARN ADN protéine indexation des moteurs de recherche |
| Résumé : |
Mathématiques et informatique, une équipe gagnante. Que d’applications de ce partenariat talentueux voient régulièrement le jour ! Le exemples portent sur des sujets qui ponctuent notre quotidien : la compression des images, la représentation du son, la cryptographie, la sécurité informatique... L'utilisation de modèles mathématiques sophistiqués agissant sur les données massives fournies grâce à l’informatique dans de nombreux contextes (finance, biologie, commerce...) fait même débat dans la mesure où elle pose des questions d'éthique inédites qui, aujourd'hui, sont encore loin d'être toutes résolues. |
| Note de contenu : |
Images numériques, du pixel à la topologie
La méthode de Monte Carlo, application à un investissement financier
Pirater un site ou une messagerie
Limiter la collecte des données personnelles : un problème juridique np-difficile
Le langage des molécules du vivant
GroLopin et les plans projectifs finis
Le traitement du signal
Protégez-vous des hackers
Le classement des pages par les moteurs de recherche
Entre le robot et l'homme, les mathématiques
La cryptographie à l'origine de l'informatique |
|
Réservation
Réserver ce document
Exemplaires (1)
|
| 6073 | 51 BIB TAN | Périodique-emprunt "long" | Bibliothèque principale | Périodique | Disponible |
