Proof and Disproof in Formal Logic: An Introduction For Programmers (Oxford Texts In Logic): 2 - Image 1

Price loading...

Oxford University Press Proof and Disproof in Formal Logic: An Introduction For Programmers (Oxford Texts In Logic): 2

Name: Proof and Disproof in Formal Logic: An Introduction For Programmers (Oxford Texts In Logic): 2
Brand: Oxford University Press

Computer Science

Price History & Forecast

No Price Data Available

Price history will appear here once data is collected from Amazon.

Price Distribution

No price data available for histogram

Description

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.

Product Specifications

Brand: Oxford University Press
Format: Paperback
ASIN: 0198530277
Category: Books > Subjects > Computing & Internet > Computer Science
Domain: Amazon UK
Publication Date: 29 September 2005
Listed Since: 22 January 2007

Barcode

No barcode data available

Oxford University Press Proof and Disproof in Formal Logic: An Introduction For Programmers (Oxford Texts In Logic): 2

Price History & Forecast

No Price Data Available

Price Distribution

Description

Product Specifications

Barcode

Similar Products You Might Like

Proof and Disproof in Formal Logic: An Introduction for Programmers: 2 (Oxford Texts in Logic)

Studies and Exercises in Formal Logic (Languages and Linguistics)

MATHEMATICAL LOGIC OTIL PAPER: 3 (Oxford Texts in Logic)

Proof Theory: Sequent Calculi and Related Formalisms (Discrete Mathematics and Its Applications)

Formal Language: A Practical Introduction

Formal Methods in Computer Science (Textbooks in Mathematics)

Logic for Applications (Texts in Computer Science)

Introduction to Mathematical Logic: Extended Edition

Concise Guide to Formal Methods: Theory, Fundamentals and Industry Applications (Undergraduate Topics in Computer Science)

Introduction to Logic and Logical Discourse

Introduction to Logic and Logical Discourse

Programming-Based Formal Languages and Automata Theory: Design, Implement, Validate, and Prove (Texts in Computer Science)

Oxford University Press - Fragments of First-Order Logic

Type Theory and Formal Proof: An Introduction

An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof: 27 (Applied Logic Series, 27)

Formal Methods in Computer Science (Textbooks in Mathematics)

Essentials Of Logic Programming (Oxford Science Publications): 1 (Graduate Texts in Computer Science)

Logic in Computer Science: Modelling and Reasoning about Systems

A Short Introduction to Intuitionistic Logic (University Series in Mathematics)

Wiley Discrete Mathematics with Proof - Second Edition

Springer - A Short Introduction to Intuitionistic Logic Book

A First Course in Logic : An Introduction to Model Theory, Proof Theory, Computability, and Complexity: An Introduction to Model Theory, Proof Theory, ... and Complexity: 1 (Oxford Texts in Logic)

Mathematical Logic: An Introduction (De Gruyter Textbook)

Proofs and Fundamentals: A First Course in Abstract Mathematics: 0 (Undergraduate Texts in Mathematics)