Agrandir l'image

LOGIQUE MATHEMATIQUE - TOME 1 - CALCUL PROPOSITIONNEL

9782100825141

Disponible

Auteur: Ren
Année d'édition: 2021
Editeur: DUNOD
Description: Mathematical logic is a branch of mathematics that takes axiom systems and mathematical proofs as its objects of study. It provides guidelines for the development of information science and technology. This book, with 10 chapters, presents basic principles and formal calculus of mathematical logic systematically. The first five chapters cover the core contents of classical mathematical logic, including the syntax and models of first-order languages, formal inference systems, computability and representability

Plus de détails

2 Produits

Attention : dernières pièces disponibles !

195,750 DT

Articles similaires:

En savoir plus

Auteur: Ren
Année d'édition: 2021
Editeur: DUNOD
Description: Mathematical logic is a branch of mathematics that takes axiom systems and mathematical proofs as its objects of study. It provides guidelines for the development of information science and technology. This book, with 10 chapters, presents basic principles and formal calculus of mathematical logic systematically. The first five chapters cover the core contents of classical mathematical logic, including the syntax and models of first-order languages, formal inference systems, computability and representability