Éléments de mathématiques discrètes : cours, exercices résolus, implémentations avec les langages Python et OCaml
Tous les domaines de la science informatique font appel de manière essentielle aux mathématiques discrètes. Cet ouvrage en présente quelques éléments : ensembles, relations, fonctions, structures ordonnées, définitions inductives, langages, automates, et logique. Il s'adresse aux étudiants de L...
Guardat en:
| Autor principal: | |
|---|---|
| Altres autors: | , |
| Format: | Livre papier |
| Idioma: | Français |
| Publicat: |
Paris :
Ellipses
DL 2016.
|
| Col·lecció: | Références sciences
|
| Matèries: | |
| Autres localisations: | Voir dans le Sudoc |
| LEADER | 03022nam a22002897a 4500 | ||
|---|---|---|---|
| 001 | 613597 | ||
| 008 | 170116t20162016xxe ||| |||| 00| 0 fre d | ||
| 009 | PPN19764564X | ||
| 020 | |a 9782340014800 (br.) : |c 49 EUR | ||
| 024 | |a 9782340014800 | ||
| 041 | 0 | |a fre | |
| 082 | |a 004.015 1 |z fre | ||
| 100 | 1 | |a Jaume, Mathieu, |d 1968-2023. | |
| 245 | 1 | 0 | |a Éléments de mathématiques discrètes : |b cours, exercices résolus, implémentations avec les langages Python et OCaml |c Mathieu Jaume ; préface de Gilles Dowek et Thérèse Hardin. |
| 260 | |a Paris : |b Ellipses, |c DL 2016. | ||
| 300 | |a 1 vol. (V-514 p.) : |b ill., couv. ill. en coul. ; |c 24 cm. | ||
| 490 | 1 | |a Références sciences | |
| 504 | |a Bibliogr. p. [505]-506. Index | ||
| 505 | 0 | |a 1, Ensembles, relations, fonctions -- 2, Ensembles ordonnés -- 3, Définitions inductives -- 4, Automates et langages -- 5, Termes du premier ordre -- 6, Logique des propositions -- 7, Logique du premier ordre | |
| 520 | |a Tous les domaines de la science informatique font appel de manière essentielle aux mathématiques discrètes. Cet ouvrage en présente quelques éléments : ensembles, relations, fonctions, structures ordonnées, définitions inductives, langages, automates, et logique. Il s'adresse aux étudiants de Licence et Master d'informatique, mais peut aussi être utilisé dans les cursus de mathématiques, de robotique ou encore dans les formations d'ingénieurs scientifiques, qui font tous appel à la plupart des notions exposées. Les mathématiques discrètes permettent d'abstraire, de formaliser et de raisonner sur les objets de l'informatique (données, programmes, etc.) mais elles restent encore souvent perçues comme un exercice difficile. Aussi, pour faciliter l'apprentissage, les concepts sont tous exposés avec le même niveau de détail : chaque notion est illustrée sur de nombreux exemples (plus de 150 exemples sont fournis), fait l'objet de nombreux exercices corrigés (144 exercices sont fournis) et les étapes de raisonnement de chaque preuve sont explicitées dans les moindres détails. Enfin, une implantation avec les langages Python et OCaml est fournie pour la plupart des concepts effectifs introduits. Il s'agit de montrer, au travers de 250 programmes, comment exprimer un calcul à l'aide d'un langage de programmation et de permettre une expérimentation de ces calculs afin d'en obtenir une compréhension profonde | ||
| 650 | |a Informatique |x Mathématiques | ||
| 650 | |a Python (langage de programmation) | ||
| 650 | |a Objective Caml (langage de programmation) | ||
| 650 | |a Manuels d'enseignement supérieur | ||
| 700 | 1 | |a Dowek, Gilles, |d 1966-2025, |c informaticien et logicien. |4 aui | |
| 700 | 1 | |a Accart Hardin, Thérèse, |d 1947- |4 aui | |
| 997 | |0 613597 |1 Livre papier |a Ressource papier |b INSA |c 0/Bourges/ |c 0/Orléans/ |c 1/Bourges/INSA CVL/ |c 1/Orléans/BU Sciences, Technologies, STAPS/ |z Orléans, BU Sciences, Technologies, STAPS, 510.28 JAU |z Orléans, BU Sciences, Technologies, STAPS, 510.28 JAU |z Bourges, INSA CVL, 004.015 JAU | ||