Publié par sam1425, 08.02.16
Introduction à la logique
  


Introduction à la logique

French | Dunod | René David, Karim Nour, Christophe Raffalli | DjVu +PDF | 364 Pages | 101 Mb

Description

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..







Cher visiteur, vous etes alle sur le site en tant qu'utilisateur non enregistre. Nous vous encourageons a vous enregistrer ou entrez dans le site sous votre nom.

Films : Merci de choisir la qualite ( Streaming | Mauvaise qualite | BDRiP/DVDRiP | BluRay 1080p/720p/3D ) puis la langues ( FRENCH |TRUEFRENCH | Multi | VOSTFR | VO ) avant de Telecharger !








Dire merci ou signaler lien mort



votre nom:
Votre E-Mail:
Gras italique souligné barré | aligner à gauche centrer aligner à droite | Ajouter un smiley insérer une image Le choix de la couleur | texte caché insérer un commentaire Convertissez le texte choisi de la translittération au Cyrillien Insérer Spoiler
Entrez le code:

commentaires ajoutés: (0)

Mots Clé:


  
contrer contrer contrer



    
  • Notre Prez