Rayon Fondements des mathématiques (logique)
Fiche technique
Format : Broché
Nb de pages : 455 pages
Poids : 750 g
Dimensions : 16cm X 24cm
EAN : 9782212016475
Logique et modélisation
modèles consistants, données compatibles
Chez
Eyrolles
Collection(s) |
Direction des études et recherches d'Electricité de France
Paru le 29/09/1995
Broché
455 pages
Quatrième de couverture
Expose des notions générales de logique mathématique : la consistance des modèles, la comptabilité des données avec deux formalismes fondamentaux : la logique des propositions et la logique des prédicats (calcul booléen...).
