| Logique Dialogique: Une Introduction. Volume 1: Mthode de Dialogique: Rgles Et Exercices Contributor(s): Fontaine, Matthieu (Author), Redmond, Juan (Author) |
|
 |
ISBN: 190498794X ISBN-13: 9781904987949 Publisher: College Publications OUR PRICE: $29.45 Product Type: Paperback Language: French Published: July 2008 |
| Additional Information |
| BISAC Categories: - Computers | Intelligence (ai) & Semantics - Computers | Computer Science |
| Series: Cahiers |
| Physical Information: 0.3" H x 6.14" W x 9.21" (0.45 lbs) 140 pages |
| Descriptions, Reviews, Etc. |
| Publisher Description: Ce livre est le premier volume d'un ouvrage, Logique Dialogique: une introduction, con u selon deux parties autonomes sur la logique dialogique. Les deux volumes fournissent n anmoins, un niveau technique et philosophique, une vue d'ensemble de l'approche dialogique de la logique. Constituant un support efficace et didactique pour apprendre les fondements et la pratique de la logique dialogique, elles s'adressent ainsi tant aux professeurs et enseignants pour la pr paration de cours qu'aux tudiants qui veulent se former individuellement. Le premier volume, M thode de Dialogique: R gles et Exercices, constitue la premi re introduction la pratique de la dialogique et contient des commentaires pr cis sur la solution d'exercices divers de logique classique de premier ordre, de logique intuitionniste et de logique modale propositionnelle. Le pr sent volume est lui-m me crit en deux parties. La premi re tant crite pour le lecteur non sp cialis envisage, pour apprendre jouer avec des dialogues, un point de vue analogue la fa on dont on apprend jouer des jeux conventionnels comme les checs par exemple: on se familiarise avec les r gles qui gouvernent les figures, les r gles du d veloppement du jeu et finalement les r gles qui produisent les strat gies gagnantes. La deuxi me partie contient une formulation plus pr cise de ce qui a t pr sent et travaill dans la premi re section. Elle se termine sur une justification de la correspondance entre la dialogique et le calcul des s quents. Le second volume pr sente un contenu plus avanc incluant la m tath orie correspondante. |