Książka Logique formelle Lucien Sina

Logique formelle

Autor: Lucien Sina
Język: Francuski
Oprawa: Miękka
Wydawca: THEBOOKEDITION
Dostępność: Na zamówienie
Wysyłamy za 21-24 dni
201.12
Pourquoi certains raisonnements sont-ils nécessaires, tandis que d'autres semblent plausibles sans ê...

Informacje o książce

Autor
Język
Francuski
Oprawa
Książka - Miękka
Data wydania
2026
strony
605
EAN
9798256377427
Enbook ID
52771554
Wydawca
Waga
797
Wymiary
148 x 210 x 37

Pełny opis

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 ...