Traitement Automatique Des Langues Pour La Recherche D'Information

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.

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

S'appuyant principalement sur les technologies numériques, la simulation n'a cessé de se développer depuis une trentaine d'années. Aujourd'hui, la création artistique comme la recherche scientifique semblent préoccupées par les liens existant entre les univers numériques et le monde physique, et par les relations à inventer entre la simulation et de nouvelles formes de matérialisation : médias tangibles, prototypage rapide, physical computing, internet des objets, interfaces mixtes, réalité augmentée, captation gestuelle

Livres