•  Retrait gratuit dans votre magasin Club
  •  7.000.000 titres dans notre catalogue
  •  Payer en toute sécurité
  •  Toujours un magasin près de chez vous     
  •  Retrait gratuit dans votre magasin Club
  •  7.000.000 titres dans notre catalogue
  •  Payer en toute sécurité
  •  Toujours un magasin près de chez vous

Logique Dialogique

Matthieu Fontaine, Juan Redmond
Livre broché | Français | Cahiers
42,45 €
+ 84 points
Livraison 2 à 3 semaines
Passer une commande en un clic
Payer en toute sécurité
Livraison en Belgique: 3,99 €
Livraison en magasin gratuite

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.

Spécifications

Parties prenantes

Auteur(s) :
Editeur:

Contenu

Nombre de pages :
140
Langue:
Français
Collection :

Caractéristiques

EAN:
9781904987949
Date de parution :
07-07-08
Format:
Livre broché
Format numérique:
Trade paperback (VS)
Dimensions :
156 mm x 234 mm
Poids :
204 g

Les avis