Menu
Zjistit stav objednávky
Kontaktujte nás
Kniha Logique formelle Lucien Sina

Logique formelle

Autor: Lucien Sina
Jazyk: Francouzština
Vazba: Brožovaná
Vydavatel: THEBOOKEDITION
Dostupnost: U nakladatele na objednávku
Odesíláme za 21-24 dnů
1 137 Kč
Pourquoi certains raisonnements sont-ils nécessaires, tandis que d'autres semblent plausibles sans ê...

Informace o knize

Autor
Lucien Sina
Jazyk
Francouzština
Vazba
Kniha - Brožovaná
Vydáno
2026
Stránek
605
EAN
9798256377427
Enbook ID
52771554
Vydavatel
THEBOOKEDITION
Hmotnost
797
Rozměry
148 x 210 x 37

Kompletní popis

Pourquoi certains raisonnements sont-ils nécessaires, tandis que d'autres semblent plausibles sans être valides ? Ce livre propose une introduction à la logique formelle, de la logique propositionnelle et des prédicats à la logique modale et aux logiques non classiques. Le lecteur découvre les notions essentielles, les formes normales, la résolution et le raisonnement automatique. Une attention est accordée aux théorèmes d'incomplétude de Gödel, qui montrent les limites des systèmes formels. L'ouvrage aborde aussi la logique floue, la logique par défaut et la programmation par ensembles de réponses. Avec exercices, il s'adresse aux étudiants et enseignants pour comprendre le raisonnement ...