Skip navigation

Bookboon.com Téléchargez des eBooks gratuits

Choose a category

A Short Course in Predicate Logic

A Short Course in Predicate Logic
Pas encore classé
ISBN : 978-87-403-0795-5
1 édition
Pages : 180
  • Prix : 129,00 kr
  • Prix : €13,99
  • Prix : £13,99
  • Prix : ₹250
  • Prix : $13,99
  • Prix : 129,00 kr
  • Prix : 129,00 kr

4 simples étapes avant de télécharger GRATUITEMENT

Veuillez nous excuser pour le désagrément, mais afin de visionner nos livres ou vidéos, vous nécessitez un navigateur web qui autorise JavaScript.
Êtes-vous intéressé(e) de recevoir des actualités sur des eBooks gratuits et des news sur Bookboon ?
Après avoir communiqué votre adresse E-Mail, vous recevrez une confirmation dans votre boîte de réception. Veuillez confirmer ce mail afin de recevoir nos actualités en matière de eBooks. Nous ne partagerons pas vos coordonnées.
eLib
Développez le potentiel de vos employés
Exemple

eLibrary d'entreprise

Découvrez nos solutions pour développer vos employés

Ceci est un eBook Premium

Bookboon Premium : accès à plus de 800 eBooks sans pub

Vous pouvez vous abonner et accéder à plus de 800 eBooks grâce à Premium, ou acheter ce livre individuellement.

  • Testez gratuitement pendant 30 jours. Après la période d'essai : 39,99 kr par mois
  • Testez gratuitement pendant 30 jours. Après la période d'essai : €5,99 par mois
  • Testez gratuitement pendant 30 jours. Après la période d'essai : £4,99 par mois
  • Testez gratuitement pendant 30 jours. Après la période d'essai : ₹299 par mois
  • Testez gratuitement pendant 30 jours. Après la période d'essai : $3,99 par mois
  • Testez gratuitement pendant 30 jours. Après la période d'essai : 39,99 kr par mois
  • Testez gratuitement pendant 30 jours. Après la période d'essai : 39,99 kr par mois
eLib
Développez le potentiel de vos employés
Cliquez ici !

eLibrary d'entreprise

Découvrez nos solutions pour développer vos employés

A propos du livre

  1. Description
  2. Table des matières

Description

In my experience students often struggle to understand Predicate Logic: they drown in the complicated notation; they do not understand the difference between syntax and semantics, proof and truth; they do not appreciate the importance of logic within mathematics and formal methods in general. This book was written specifically to address these issues, at the same time presenting a full and rigorous treatment of the subject requiring only basic mathematics.

The presentation is based on a course for final year undergraduate students of mathematics, computer science and philosophy supplemented with additional material for masters students. Numerous problems, together with detailed solutions, are provided to consolidate the students' understanding.

Table des matières

  1. Introduction
  2. Motivation
  3. Formal Languages, Formulae and Sentences
  4. Truth
  5. Logical Consequence
  6. The Prenex Normal Form Theorem
  7. Formal Proofs
  8. The Completeness and Compactness Theorems
  9. Adding Constants and Functions
  10. Herbrand’s Theorem
  11. Equality
  12. Exercises
  13. Solutions to the Exercises
  14. Appendix
This website uses cookies to improve user experience. By using our website you consent to all cookies in accordance with EU regulation.