Torrent Downloads » Ebooks » Bornat Proof and Disproof in Formal Logic An Introduction for Programmers
Ebooks
Bornat Proof and Disproof in Formal Logic An Introduction for Programmers
-
-
- Rate this torrent + | -
Download Anonymously! Get Protected Today And Get your 70% discount
Torrent info
Torrent Files List
Proof and Disproof in Formal Logic - An Introduction for Programmers - R. Bornat (Oxford, 2005) WW.pdf (Size: 5.14 MB) (Files: 1)
Proof and Disproof in Formal Logic - An Introduction for Programmers - R. Bornat (Oxford, 2005) WW.pdf
Torrent description
Bornat - Proof and Disproof in Formal Logic - An Introduction for Programmers
http://www.amazon.com/Proof-Disproof-Formal-Logic-Introduction/dp/0198530277/
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.
