Please use this identifier to cite or link to this item:
https://thuvienso.bvu.edu.vn/handle/TVDHBRVT/15701| Title: | A Short Course in Predicate Logic - eBooks and textbooks from bookboon.com |
| Authors: | Paris, Jeff |
| Keywords: | Predicate logic |
| Issue Date: | 2015 |
| Publisher: | bookboon.com |
| Citation: | 1st edition |
| Abstract: | 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. |
| Description: | 180 Pages |
| URI: | http://thuvienso.bvu.edu.vn/handle/TVDHBRVT/15701 |
| ISBN: | 9788740307955 |
| Appears in Collections: | Mathematics (bookboon.com) |
Files in This Item:
| File | Description | Size | Format | |
|---|---|---|---|---|
| A-Short-Course-in-Predicate-Logic.pdf | 10,25 MB | Adobe PDF |  Sign in to read |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.