Open Daily: 10am - 10pm | Alley door pickup 10am - 7pm 3038 Hennepin Ave Minneapolis, MN
612-822-4611

  • Open Daily: 10am - 10pm
    Alley-side Pickup: 10am - 7pm

    3038 Hennepin Ave Minneapolis, MN
    612-822-4611

Open Daily: 10am - 10pm | Alley-side Pickup: 10am - 7pm
3038 Hennepin Ave Minneapolis, MN
612-822-4611
Logique Dialogique: Une Introduction. Volume 1: Mthode de Dialogique: Rgles Et Exercices

Logique Dialogique: Une Introduction. Volume 1: Mthode de Dialogique: Rgles Et Exercices

Fontaine, Matthieu
Redmond, Juan

Paperback

Series: Cahiers

General Computers

ISBN10: 190498794X
ISBN13: 9781904987949
Publisher: Kings College Pubn
Published: Jul 7 2008
Pages: 140
Weight: 0.45
Height: 0.30 Width: 6.14 Depth: 9.21
Language: French
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.

Also in

General Computers

View All