Tous nos rayons

Déjà client ? Identifiez-vous

Mot de passe oublié ?

Nouveau client ?

CRÉER VOTRE COMPTE
Logique mathématique
Ajouter à une liste

Librairie Eyrolles - Paris 5e
Indisponible

Logique mathématique

Logique mathématique

Tome 1, Calcul propositionnel, algèbre de Boole, calcul des

Daniel Lascar, René Cori - Collection Axiomes

385 pages, parution le 01/11/1996

Résumé

Issu d'un enseignement de logique dispensé en 2e et 3e. cycles, ce cours traite de manière détaillée des domaines fondamentaux de la logique mathématique. Ce premier tome expose successivement le calcul propositionnel, les algèbres de Boole, le calcul des prédicats et les théorèmes de complétude. Ce premier volume est plus particulièrement destiné aux étudiants de premier et deuxième cycles universitaires en logique, mathématiques et informatique. Ils y trouveront notamment de nombreux exercices corrigés leur permettant une réelle acquisition des différentes notions logiques exposées. Cet ouvrage intéressera également les élèves ingénieurs et les étudiants de troisième cycle désirant s'orienter vers les mathématiques pures ou l'informatique, les chercheurs et les ingénieurs de recherche en informatique, soucieux de disposer d'un texte de référence sur les bases mathématiques de leur spécialité. La lecture de ce livre n'exige aucune connaissance préalable en logique.

L'auteur - Daniel Lascar

Daniel Lascar. Directeur de recherches au CNRS.

Autres livres de Daniel Lascar

L'auteur - René Cori

René Cori. Maître de conférences à l'université Denis-Diderot, Paris 7.

Autres livres de René Cori

Sommaire

  • Calcul propositionnel
  • Algèbres de boole
  • Calcul des prédicats
  • Théorèmes de complétude
Voir tout
Replier

Caractéristiques techniques

  PAPIER
Éditeur(s) Elsevier-Masson
Auteur(s) Daniel Lascar, René Cori
Collection Axiomes
Parution 01/11/1996
Nb. de pages 385
Format 16 x 24
Couverture Broché
Poids 630g
Intérieur Noir et Blanc
EAN13 9782225840791
ISBN13 978-2225840791

Avantages Eyrolles.com

Livraison à partir de 0,01 en France métropolitaine
Paiement en ligne SÉCURISÉ
Livraison dans le monde
Retour sous 15 jours
+ d'un million et demi de livres disponibles
satisfait ou remboursé
Satisfait ou remboursé
Paiement sécurisé
modes de paiement
Paiement à l'expédition
partout dans le monde
Livraison partout dans le monde
Service clients sav@commande.eyrolles.com
librairie française
Librairie française depuis 1925
Recevez nos newsletters
Vous serez régulièrement informé(e) de toutes nos actualités.
Inscription