Logique formelle

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

von Lucien Sina

776 Seiten, Taschenbuch, ab 1 Jahre

Kurzbeschreibung des Verlags

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.

• Themen: Informatik und Informationstechnologie Informatik
• ISBN: 9783565469031
• Sprache: Französisch
• Erscheinungsdatum: 01.06.2026
• Größe: 19 x 12.5 cm
• Verlag: epubli
• Empf. Lesealter: ab 1 Jahre