Introduction à la Logique, Théorie de la démonstration (2nd édition) - Archive ouverte HAL Accéder directement au contenu
Ouvrages Année : 2004

Introduction à la Logique, Théorie de la démonstration (2nd édition)

Christophe Raffalli
  • Fonction : Auteur
  • PersonId : 859237
René David
  • Fonction : Auteur
  • PersonId : 859236
Karim Nour
  • Fonction : Auteur
  • PersonId : 859979

Résumé

Cet ouvrage, entièrement révisé dans cette seconde édition, est un cours introductif à la logique mathématique et, en particulier, la théorie de la démonstration. On y donne la réponse du mathématicien aux questions " qu'est-ce qu'un énoncé ? une démonstration ? " ou plus fondamentalement, " qu'est-ce que les mathématiques ? ", en l'illustrant par de nombreux exemples de mathématiques courantes. Il aborde également la logique intuitionniste qui donne des preuves constructives et les techniques de base de la démonstration automatique. Ces notions sont essentielles en informatique. Pour aider le lecteur dans sa compréhension, ce cours contient de nombreux exemples et près de 170 exercices corrigés. Une annexe présente un assistant de démonstration, le logiciel PhoX, écrit par l'un des auteurs. Des compléments aux corrigés (preuves complètement formalisées ou réalisées avec le logiciel PhoX) ainsi que le logiciel Phox, sont disponibles sur le site des auteurs. Ce livre, qui ne suppose aucun prérequis en logique, s'adresse plus particulièrement aux étudiants en 3e année de Licence ou en Master. Il pourra également intéresser les candidats au CAPES et à l'agrégation.
Fichier non déposé

Dates et versions

hal-00396917 , version 1 (19-06-2009)

Identifiants

  • HAL Id : hal-00396917 , version 1

Citer

Christophe Raffalli, René David, Karim Nour. Introduction à la Logique, Théorie de la démonstration (2nd édition). Dunod, pp.368, 2004, Sciences Sup. ⟨hal-00396917⟩
1083 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More