Introduction à La Logique

Introduction à La Logique
French | DjVu +PDF | 364 Pages | 101 Mb

Description

Introduction à la logique – René David, Karim Nour, Christophe Raffalli, Dunod

Nom du livre : Introduction à la logique.
Auteurs : René David, Karim Nour, Christophe Raffalli.
Éditeur : Dunod.
Nombre de pages : 364.
Langue : Français.
Format : DjVu (voir ci-dessous).+PDF
Taille totale : 101 Mb.

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

Introduction à La Logique


Laisser un commentaire

Votre adresse e-mail ne sera pas publiée. Les champs obligatoires sont indiqués avec *