• Open Daily: 10am - 10pm
    Alley-side Pickup: 10am - 7pm

    3038 Hennepin Ave Minneapolis, MN
    612-822-4611

Open Daily: 10am - 10pm | Alley-side Pickup: 10am - 7pm
3038 Hennepin Ave Minneapolis, MN
612-822-4611
Logique formelle: Logique propositionnelle, logique des prédicats, logique modale et logiques non classiques

Logique formelle: Logique propositionnelle, logique des prédicats, logique modale et logiques non classiques

Paperback

Fiction

ISBN10: 3696352888
ISBN13: 9783696352882
Publisher: Bod - Books on Demand
Published: Jun 4 2026
Pages: 800
Weight: 1.71
Height: 1.59 Width: 5.00 Depth: 8.00
Language: French
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 méthodes de démonstration, les formes normales, la résolution, le raisonnement automatique et les théorèmes d'incomplétude de Gödel. Ces derniers montrent que même les systèmes logiques les plus puissants possèdent des limites fondamentales. L'ouvrage aborde également des perspectives modernes, telles que la logique floue, la logique par défaut et la programmation par ensembles de réponses, qui permettent de raisonner en présence d'incertitude ou d'informations incomplètes. Destiné aux étudiants, aux enseignants, aux mathématiciens, aux informaticiens ainsi qu'à tous les lecteurs curieux de comprendre les fondements du raisonnement rigoureux, ce livre offre une introduction accessible et approfondie à l'un des domaines les plus fascinants des mathématiques et de l'informatique.

Also from

Sina, Lucien

Also in

Fiction