É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...
Enregistré dans:
| Hovedforfatter: | |
|---|---|
| Andre forfattere: | , |
| Format: | Livre papier |
| Sprog: | Français |
| Udgivet: |
Paris :
Ellipses
DL 2016.
|
| Serier: | Références sciences
|
| Fag: | |
| Autres localisations: | Voir dans le Sudoc |
Indholdsfortegnelse:
- 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