Nouveauté

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

Descriptif détaillé

media/ebook/13214665_bjm7xqnu_0

ajouter

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

Pagination : 800
EAN : 9783696321567
Protection numérique : Digital watermarking

ebook

Achat immédiat, sans abonnement.

Le saviez vous ?

Lisez votre e-book sur ordinateur, tablette et mobile grâce aux applications :

Télécharger
sur Google Play

Télécharger
sur App Store

Télécharger
sur Ordinateur

description

descriptif du fournisseur

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.

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

On vous recommande avec votre achat

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

9,99€

+

voir mon panier

Découvrez aussi

Ebook sur les Sciences Ebook Sciences & Techniques Ebook et liseuses

Ebook Sciences & Techniques

Ebook Scolaire • Ebook Dictionnaires • Droit, Economie, Entreprise & Emploi • Ebook Informatique • Ebook sur les Sciences • Ebook Médecine • Ebook Paramédical • Ebook Psychologie, psychanalyse • Ebook Post Bac Concours

Ebook et liseuses

Meilleures ventes : Ebook • Meilleures ventes : Ebook • Nouveautés : Ebook • Précommandes : Ebook • Ebook littérature • Ebook Voyage • Ebook arts, culture & société • Ebook Sciences & Techniques • Ebook imaginaire • Ebook Gratuits ...

... Ebook en VO • Livre Audio • Ebook à 0,99€ • Ebook à 1,99€ • Ebook à 9,99€ • Liseuse • Ebook Romance • Ebook érotique • Ebook intégrales • Ebook Jeunes adultes • Ebook Polars et romans policiers • Ebook jeunesse & ados • Ebook Thrillers • BD Ebook ...

... Manga ebook • Comics ebook • Ebook Maison & famille • Vivlio Studio • Les 100 ebooks de l'année 2023 • Ebook Bien-Être & spiritualité • Ebook Passions & Loisirs • Meilleurs ebooks 2025

Produits similaires

Forêt : biodiversité, dynamique et gestion • Sartre à la plage - L'existentialisme dans un transat • Darwin à la plage - Nouvelle édition - L'évolution dans un transat • Pascal à la plage - La sincérité dans un transat ...

... Kant à la plage - La raison pure dans un transat • Lévi-Strauss à la plage - Un anthropologue dans un transat • Evaluation des fonctions cognitives chez l’adulte - Les fondamentaux du bilan en orthophonie • Apprentissage, évaluation et rééducation de l’écriture - Du papier au numérique ...

... Les modèles conceptuels en ergothérapie - Introduction aux concepts fondamentaux • Exercices pour le cours de physique de Feynman - 900 exercices corrigés - 900 exercices corrigés • Je réussis à entrer en école d’Orthophonie - Parcoursup + Oral - Sélection 2026 ...

... Maths - 1350 cm3 d'exercices corrigés pour la Licence 1 - 2e éd.

Réservez en ligne &
retirez en magasin sous 2h

Livraison gratuite en
magasin dès le lendemain

Paiement sécurisé en 3 ou
4 fois sans frais par carte bancaire

Retours gratuits
sous 30 jours

Réseaux sociaux

Newsletter

Service clients

Numéro cristal : 09 86 86 02 93

Nos conseillers ont réponse à tout, enfin presque.
Contactez-les du lundi au samedi de 8h à 19h.