Cet espace de la plate-forme d'enseignement à distance de Polytech Annecy-Chambéry regroupe un ensemble de cours ouverts au public et ne nécessitant ni authentification, ni clé d'inscription.
Les ressources mises à disposition ici sont soumises aux autorisations de leurs auteurs.

Espace d'information sur les outils CAO utilisés à Polytech Annecy-Chambéry (accès libre).

Ce cours est une introduction à la logique formelle. Il aborde les aspects syntaxique, sémantique et déductif de la logique des propositions puis de la logique des prédicats du 1ier ordre. La programmation logique est ensuite présentée et illustrée avec le langage Prolog. Enfin, une introduction à la logique floue est donnée.

Présentation et utilisation des cartes heuristiques