Proof and disproof in formal logic An introduction for programmers
Proof and Disproof in Formal Logic is a lively and entertaining introduction to formal logic providing an excellent insight into how a simple logic works. Formal logic allows you to check a logical claim without considering what the claim means. This highly abstracted idea is an essential and practi...
Đã lưu trong:
| Tác giả chính: | |
|---|---|
| Tác giả khác: | |
| Ngôn ngữ: | Undetermined English |
| Được phát hành: |
New York
Oxford University Press
2005
|
| Những chủ đề: | |
| Các nhãn: |
Thêm thẻ
Không có thẻ, Là người đầu tiên thẻ bản ghi này!
|
| Thư viện lưu trữ: | Trung tâm Học liệu Trường Đại học Trà Vinh |
|---|
| LEADER | 01487nam a2200277Ia 4500 | ||
|---|---|---|---|
| 001 | TVU_13019 | ||
| 008 | 210423s9999 xx 000 0 und d | ||
| 020 | |a 0198530277 | ||
| 020 | |a 9780198530275 | ||
| 041 | |a eng | ||
| 082 | |a 160 | ||
| 082 | |b R302 | ||
| 100 | |a Bornat, Richard | ||
| 245 | 0 | |a Proof and disproof in formal logic | |
| 245 | 3 | |b An introduction for programmers | |
| 245 | 0 | |c Richard Bornat | |
| 260 | |a New York | ||
| 260 | |b Oxford University Press | ||
| 260 | |c 2005 | ||
| 300 | |a xix, 243 p. | ||
| 300 | |b ill. | ||
| 300 | |c 25 cm | ||
| 520 | |a Proof and Disproof in Formal Logic is a lively and entertaining introduction to formal logic providing an excellent insight into how a simple logic works. Formal logic allows you to check a logical claim without considering what the claim means. This highly abstracted idea is an essential and practical part of computer science. The idea of a formal system-a collection of rules and axioms, which define a universe of logical proofs-is what gives us programming languages and modern-day programming. This book concentrates on using logic as a tool: making and using formal proofs and disproofs of particular logical claims. The logic it uses-natural deduction-is very small and very simple; working with it helps you see how large mathematical universes can be built on small foundations | ||
| 650 | |a Evidence; Logic; Modern | ||
| 700 | |a Richard Bornat | ||
| 980 | |a Trung tâm Học liệu Trường Đại học Trà Vinh | ||