Nouveauté

Formal Logic - Propositional Logic, Predicate Logic, Modal Logic, and Non-Classical Logics

media/ebook/13162350_1e69zdzo_0

ajouter
Formal Logic - Propositional Logic, Predicate Logic, Modal Logic, and Non-Classical Logics
9,99€
  • Pagination : 760
  • EAN : 9783696345792
  • 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
Vivlio et Cultura
partenaires pour vos
lectures numériques
Tout est synchronisé
grâce à votre compte
Cultura
Une aide en ligne pour
vous accompagner

Coups de cœur Cultura

Tous les passeurs de culture peuvent partager leurs découvertes !
Tu as aimé ce produit ? Partage dès maintenant ton coup de coeur :

loader
loader
loader
loader
loader
loader
loader
loader

description

descriptif du fournisseur
Why do some statements necessarily imply others - and why do even the strongest formal systems have limits? Logic offers the tools to explore these questions with precision, clarity, and depth. This book provides a rigorous yet accessible introduction to logical reasoning, from propositional and predicate logic to modal logic and non-classical logics. It presents the essential concepts, methods, and procedures in a clear and structured way, with attention not only to formal systems but also to structure, meaning, and inference. Classical topics such as equivalences, normal forms, and resolution are complemented by algorithmic methods for automated reasoning and a detailed treatment of Gödel's incompleteness theorems. Modern perspectives, including modal logic, fuzzy logic, default logic, and answer set programming, round out the presentation. With numerous exercises and carefully worked solutions, this book is ideal for students and readers who want to think more clearly, argue more precisely, and gain a deeper understanding of the foundations of mathematics and computer science.
 
Formal Logic - Propositional Logic, Predicate Logic, Modal Logic, and Non-Classical Logics

Formal Logic - Propositional Logic, Predicate Logic, Modal Logic, and Non-Classical Logics

On vous recommande avec votre achat
Formal Logic - Propositional Logic, Predicate Logic, Modal Logic, and Non-Classical Logics

Formal Logic - Propositional Logic, Predicate Logic, Modal Logic, and Non-Classical Logics

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

Maths PCSI - 2e éd. - Tout-en-un • La réhabilitation de la déglutition chez l'adulte - Physiopathologie, évaluation et traitement des troubles • Prise en soin des troubles neurodéveloppementaux en psychomotricité ...

... Le programme RUBI pour gérer les comportements perturbateurs - Enfants TSA et troubles du comportement • Histoire illustrée de l'informatique - 4e édition • Surdité de l'adulte : évaluation et rééducation - Mieux comprendre et prendre en soin la diversité des profils cliniques ...

... Analyse numérique et équations différentielles - 4ème Ed • La Vie à portée de main • Prendre en soins un patient atteint de Parkinson - Rappels pratiques, fiches, trames, protocoles • Exercices pour le cours de physique de Feynman - 900 exercices corrigés - 900 exercices corrigés ...

... Algorithmes : la bombe à retardement • Recueil de curiosités mathématiques

retour haut de page
retour haut de page
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

Veuillez saisir une adresse e-mail valide.
Par exemple : [email protected]

Félicitations, votre inscription a bien été prise en compte !

Vous pouvez à tout moment vous désinscrire via le lien de désabonnement présent dans la newsletter.
En savoir plus sur notre politique de protection des données personnelles, cliquez ici

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.