De Aller-Bedste Bøger - over 12 mio. danske og engelske bøger
Levering: 1 - 2 hverdage

Logique Dialogique: Une Introduction

indgår i Cahiers serien

Bag om Logique Dialogique: Une Introduction

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.

Vis mere
  • Sprog:
  • Fransk
  • ISBN:
  • 9781904987949
  • Indbinding:
  • Paperback
  • Sideantal:
  • 140
  • Udgivet:
  • 7. juli 2008
  • Størrelse:
  • 157x234x8 mm.
  • Vægt:
  • 216 g.
  • 2-3 uger.
  • 11. december 2024

Normalpris

Abonnementspris

- Rabat på køb af fysiske bøger
- 1 valgfrit digitalt ugeblad
- 20 timers lytning og læsning
- Adgang til 70.000+ titler
- Ingen binding

Abonnementet koster 75 kr./md.
Ingen binding og kan opsiges når som helst.

Beskrivelse af Logique Dialogique: Une Introduction

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.

Brugerbedømmelser af Logique Dialogique: Une Introduction



Find lignende bøger
Bogen Logique Dialogique: Une Introduction findes i følgende kategorier: