Logique formelle

Thebookedition - EAN : 9798256377427

LUCIEN SINA

Nouveauté

Édition papier

EAN : 9798256377427

Paru le : 2 juin 2026

39,99 € 37,91 €

Disponible

Pour connaître votre prix et commander, identifiez-vous

Notre engagement qualité

Résumé : 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 ...
Biographie : Lucien Sina, Mathématicien et informaticien
À propos de Lucien Sina

Lucien Sina n'est pas seulement un auteur ; il est un phare d'inspiration pour ceux qui recherchent des transformations profondes dans différents aspects de leur vie. Avec un bagage considérable en mathématiques, informatique et entraînement fitness, le parcours de Lucien est remarquable. Son expertise polyvalente s'étend sur divers domaines, reflétant sa curiosité insatiable et son engagement envers le bien-être holistique.

Bodybuilding et Nutrition Saine
En tant qu'entraîneur fitness et expert en nutrition agréé, les connaissances de Lucien en musculation et en nutrition saine sont inégalées. À...