Logique Et Mathematiques Pour L'Informatique Et L'Ia. 109 Exercices Corriges
Par :Formats :
Définitivement indisponible
Cet article ne peut plus être commandé sur notre site (ouvrage épuisé ou plus commercialisé). Il se peut néanmoins que l'éditeur imprime une nouvelle édition de cet ouvrage à l'avenir. Nous vous invitons donc à revenir périodiquement sur notre site.
- Réservation en ligne avec paiement en magasin :
- Indisponible pour réserver et payer en magasin
- Nombre de pages238
- PrésentationBroché
- Poids0.33 kg
- Dimensions13,5 cm × 20,9 cm × 1,4 cm
- ISBN2-225-84642-1
- EAN9782225846427
- Date de parution01/10/1994
- Collectionmémo-guides
- ÉditeurElsevier Masson
Résumé
La conception et la réalisation de systèmes informatiques requièrent des compétences en mathématiques discrètes et en logique. Ce Mémo-guide présente les définitions, les principes et les méthodes mathématiques de base qui s'appliquent à la résolution de problèmes posés par le traitement automatique de l'information. Ces méthodes sont utilisées en algorithmique et en programmation, en conception des systèmes d'information, en intelligence artificielle et dans l'étude de l'architecture des ordinateurs.
Cinq chapitres, indépendants les uns des autres, réunissent les principaux outils mathématiques : le calcul booléen et les structures d'ordre et de treillis, la logique propositionnelle, la logique des prédicats et le modèle mathématique du langage Prolog, les relations n-aires, les langages et analyseurs formels, les algorithmes sur les graphes.
Cet aide-mémoire est assorti de nombreux exemples et exercices corrigés, de difficulté progressive.
La conception et la réalisation de systèmes informatiques requièrent des compétences en mathématiques discrètes et en logique. Ce Mémo-guide présente les définitions, les principes et les méthodes mathématiques de base qui s'appliquent à la résolution de problèmes posés par le traitement automatique de l'information. Ces méthodes sont utilisées en algorithmique et en programmation, en conception des systèmes d'information, en intelligence artificielle et dans l'étude de l'architecture des ordinateurs.
Cinq chapitres, indépendants les uns des autres, réunissent les principaux outils mathématiques : le calcul booléen et les structures d'ordre et de treillis, la logique propositionnelle, la logique des prédicats et le modèle mathématique du langage Prolog, les relations n-aires, les langages et analyseurs formels, les algorithmes sur les graphes.
Cet aide-mémoire est assorti de nombreux exemples et exercices corrigés, de difficulté progressive.
