Logique Dialogique: Une Introduction, v. 1 - Methode de Dialogique, Regles et Exercises (French, Paperback)

Ce livre est le premier volume d'un ouvrage, Logique Dialogique: une introduction, concu selon deux parties autonomes sur la logique dialogique. Les deux volumes fournissent neanmoins, a 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 preparation de cours qu'aux etudiants qui veulent se former individuellement. Le premier volume, Methode de Dialogique: Regles et Exercices, constitue la premiere introduction a la pratique de la dialogique et contient des commentaires precis sur la solution d'exercices divers de logique classique de premier ordre, de logique intuitionniste et de logique modale propositionnelle. Le present volume est lui-meme ecrit en deux parties. La premiere etant ecrite pour le lecteur non specialise envisage, pour apprendre a jouer avec des dialogues, un point de vue analogue a la facon dont on apprend a jouer a des jeux conventionnels comme les echecs par exemple: on se familiarise avec les regles qui gouvernent les figures, les regles du developpement du jeu et finalement les regles qui produisent les strategies gagnantes. La deuxieme partie contient une formulation plus precise de ce qui a ete presente et travaille dans la premiere section. Elle se termine sur une justification de la correspondance entre la dialogique et le calcul des sequents. Le second volume presente un contenu plus avance incluant la metatheorie correspondante.

General

Imprint:	College Publications
Country of origin:	United Kingdom
Series:	Cahiers, v. 5
Release date:	July 2008
First published:	July 2008
Authors:	Matthieu Fontaine • Juan Redmond
Dimensions:	234 x 156 x 7mm (L x W x T)
Format:	Paperback - Trade
Pages:	140
ISBN-13:	978-1-904987-94-9
Languages:	French
Categories:	Books > Computing & IT > General theory of computing > General Books > Computing & IT > Applications of computing > General
LSN:	1-904987-94-X
Barcode:	9781904987949

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!