Kniha Logique formelle Lucien Sina

Logique formelle

Logique propositionnelle, logique des prédicats, logique modale et logiques non classiques.DE

Autor: Lucien Sina
Jazyk: Francúzština
Väzba: Brožovaná
Vydavateľ: epubli
Dostupnosť: U vydavateľa na objednávku
Odosielame za 17-27 dní
39.73
Pourquoi certaines conclusions s'imposent-elles avec nécessité, tandis que d'autres raisonnements se...

Informácie o knihe

Autor
Jazyk
Francúzština
Väzba
Kniha - Brožovaná
Vydalo
2026
Stránok
776
EAN
9783565469031
Enbook ID
52759881
Vydavateľ
Hmotnosť
889
Rozmery
125 x 190 x 45

Kompletný popis

Pourquoi certaines conclusions s'imposent-elles avec nécessité, tandis que d'autres raisonnements semblent plausibles sans être valides ? Ce livre propose une introduction claire et rigoureuse à la logique formelle, de la logique propositionnelle et de la logique des prédicats à la logique modale et aux logiques non classiques. Le lecteur y découvre les notions essentielles, les formes normales, la résolution, le raisonnement automatique et les théorèmes d'incomplétude de Gödel. Un ouvrage pour mieux penser, mieux démontrer et mieux comprendre les fondements des mathématiques et de l'informatique.