Home | Amazing | Today | Tags | Publishers | Years | Account | Search 
Proof and Disproof in Formal Logic: An Introduction for Programmers (Oxford Texts in Logic)

Buy
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. The book is divided into four parts:

Part I "Basics" gives an introduction to formal logic with a short history of logic and explanations of some technical words.

Part II "Formal Syntactic Proof" show you how to do calculations in a formal system where you are guided by shapes and never need to think about meaning. Your experiments are aided by Jape, which can operate as both inquisitor and oracle.

Part III "Formal Semantic Disproof" shows you how to construct mathematical counterexamples to shoe that proof is impossible. Jape can check the counterexamples you build.

Part IV " Program Specification and Proof" describes how to apply your logical understanding to a real computer science problem, the accurate description and verification of programs. Jape helps, as far as arithmetic allows.

Aimed at undergraduates and graduates in computer science, logic, mathematics and philosophy, the text includes reference to and exercises based on the computer software package Jape, an interactive teaching and research tool designed and hosted by the author that is freely available on the web.

About the Author

Richard Bornat is at School of Computing Science, Middlesex University.
(HTML tags aren't allowed.)

Medical Data Management
Medical Data Management
Careful documentation is essential in all fields of medicine and health care, whether it may serve the treatment of patients, compliance with legal obligations, reimbursement and cost analysis, quality assurance, or clinical research. Clinical documentation must be conducted in a systematic way; otherwise, there is a danger of it becoming a...
Network Security Fundamentals
Network Security Fundamentals

Companies have long been struggling with threats from the hacking community. Keeping pace with the rapid evolution of security technology and the growing complexity of threats is a challenge even in the best of times. The increased focus on security has sent IT managers and engineers scrambling to acquire the proper expertise...

Music Theory for Computer Musicians Bk/Cd (Book)
Music Theory for Computer Musicians Bk/Cd (Book)

With the advancing development of digital technology, today’s aspiring electronic music producers enjoy a significant degree of creative freedom. For a cost that seemed unimaginable 10 years ago, electronic music producers now can set up studios in their own homes and produce highly accomplished soundtracks. So professional are some of...


Practical Management of Haemoglobinopathies
Practical Management of Haemoglobinopathies

Presents a comprehensive picture of care, including diagnostic, therapeutic, and psychosocial aspects. The contributors cover basic science and epidemiological aspects of the public health challenge, but maintain a focus on the day to day issues encountered in dealing with affected people.

Containing clear, practical advice,...

Carry On: Sound Advice from Schneier on Security
Carry On: Sound Advice from Schneier on Security

Up-to-the-minute observations from a world-famous security expert

Bruce Schneier is known worldwide as the foremost authority and commentator on every security issue from cyber-terrorism to airport surveillance. This groundbreaking book features more than 160 commentaries on recent events including the Boston Marathon...

Red Hat Enterprise Linux 6 Administration: Real World Skills for Red Hat Administrators
Red Hat Enterprise Linux 6 Administration: Real World Skills for Red Hat Administrators

The definitive guide to administering a Red Hat Enterprise Linux 6 network

Linux professionals who need a go-to guide on version 6 of Red Hat Enterprise Linux (RHEL) will find what they need in this comprehensive Sybex book. It covers RHEL administration in detail, including how to set up and manage web and mail services,...

©2019 LearnIT (support@pdfchm.net) - Privacy Policy