Skip navigation

Bookboon.com Download von kostenlosen eBooks für Studium und Beruf

Choose a category

A Short Course in Predicate Logic

A Short Course in Predicate Logic
Noch keine Beurteilung
ISBN: 978-87-403-0795-5
1. Auflage
Seiten : 180
  • Preis: 129,00 kr
  • Preis: €13,99
  • Preis: £13,99
  • Preis: ₹250
  • Preis: $13,99
  • Preis: 129,00 kr
  • Preis: 129,00 kr

KOSTENLOS downloaden in 4 einfachen Schritten...

Um unsere Bücher herunterzuladen oder Videos anzusehen, benötigen Sie einen Browser, der JavaScript zulässt.
Nachdem Sie Ihre Email angegeben haben, schicken wir Ihnen eine Bestätigungsmail. Durch Klicken auf den dort angezeigten Link erhalten Sie unseren Newsletter. Wir geben Ihre Daten nicht an eine Dritte weiter.
eLib
Entdecken Sie das Lernpotenzial Ihrer Organisation
Demo anschauen

Unternehmens-eLibrary

Unsere Business Lösung für Weiterbildung

Das ist ein Premium eBook

Bookboon Premium - Erhalten Sie Zugang zu über 800 eBooks - ohne Werbeanzeigen

Erhalten Sie kostenlosen Zugang für einen Monat - und 800 andere Bücher mit dem Premium Abo. Sie können das Buch auch einzeln kaufen

  • Kostenloses 30-Tage Probeabo. Dann 39,99 kr p. M.
  • Kostenloses 30-Tage Probeabo. Dann €5,99 p. M.
  • Kostenloses 30-Tage Probeabo. Dann £4,99 p. M.
  • Kostenloses 30-Tage Probeabo. Dann ₹299 p. M.
  • Kostenloses 30-Tage Probeabo. Dann $3,99 p. M.
  • Kostenloses 30-Tage Probeabo. Dann 39,99 kr p. M.
  • Kostenloses 30-Tage Probeabo. Dann 39,99 kr p. M.
eLib
Entdecken Sie das Lernpotenzial Ihrer Organisation
Hier klicken!

Unternehmens-eLibrary

Unsere Business Lösung für Weiterbildung

Über das Buch

  1. Beschreibung
  2. Inhalt

Beschreibung

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.

Inhalt

  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.