𝔖 Scriptorium
✦   LIBER   ✦

📁

Méthodes logiques pour les sciences cognitives

✍ Scribed by Jacques Dubucs


Publisher
Hermes Science Publications
Year
1995
Tongue
French
Leaves
434
Category
Library

⬇  Acquire This Volume

No coin nor oath required. For personal study only.

✦ Synopsis


Méthodes logiques pour les sciences cognitives réunit des chercheurs de notoriété internationale (D. Andler, J.-P. Delahaye, D. Dubois, H. Prade, L. Fariñas del Cerro, P. Gochet, D. Vandervecken, etc.) autour de trois thèmes majeurs en sciences cognitives : logique et raisonnement, logique et représentation et logique et langage. Par la diversité des contributions et la clarté de ses exposés, cet ouvrage est destiné au public des sciences cognitives au sens le plus large : linguistes, informaticiens et spécialistes d'intelligence artificielle, mais aussi philosophes, psychologues et chercheurs en sciences sociales.


📜 SIMILAR VOLUMES


Logique, volume 1: méthodes pour l'infor
✍ Paul Gochet, Pascal Gribomont 📂 Library 📅 2000 🏛 Hermes Science Publications 🌐 French

Ce premier volume, Méthodes pour l'informatique fondamentale, contient un exposé des calculs des propositions et des prédicats, ainsi qu'une introduction aux théories du premier ordre. L'accent est mis sur l'aspect calculatoire, essentiel pour l'application en informatique et IA.Les nombreuses quali

Méthode pour le Cor
✍ Duvernoy Frédéric. 📂 Library 🌐 French

Mme Le Roi, Imprimerie du Conservatoire de Musique. — 65 p.<br/>French - for orchestral horn.<div class="bb-sep"></div>Frédéric Duvernoy's Méthode pour le Cor was first published in 1803 (Paris: A l'Imprimerie du Conservatoire de Musique) and later reprinted by Simrock (Bonn, 1830). This copy of the

Logique, volume 2 : méthodes formelles p
✍ Paul Gochet, Pascal Gribomont 📂 Library 📅 1994 🏛 Hermes Science Publications 🌐 French

La première partie est consacrée à la théorie des ensembles. Le chapitre 1 donne une introduction philosophique et historique, les aspects techniques étant exposés au chapitre 2. La théorie des ensembles constitue à la fois une application essentielle de la logique du premier ordre, étudié