Kniha Logique formelle Lucien Sina

Logique formelle

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

Autor: Lucien Sina
Jazyk: Francouzština
Vazba: Brožovaná
Vydavatel: epubli
Dostupnost: U nakladatele na objednávku
Odesíláme za 17-27 dnů
962
Pourquoi certaines conclusions s'imposent-elles avec nécessité, tandis que d'autres raisonnements se...

Informace o knize

Autor
Jazyk
Francouzština
Vazba
Kniha - Brožovaná
Vydáno
2026
Stránek
776
EAN
9783565469031
Enbook ID
52759881
Vydavatel
Hmotnost
889
Rozměry
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.