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.