Proof and disproof in formal logic : an introduction for programmers / Richard Bornat.

By:

Bornat, Richard, 1944-

Material type: Text

TextSeries: Oxford texts in logic ; 2.Publication details: Oxford ; New York : Oxford University Press, 2005.Description: 1 online resource (xix, 243 pages) : illustrationsContent type:

text

Media type:

computer

Carrier type:

online resource

ISBN:

142375722X
9781423757221
9786610759002
6610759006
9780198530275
0198530277
1280759003
9781280759000
0198530269
9780198530268

Subject(s): Genre/Form:

Additional physical formats: Print version:: Proof and disproof in formal logic.DDC classification:

160 22

LOC classification:

BC173 .B67 2005eb

Online resources:

Click here to access online

Contents:

Basics -- Formal proof -- Disproof -- Proof of programs.

Summary: "Proof and Disproof in Formal Logic is a lively and entertaining introduction to formal logic that provides an excellent insight into how a simple logic works. The text concentrates on practical skills: making proofs and disproofs of particular logical claims. The logic it employs - Natural Deduction - is very small and very simple and teaches the student how to focus on syntactic reasoning." "Aimed at undergraduates and graduates in computer science, logic, mathematics, and philosophy, the text shows how to make proofs and disproofs in Jape, an interactive easy-to-use logic calculator designed and hosted by the author that is freely available on the web."--Jacket.

Item type:

Tags from this library: No tags from this library for this title. Log in to add tags.

Average rating: 0.0 (0 votes)

Holdings
Item type	Home library	Collection	Call number	Materials specified	Status	Date due	Barcode
Electronic-Books	OPJGU Sonepat- Campus	E-Books EBSCO			Available

Includes index.

Basics -- Formal proof -- Disproof -- Proof of programs.

Print version record.

"Proof and Disproof in Formal Logic is a lively and entertaining introduction to formal logic that provides an excellent insight into how a simple logic works. The text concentrates on practical skills: making proofs and disproofs of particular logical claims. The logic it employs - Natural Deduction - is very small and very simple and teaches the student how to focus on syntactic reasoning." "Aimed at undergraduates and graduates in computer science, logic, mathematics, and philosophy, the text shows how to make proofs and disproofs in Jape, an interactive easy-to-use logic calculator designed and hosted by the author that is freely available on the web."--Jacket.

English.

eBooks on EBSCOhost EBSCO eBook Subscription Academic Collection - Worldwide

There are no comments on this title.

to post a comment.