2 ressources en auto-formation : logique formelle

FILTRES

2 résultats
page 1 sur 1
Résultats de 1 à 2
Présentation de la ressource en auto-formation Logique formelle et programmation logique cours / présentation, exercice
04/02/2008
Logique formelle et programmation logique
Auteur(s) : Lengrand Stéphane
Description : Cours présentant les éléments fondamentaux de la logique classique en vue de modéliser le raisonnement, de le formaliser et de l’automatiser. L’objectif de cet enseignement est de conduire l’élève à maîtriser le processus de démonstration automatique pour les problèmes résolubles dans ce cadre. ...
Présentation de la ressource en auto-formation De la pensée naturelle à la pensée sociale cours / présentation
De la pensée naturelle à la pensée sociale
Auteur(s) : DELOUVÉE Sylvain
Description : La connaissance courante – dite de sens commun –, ses processus et modes de pensée qui lui correspondent ainsi que ses relations avec les comportements individuels et collectifs seront abordés au travers des notions de représentations sociales, de rumeurs et de mémoire collective. Ce premier cours ...