En poursuivant votre navigation sur ce site, vous acceptez l'utilisation de cookies. Ces derniers assurent le bon fonctionnement de nos services. En savoir plus.

Recherchez sur le site (cours, livres, Agregation, etc.)

Liens utiles

Rechercher

CODE PROMO

10 % de remise sur le logiciel eTarget avec le code promo TARG10. Pour plus d'information, cliquez sur l'image

Liens mathématiques divers

Livres en anglais à télécharger

Livres en pdf

Cours

Documents Mathématiques

Février 2025

Notes récentes

Archives

Syndicate this site (rss)

Syndicate this site (XML)

Catégories

Derniers weblogs mis à jour

08/01/2011

Logique mathématique , T1 Calcul propositionnel, algèbres de Boole, calcul des prédicats

Logique mathématique , T1 Calcul propositionnel, algèbres de Boole, calcul des prédicatsRené Cori, Daniel Lascar

Scolaire / Universitaire (broché). Paru en 01/2003
En Stock- Expédié sous 24h

POUR COMMANDER

Dans ce premier tome, les auteurs présentent successivement le calcul propositionnel, les algèbres de Boole, le calcul des prédicats et les théorèmes de complétude.

Sommaire :
Calcul propositionnel. Algèbres de Boole. Calcul des prédicats. Théorèmes de complétude. Solutions des exercices.

11:05 Publié dans Livres, Logique mathématique , T1 Calcul propositionnel | Lien permanent | Commentaires (0) | | del.icio.us | | Digg! Digg | Facebook