Ebooks

Bornat Proof and Disproof in Formal Logic An Introduction for Programmers

  • Download 5x Faster
  • Download torrent
  • Direct Download
  • Rate this torrent +  |  -

Torrent info

Name:Bornat Proof and Disproof in Formal Logic An Introduction for Programmers

Total Size: 5.14 MB

Magnet: Magnet Link

Seeds: 0

Leechers: 0

Stream: Watch Online @ Movie4u

Last Updated: 2015-09-13 14:47:44 (Update Now)

Torrent added: 2009-08-20 19:35:40



VPN For Torrents

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

5.14 MB
 

tracker

leech seeds
 

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.

related torrents

Torrent name

health leech seeds Size
 


comments (0)

Main Menu