Les graphes de démonstration
Outil pour l'étude des démonstrations naturelles
الأطروحات و الكتابات الأكاديمية من تأليف: Kuntzmann, Jean ; Balacheff, Nicolas ; نشر في: 1978
ملخص: Etude des résolutions de problèmes mathématiques par des personnes parvenues au stade hypothético-déductif exprimées par un discours. Présentation d'un outil pour l'étude des raisonnements naturels
طبعة:
Grenoble:
Universite Scientifique et Médicale de Grenoble
لغة:
فرنسية
الوصف المادي:
1 vol. (192 p.) ill.
;21 cm
الشهادة:
Docteur de 3eme cycle
مؤسسة مناقشة الرسالة:
Institut National Polytechnique de Grenoble
تخصص:
Informatique
الفهرس العشري
006.3 .الذكاء الاصطناعي (يعمل بشكل عام على الذكاء الاصطناعي والعلوم المعرفية ، والاعتراف من أشكال كأداة الذكاء الاصطناعي ، أنظمة السؤال والجواب)
الموضوع
الإعلام الآلي
الكلمات الدالة:
Graphes, Théorie des
Intelligence artificielle
Démonstration formelle
Comportements heuristiques
Méthode heuristique
ملاحظة: Annexe pp.174-184; Index p.185 Bibliogr.pp.187-191