Vui lòng dùng định danh này để trích dẫn hoặc liên kết đến tài liệu này:
https://thuvienso.bvu.edu.vn/handle/TVDHBRVT/15701Toàn bộ biểu ghi siêu dữ liệu
| Trường DC | Giá trị | Ngôn ngữ |
|---|---|---|
| dc.contributor.author | Paris, Jeff | - |
| dc.date.accessioned | 2016-12-13T02:56:51Z | - |
| dc.date.available | 2016-12-13T02:56:51Z | - |
| dc.date.issued | 2015 | - |
| dc.identifier.citation | 1st edition | vi |
| dc.identifier.isbn | 9788740307955 | - |
| dc.identifier.uri | http://thuvienso.bvu.edu.vn/handle/TVDHBRVT/15701 | - |
| dc.description | 180 Pages | vi |
| dc.description.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. | vi |
| dc.language.iso | en | vi |
| dc.publisher | bookboon.com | vi |
| dc.subject | Predicate logic | vi |
| dc.title | A Short Course in Predicate Logic - eBooks and textbooks from bookboon.com | vi |
| dc.type | Book | vi |
| Bộ sưu tập: | Mathematics (bookboon.com) | |
Các tập tin trong tài liệu này:
| Tập tin | Mô tả | Kích thước | Định dạng | |
|---|---|---|---|---|
| A-Short-Course-in-Predicate-Logic.pdf | 10,25 MB | Adobe PDF |  Đăng nhập để xem toàn văn |
Khi sử dụng các tài liệu trong Thư viện số phải tuân thủ Luật bản quyền.