Skip navigation

Bookboon.com Last ned gratis eBøker og lærebøker

Choose a category

A Short Course in Predicate Logic

A Short Course in Predicate Logic
Ingen vurdering ennå
ISBN: 978-87-403-0795-5
1 utgave
Sider : 180
  • Pris: 129,00 kr
  • Pris: €13,99
  • Pris: £13,99
  • Pris: ₹250
  • Pris: $13,99
  • Pris: 129,00 kr
  • Pris: 129,00 kr

Last ned GRATIS med 4 enkle steg…

Vi beklager, men for å laste ned våre bøker eller se våre videoer må du ha en nettleser som støtter JavaScript.
Kan vi friste med noen KOSTNADSFRIE e-bøker og relevante Bookboon-oppdateringer?
Etter å ha oppgitt e-postadressen blir en bekreftelsesmail sendt til din mailbox. Vennligst godkjenn den for å motta vår ukentlig eBok-oppdatering. Eventuell kontaktinformasjon som blir oppgitt, vil ikke bli oppgitt til noen tredjepart.
eLib
Lås opp ditt selskaps læringspotensial
Se demo

Korporat eBibliotek

Utforsk våre Firmaløsninger for ansattes læring

Dette er en Premium-eBok

Bookboon Premium - Få tilgang til over 800 eBøker - uten annonser

Du kan få gratis tilgang til dette i én måned - og 800 andre bøker med Premium-abonnementet. Du kan også kjøpe boken nedenfor

  • Start en 30 dagers gratis prøveperiode. Etter prøveperioden: 39,99 kr p/m
  • Start en 30 dagers gratis prøveperiode. Etter prøveperioden: €5,99 p/m
  • Start en 30 dagers gratis prøveperiode. Etter prøveperioden: £4,99 p/m
  • Start en 30 dagers gratis prøveperiode. Etter prøveperioden: ₹299 p/m
  • Start en 30 dagers gratis prøveperiode. Etter prøveperioden: $3,99 p/m
  • Start en 30 dagers gratis prøveperiode. Etter prøveperioden: 39,99 kr p/m
  • Start en 30 dagers gratis prøveperiode. Etter prøveperioden: 39,99 kr p/m
eLib
Lås opp ditt selskaps læringspotensial
Klikk her!

Korporat eBibliotek

Utforsk våre Firmaløsninger for ansattes læring

Om boken

  1. Beskrivelse
  2. Innhold

Beskrivelse

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.

Innhold

  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.