Logique Et Mathematiques Pour L'Informatique Et L'Ia. 109 Exercices Corriges

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.