Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

Austrian Post 5.49 € DPD courier 3.99 € DPD point 2.99 € GLS courier 4.99 €

Contact

How to shop

Help

My account

▸ Empty :-(

Logique formelle

Name: Logique formelle
Brand: epubli
SKU: 52759881
Price: 42.59 EUR
Availability: InStock
Author: Lucien Sina
ISBN: 9783565469031

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

Lucien Sina

Language

French

Book Paperback

Libristo code: 52759881

Publishers epubli, June 2026

Pourquoi certaines conclusions s'imposent-elles avec nécessité, tandis que d'autres raisonnements se... Full description

Libristo code: 52759881

104 b

New

42.59 € VAT included

Print on demand Shipping in 17-27 days

Delivery to Austria

Up to 30 days for returns

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.