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

— —

Lucien Sina

Logique formelle

Name: Logique formelle
Price: 204.88 AUD
Availability: OutOfStock
ISBN: 9783696352882

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

Lucien Sina

$240.95 $204.88

Paperback

Not in-store but you can order this
How long will it take?

Availability Information

We source books from suppliers in Australia and overseas. For books we don't currently have in stock, the time it takes to get them from our suppliers can vary widely - from a few days to a few months - so we check each book with each supplier to determine the expected time it will take to be supplied to us.

We will update you on expected arrival time to us. If this delay is too long, please let us know within 2 business days and we can give you options regarding cancelling or adjusting your order. More details on cancelling your order can be found in our Terms of Trade.

To find out the anticipated arrival time for specific items prior to ordering, please contact us by phone or email:

Phone +61 2 9264 3111, or 1800 4 BOOKS (1800 4 26657) if outside Sydney:
option 1 Abbey's Bookshop (Crime, History, Science, Kids & more) • info@abbeys.com.au
option 2 Language Book Centre (ESL & Foreign Languages) • language@abbeys.com.au
option 3 Galaxy Bookshop (Sci-fi, Fantasy, Romance, Graphic Novels) • sf@galaxybooks.com.au

QTY:

French

Bod - Books on Demand
04 June 2026

Mathematical logic

Summary
Details

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.

By: Lucien Sina
Imprint: Bod - Books on Demand
Dimensions: Height: 203mm, Width: 127mm, Spine: 40mm
Weight: 779g
ISBN: 9783696352882
ISBN 10: 3696352888
Pages: 800
Publication Date: 04 June 2026
Audience: General/trade , ELT Advanced
Format: Paperback
Publisher's Status: Active