University Sétif 1 FERHAT ABBAS Faculty of Sciences
Détail de l'éditeur
|
Documents disponibles chez cet éditeur
Ajouter le résultat dans votre panier Affiner la recherche
Mathématiques et informatique
Titre : Mathématiques et informatique : Une nouvelle ère numérique Type de document : texte imprimé Auteurs : Cohen, Gilles, Directeur de publication, rédacteur en chef Editeur : Paris : Éd. POLE Année de publication : 2014 Collection : Bibliothèque Tangente, ISSN 2263-4908 Importance : 1 vol. (158 p.) Présentation : ill. en noir et en coul., couv. ill. en coul. Format : 24 cm ISBN/ISSN/EAN : 978-2-84884-151-9 Note générale : 978-2-84884-151-9 Langues : Français (fre) Catégories : Mathématique Mots-clés : Informatique : Mathématiques
Mathématiques : InformatiqueIndex. décimale : 004 Informatique Résumé :
L'informatique est un système de représentation de l'information. L'algèbre booléenne et l'algorithmique sont les outils qui permettent de numériser (« mettre sous forme de nombres »), représenter et manipuler l'information. La logique formelle comme la sémantique cherchent à préciser ce qui peut être formalisé et expliqué à un ordinateur. La théorie du signal permet de faire circuler des données d'un ordinateur à l'autre. La cryptologie vise à étudier la sécurité de ces données qui transitent. La vérification des programmes s'appuie sur la logique mathématique. De fait, la démonstration automatique, l'expérimentation et la simulation numérique quittent le domaine du rêve pour devenir réalité. Ainsi, l'outil informatique envahit notre quotidien, de la biologie à la finance en passant par l'ingénierie, et bouscule notre vision du monde en soulevant des questions (scientifiques ou éthiques) qui n'avaient jamais été envisagées. Sans les mathématiques, aucun de ces progrès ne serait possibleNote de contenu :
Sommaire
P. 8. La Société informatique de France
P. 9. Le Prix Bernard-Novelli
P. 10. Les perspectives de l'informatique au XXIe siècle
P. 16. Informatique, popularisation et médiation
P. 20. Intelligence artificielle et philosophie
P. 27. Dossier Mathématiques pour l'informatique
L'informatique n'existerait pas sans les mathématiques. Les procédures qu'elle utilise, les algorithmes et les structures de langage qui permettent la programmation, la vérification de programme 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é ont apporté à l'informatique le support théorique qui en fait une science à part entière.
P. 28. La préhistoire de l'informatique
P. 32. Babbage et le premier ordinateur potentiel
P. 36. Le programme de Lady Ada King
P. 39. Les messages qui se corrigent tout seuls
P. 42. Alonzo Church, Alan Turing et la calculabilité
P. 44. Algèbre de Boole
P. 48. Langages et récursivité
P. 52. Langages rationnels et automates finis
P. 56. Complexité de Kolmogorov et profondeur logique de Bennett
P. 62. Comment éliminer les spams
P. 5, 6, 7, 15, 25, 26, 31, 47. En bref
P. 15, 43, 47. Notes de lecture
P. 65. Dossier Informatique pour les mathématiques
Comme toute progéniture reconnaissante, l'informatique a bien rendu aux mathématiques ce qu'elle leur doit. 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ématiques.
P. 66. Mathématiques expérimentales
P. 72. Les automates cellulaires et le jeu de la vie
P. 76. Démonstration, l'ordinateur à la rescousse
P. 80. Espaces de Banach et informatique théorique
P. 82. Le problème fondamental de l'informatique théorique : P est-il égal à NP ?
P. 88. La simulation numérique
P. 92. Le calcul haute performance
P. 96. Quelques problèmes de calculs
P. 101. Dossier Des applications qui changent le monde
Mathématiques et informatique, une équipe gagnante. Que d'applications de ce partenariat talentueux voient régulièrement le jour ! Compression des images, cryptographie, sécurité informatique... L'utilisation des modèles mathématiques sophistiqués agissant sur les données massives (en finance, biologie, commerce...) fait même débat dans la mesure où elle pose des questions d'éthique inédites.
P. 102. Images numériques, du pixel à la topologie
P. 106. La méthode de Monte-Carlo : application à un investissement financier
P. 110. Pirater un site ou une messagerie
P. 114. Limiter la collecte des données personnelles : un problème juridique NP-difficile
P. 120. Le langage des molécules du vivant
P. 128. GroLopin et les plans projectifs finis
P. 132. Le traitement du signal
P. 138. Protégez-vous des hackers !
P. 143. Le Cloud
P. 144. Le classement des pages par les moteurs de recherche
P. 146. Entre le robot et l'homme, les mathématiques
P. 150. La cryptographie, Ã l'origine de l'informatique
P. 75, 87, 95, 100, 113, 119. En bref
P. 156. Problèmes
P. 158. SolutionsCôte titre : Fs/13596-13600 Mathématiques et informatique : Une nouvelle ère numérique [texte imprimé] / Cohen, Gilles, Directeur de publication, rédacteur en chef . - Paris : Éd. POLE, 2014 . - 1 vol. (158 p.) : ill. en noir et en coul., couv. ill. en coul. ; 24 cm. - (Bibliothèque Tangente, ISSN 2263-4908) .
ISBN : 978-2-84884-151-9
978-2-84884-151-9
Langues : Français (fre)
Catégories : Mathématique Mots-clés : Informatique : Mathématiques
Mathématiques : InformatiqueIndex. décimale : 004 Informatique Résumé :
L'informatique est un système de représentation de l'information. L'algèbre booléenne et l'algorithmique sont les outils qui permettent de numériser (« mettre sous forme de nombres »), représenter et manipuler l'information. La logique formelle comme la sémantique cherchent à préciser ce qui peut être formalisé et expliqué à un ordinateur. La théorie du signal permet de faire circuler des données d'un ordinateur à l'autre. La cryptologie vise à étudier la sécurité de ces données qui transitent. La vérification des programmes s'appuie sur la logique mathématique. De fait, la démonstration automatique, l'expérimentation et la simulation numérique quittent le domaine du rêve pour devenir réalité. Ainsi, l'outil informatique envahit notre quotidien, de la biologie à la finance en passant par l'ingénierie, et bouscule notre vision du monde en soulevant des questions (scientifiques ou éthiques) qui n'avaient jamais été envisagées. Sans les mathématiques, aucun de ces progrès ne serait possibleNote de contenu :
Sommaire
P. 8. La Société informatique de France
P. 9. Le Prix Bernard-Novelli
P. 10. Les perspectives de l'informatique au XXIe siècle
P. 16. Informatique, popularisation et médiation
P. 20. Intelligence artificielle et philosophie
P. 27. Dossier Mathématiques pour l'informatique
L'informatique n'existerait pas sans les mathématiques. Les procédures qu'elle utilise, les algorithmes et les structures de langage qui permettent la programmation, la vérification de programme 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é ont apporté à l'informatique le support théorique qui en fait une science à part entière.
P. 28. La préhistoire de l'informatique
P. 32. Babbage et le premier ordinateur potentiel
P. 36. Le programme de Lady Ada King
P. 39. Les messages qui se corrigent tout seuls
P. 42. Alonzo Church, Alan Turing et la calculabilité
P. 44. Algèbre de Boole
P. 48. Langages et récursivité
P. 52. Langages rationnels et automates finis
P. 56. Complexité de Kolmogorov et profondeur logique de Bennett
P. 62. Comment éliminer les spams
P. 5, 6, 7, 15, 25, 26, 31, 47. En bref
P. 15, 43, 47. Notes de lecture
P. 65. Dossier Informatique pour les mathématiques
Comme toute progéniture reconnaissante, l'informatique a bien rendu aux mathématiques ce qu'elle leur doit. 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ématiques.
P. 66. Mathématiques expérimentales
P. 72. Les automates cellulaires et le jeu de la vie
P. 76. Démonstration, l'ordinateur à la rescousse
P. 80. Espaces de Banach et informatique théorique
P. 82. Le problème fondamental de l'informatique théorique : P est-il égal à NP ?
P. 88. La simulation numérique
P. 92. Le calcul haute performance
P. 96. Quelques problèmes de calculs
P. 101. Dossier Des applications qui changent le monde
Mathématiques et informatique, une équipe gagnante. Que d'applications de ce partenariat talentueux voient régulièrement le jour ! Compression des images, cryptographie, sécurité informatique... L'utilisation des modèles mathématiques sophistiqués agissant sur les données massives (en finance, biologie, commerce...) fait même débat dans la mesure où elle pose des questions d'éthique inédites.
P. 102. Images numériques, du pixel à la topologie
P. 106. La méthode de Monte-Carlo : application à un investissement financier
P. 110. Pirater un site ou une messagerie
P. 114. Limiter la collecte des données personnelles : un problème juridique NP-difficile
P. 120. Le langage des molécules du vivant
P. 128. GroLopin et les plans projectifs finis
P. 132. Le traitement du signal
P. 138. Protégez-vous des hackers !
P. 143. Le Cloud
P. 144. Le classement des pages par les moteurs de recherche
P. 146. Entre le robot et l'homme, les mathématiques
P. 150. La cryptographie, Ã l'origine de l'informatique
P. 75, 87, 95, 100, 113, 119. En bref
P. 156. Problèmes
P. 158. SolutionsCôte titre : Fs/13596-13600 Exemplaires (5)
Code-barres Cote Support Localisation Section Disponibilité Fs/13597 Fs/13596-13600 Livre Bibliothéque des sciences Français Disponible
DisponibleFs/13598 Fs/13596-13600 Livre Bibliothéque des sciences Français Disponible
DisponibleFs/13599 Fs/13596-13600 Livre Bibliothéque des sciences Français Disponible
DisponibleFs/13600 Fs/13596-13600 Livre Bibliothéque des sciences Français Disponible
DisponibleFs/13596 Fs/13596-13600 livre Bibliothéque des sciences Français Disponible
Disponible