Éditeur(s):
Eyrolles
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...). ©Electre 2024
55,03 €