Anil Nerode, Richard A. Shore

Logic for Applications (eBook, PDF)

• Format: PDF

Produktbeschreibung

This book is a rigorous introduction to classical and nonclassical logics which emphasizes deduction as a form of computation. It features a uniform mathematical treatment based on the tableau method of classical logic, and can be used to teach classical, modal, and intuistic predicate logic. It also presents the logical and mathematical resolution theorem proving and Logic Programming. The book is geared towards upper level undergraduate and beginning graduate students in computer science, mathematics and philosophy.

---

Dieser Download kann aus rechtlichen Gründen nur mit Rechnungsadresse in A, B, BG, CY, CZ, D, DK, EW, E, FIN, F, GR, HR, H, IRL, I, LT, L, LR, M, NL, PL, P, R, S, SLO, SK ausgeliefert werden.

Produktdetails

• Verlag: Springer US
• Seitenzahl: 365
• Erscheinungstermin: 6. Dezember 2012
• Englisch
• ISBN-13: 9781468402117
• Artikelnr.: 44059127