|
|
|
|
| LEADER |
03901cam a2200553 4500 |
| 001 |
PPN092617190 |
| 003 |
http://www.sudoc.fr/092617190 |
| 005 |
20230126061200.0 |
| 010 |
|
|
|a 978-2-8041-4963-5
|d 29 EUR
|
| 010 |
|
|
|a 2-8041-4963-3
|
| 035 |
|
|
|a (OCoLC)71354937
|
| 073 |
|
1 |
|a 9782804149635
|
| 100 |
|
|
|a 20051110h20052005k y0frey0103 ba
|
| 101 |
0 |
|
|a fre
|2 639-2
|
| 102 |
|
|
|a BE
|
| 105 |
|
|
|a a aj 001yy
|
| 106 |
|
|
|a r
|
| 181 |
|
|
|6 z01
|c txt
|2 rdacontent
|
| 181 |
|
1 |
|6 z01
|a i#
|b xxxe##
|
| 182 |
|
|
|6 z01
|c n
|2 rdamedia
|
| 182 |
|
1 |
|6 z01
|a n
|
| 183 |
|
|
|6 z01
|a nga
|2 RDAfrCarrier
|
| 200 |
1 |
|
|a Outils mathématiques pour l'informaticien
|e cours et exercices corrigés
|e mathématiques discrètes
|f Michel Marchand
|
| 205 |
|
|
|a 2e édition
|
| 214 |
|
0 |
|a Bruxelles
|c De Boeck
|d DL 2005
|
| 215 |
|
|
|a 1 vol. (440 p.)
|c ill., tabl.
|d 24 cm
|
| 225 |
0 |
|
|a LMD
|i Maths
|
| 305 |
|
|
|a Autres tirages : 2006, 2014
|
| 320 |
|
|
|a Bibliographie p. [429]-430. Index
|
| 333 |
|
|
|a Public : Licence de mathématiques, d'informatique
|
| 359 |
2 |
|
|b Chapitre1 - LOGIQUE
|c 1.1 Propositions et connecteurs logiques
|c 1.2 Tautologies et méthodes de démonstration
|c 1.3 Logique des prédicats
|b Chapitre 2 - FONDEMENTS
|c 2.1 Ensembles et suites
|c 2.2 Opérations ensemblistes
|c 2.3 Ensembles infinis
|c 2.4 Arithmétique
|c 2.5 Une application cryptographique
|c 2.6 Récurrence, récursivité, induction
|c 2.7 Dénombrement
|c 2.8 Matrices numériques et booléennes
|c 2.9 Implémentation des ensembles
|b Chapitre 3 - RELATIONS
|c 3.1 Relations et graphes dirigés
|c 3.2 Opérations sur les relations
|c 3.3 Chemins dans un digraphe
|c 3.4 Propriétés des relations sur un ensemble
|c 3.5 Implémentation des relations
|c 3.6 Équivalences
|b Chapitre 4 - FONCTIONS
|c 4.1 Relations fonctionnelles et applications
|c 4.2 Propriétés des applications
|c 4.3 Permutations
|b Chapitre 5 - STRUCTURES ORDONNÉES
|c 5.1 Ensembles partiellement ordonnés
|c 5.2 Implémentation des ensembles ordonnés
|c 5.3 Produit d ensembles ordonnés
|c 5.4 Treillis
|c 5.5 Algèbres de Boole
|c 5.6 Fonctions booléennes
|b Chapitre 6 - GRAPHES
|c 6.1 Généralités
|c 6.2 Digraphes acycliques et arbres dirigés
|c 6.3 Connexité et acyclicité simple
|c 6.4 Arbres couvrants minimaux
|c 6.5 Recherche du meilleur chemin
|b Chapitre 7 - STRUCTURES ALGÉBRIQUES
|c 7.1 Opérations binaires
|c 7.2 Semi-groupes, monoïdes et groupes
|c 7.3 Homomorphismes
|c 7.4 Structures produits et structures quotients
|c 7.5 Algèbres et anneaux de Boole
|b Chapitre 8 - CODAGE-DÉCODAGE
|c 8.1 Détection et correction d erreurs
|c 8.2 L espace vectoriel Bm
|c 8.3 Codages linéaires
|b Chapitre 9 - LANGAGES FORMELS
|c 9.1 Langages
|c 9.2 Grammaires
|c 9.3 Langages réguliers
|b Chapitre 10 - AUTOMATES FINIS
|c 10.1 Généralités
|c 10.2 Automates de Moore
|c 10.3 Automates non déterministes
|c 10.4 Optimisation d un automate
|
| 410 |
|
| |
|0 095340858
|t LMD Sciences. Mathématiques
|x 1783-7219
|
| 606 |
|
|
|3 PPN031498949
|a Informatique
|x Mathématiques
|3 PPN03020934X
|x Manuels d'enseignement supérieur
|2 rameau
|
| 606 |
|
|
|3 PPN031498949
|a Informatique
|x Mathématiques
|3 PPN027790517
|x Problèmes et exercices
|2 rameau
|
| 606 |
|
|
|3 PPN027282171
|a Algorithmes
|3 PPN027790517
|x Problèmes et exercices
|2 rameau
|
| 606 |
|
|
|3 PPN027282767
|a Codage
|3 PPN027790517
|x Problèmes et exercices
|2 rameau
|
| 606 |
|
|
|3 PPN027682005
|a Langages formels
|3 PPN027790517
|x Problèmes et exercices
|2 rameau
|
| 606 |
|
|
|3 PPN027355330
|a Théorie des ensembles
|3 PPN027790517
|x Problèmes et exercices
|2 rameau
|
| 676 |
|
|
|a 510
|v 21
|
| 676 |
|
|
|a 004.015
|
| 700 |
|
1 |
|3 PPN02992720X
|a Marchand
|b Michel
|f 1947-....
|4 070
|
| 801 |
|
3 |
|a FR
|b Abes
|c 20220125
|g AFNOR
|
| 979 |
|
|
|a IUTN
|
| 979 |
|
|
|a SCI
|
| 930 |
|
|
|5 441092104:249828553
|b 441092104
|j u
|
| 930 |
|
|
|5 441092105:266888178
|b 441092105
|j u
|
| 930 |
|
|
|5 441092206:447280074
|b 441092206
|j s
|
| 991 |
|
|
|5 441092206:447280074
|a Exemplaire modifié automatiquement. le 25-01-2023 15:35
|
| 998 |
|
|
|a 429363
|
Nantilus
