Introduction à la logique - Théorie de la démonstration - Grand Format

2e édition

Note moyenne 
René David et Karim Nour - Introduction à la logique - Théorie de la démonstration.
Cet ouvrage, entièrement révisé dans cette seconde édition, présente la théorie de la démonstration en tant que discipline et en tant qu'outil.... Lire la suite
34,50 €
Expédié sous 5 à 8 jours
Livré chez vous entre le 26 avril et le 28 avril

Résumé

Cet ouvrage, entièrement révisé dans cette seconde édition, présente la théorie de la démonstration en tant que discipline et en tant qu'outil. Les premiers chapitres présentent les bases du raisonnement mathématique et la syntaxe associée au calcul des énoncés. La deuxième partie traite plus particulièrement de la théorie de la démonstration, discipline à part entière des mathématiques. Des énoncés d'exercices avec leurs corrigés sont proposés en fin de chapitres.
Une annexe présente un assistant de démonstration, le logiciel PhoX, réalisé par l'un des auteurs. Ce logiciel ainsi que des compléments aux corrigés sont disponibles sur le site Web des auteurs.

Sommaire

  • FORMULES ET DEMONSTRATIONS DE LA LOGIQUE DU PREMIER ORDRE
  • COMPLETUDE DE LA LOGIQUE DU PREMIER ORDRE
  • EXEMPLES DE THEORIES
  • LOGIQUE INTUITIONNISTE ET MODELE DE KRIPKE
  • CALCUL DES SECANTS
  • LOGIQUES D'ORDRE SUPERIEUR
  • DEMONSTRATION AUTOMATIQUE
  • LE LOGICIEL PHOX
  • SOLUTIONS DES EXERCICES
  • INDEX

Caractéristiques

  • Date de parution
    28/08/2019
  • Editeur
  • Collection
  • ISBN
    978-2-10-080632-4
  • EAN
    9782100806324
  • Format
    Grand Format
  • Présentation
    Broché
  • Nb. de pages
    368 pages
  • Poids
    0.62 Kg
  • Dimensions
    17,0 cm × 24,0 cm × 1,8 cm

Avis libraires et clients

À propos des auteurs

René David : Professeur à l'université de Savoie. Karim Nour : Maître de conférences (HDR) à l'université de Savoie (Chambéry). Christophe Raffalli : Maître de conférences à l'université de Savoie (Chambéry).

Des mêmes auteurs

Les clients ont également aimé

Derniers produits consultés

Introduction à la logique - Théorie de la démonstration est également présent dans les rayons

34,50 €