Dominique Pastre
|
Ce cours a été donné, en totalité ou en partie dans les DEA
IARFAG (1) de Paris 6 entre 1986 et 1990 et
MIASH (2) de Paris 5 (3) entre 1995 et 2002
cours 1 : Déduction naturelle - Travaux de W.W.Bledsoe
cours 2 : Méthodes graphiques
cours 3 : Géométrie
cours 4 : Un système à base de connaissances mathématiques - le démonstrateur Muscadet
cours 5 : Découverte de concepts mathématiques - Travaux de D.B.Lenat
(1) Intelligence Artificielle, Reconnaissance des Formes et Applications Graphiques
(2) Mathématiques, Informatique et Applications aux Sciences
de l'Homme
(3) cohabilité Paris 1-4-5-EHESS-ENST Bretagne