Comprendre les structures de graphe et d’arbre et leur utilité pour modéliser et rechercher les propriétés
d’ensembles structurés de données. Réalisation de modélisations simples. Manipuler des algorithmes sur
ces structures. Il s’agira plus d’étudier le fonctionnement de ces algorithmes sur des exemples que de
construire des algorithmes complexes.
d’ensembles structurés de données. Réalisation de modélisations simples. Manipuler des algorithmes sur
ces structures. Il s’agira plus d’étudier le fonctionnement de ces algorithmes sur des exemples que de
construire des algorithmes complexes.
Maîtrise de la syntaxe, de la sémantique et de la théorie de la démonstration pour les langages logiques du
1er ordre. Applications à la représentation de la signification des énoncés en langue naturelle, à la correction
de raisonnements simples, et à la représentation du discours.
Maîtrise de la syntaxe, de la sémantique et de la théorie de la démonstration pour les langages logiques du
1er ordre. Applications à la représentation de la signification des énoncés en langue naturelle, à la correction
de raisonnements simples et à la représentation du discours.
1er ordre. Applications à la représentation de la signification des énoncés en langue naturelle, à la correction
de raisonnements simples, et à la représentation du discours.
Maîtrise de la syntaxe, de la sémantique et de la théorie de la démonstration pour les langages logiques du
1er ordre. Applications à la représentation de la signification des énoncés en langue naturelle, à la correction
de raisonnements simples et à la représentation du discours.
Evaluer la complexité d'un algorithme, manipuler des structures de données tels les arbres, les graphes et
les tas, comparer et utiliser différents algorithmes de tri et de recherche, concevoir un projet informatique en
langage Java.
les tas, comparer et utiliser différents algorithmes de tri et de recherche, concevoir un projet informatique en
langage Java.