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).
- Enseignant (auteur): Pairel Eric
- Enseignant (auteur): Curtelin Jean-Jacques
- Enseignant (auteur): Gheorghiu Monica
- Enseignant (auteur): Moutalibi Sassia
- Enseignant (auteur): Gheorghiu Monica
- Enseignant (auteur): Valet Lionel
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.
- Enseignant (auteur): Galichet Sylvie
Présentation et utilisation des cartes heuristiques
- formateur: Curtelin Jean-Jacques
- Enseignant (auteur): Rougier Isabelle
Social networks