Avis des lecteurs
Il n'y a actuellement aucun avis de lecteur. La note est basée sur 2 votes.
Titre original :
Mathematics in Computing: An Accessible Guide to Historical, Foundational and Application Contexts
Contenu du livre :
Ce manuel éclairant propose un examen concis des concepts mathématiques essentiels pour les informaticiens. L'accent est mis sur les applications informatiques pratiques rendues possibles par des idées mathématiques apparemment abstraites, présentées dans leur contexte historique. Le texte couvre une large sélection de sujets clés, allant de l'utilisation de la théorie des corps finis pour corriger les codes et le rôle de la théorie des nombres dans la cryptographie, à la valeur de la théorie des graphes lors de la modélisation des réseaux et l'importance des méthodes formelles pour les systèmes critiques de sécurité.
Cette nouvelle édition entièrement mise à jour a été complétée par un traitement plus complet des algorithmes, de la logique, de la théorie des automates, de la vérification des modèles, de la fiabilité des logiciels, de l'algèbre, des séquences et des séries, et de l'induction mathématique.
Sujets et caractéristiques : comprend de nombreux éléments pédagogiques, tels que des sujets clés en début de chapitre, des introductions et des résumés de chapitre, des questions de révision et un glossaire ; décrit les contributions historiques de personnalités telles que Leibniz, Babbage, Boole et von Neumann ; introduit les concepts mathématiques fondamentaux des ensembles, des relations et des fonctions, ainsi que les bases de la théorie des nombres, de l'algèbre, des algorithmes et des matrices ; explore les séquences et les séries arithmétiques et géométriques, l'induction mathématique et la récursion, la théorie des graphes, la calculabilité et la décidabilité, ainsi que la théorie des automates ; passe en revue les questions fondamentales de la théorie du codage, de la théorie des langages, du génie logiciel et de la fiabilité des logiciels, ainsi que les méthodes formelles et la vérification des modèles ; couvre des sujets clés sur la logique, depuis les contributions grecques anciennes jusqu'aux applications modernes en IA, et discute de la nature de la preuve mathématique et de la démonstration des théorèmes ; présente une brève introduction aux probabilités et aux statistiques, aux nombres complexes et aux quaternions, ainsi qu'au calcul.
Ce livre attrayant et facile à comprendre intéressera les étudiants en informatique qui souhaitent avoir une vue d'ensemble des mathématiques utilisées en informatique, ainsi que les mathématiciens curieux de savoir comment leur discipline est appliquée dans le domaine de l'informatique. Il suscitera également l'intérêt du lecteur général motivé.
Autres informations sur le livre :
| ISBN : | 9783030342081 |
| Auteur : | |
| Éditeur : | |
| Langue : | anglais |
| Reliure : | Broché |
| Année de publication : | 2020 |
| Nombre de pages : | 458 |
Achat:
Actuellement disponible, en stock.
