Well-Structured Mathematical Logic

0 avg rating
( 0 ratings by Goodreads )
 
9781611633689: Well-Structured Mathematical Logic
View all copies of this ISBN edition:
 
 

Well-Structured Mathematical Logic does for logic what Structured Programming did for computation: make large-scale work possible. From the work of George Boole onward, traditional logic was made to look like a form of symbolic algebra. In this work, the logic undergirding conventional mathematics resembles well-structured computer programs.
A very important feature of the new system is that it structures the expression of mathematics in much the same way that people already do informally. In this way, the new system is simultaneously machine-parsable and user-friendly, just as Structured Programming is for algorithms. Unlike traditional logic, the new system works with you, not against you, as you use it to structure — and understand — the mathematics you work with on a daily basis.
The book provides a complete guide to its subject matter. It presents the major results and theorems one needs to know in order to use the new system effectively.
Two chapters provide tutorials for the reader in the new way that symbols move when logical calculations are performed in the well-structured system. Numerous examples and discussions are provided to illustrate the system's many results and features.
Well-Structured Mathematical Logic is accessible to anyone who has at least some knowledge of traditional logic to serve as a foundation, and is of interest to all who need a system of pliant, user-friendly mathematical logic to use in their work in mathematics and computer science.

"synopsis" may belong to another edition of this title.

About the Author:

Damon Scott teaches mathematics at Francis Marion University and is a Doctor of Philosophy from Duke University. He learned traditional logic from the lectures of Joseph R. Shoenfield, and his formal training in music is evident in the extensive treatment given to the underlying theory of the structure of expression, from which the new formalization of mathematical logic is constructed.

"About this title" may belong to another edition of this title.

Top Search Results from the AbeBooks Marketplace

1.

Scott, Damon
Published by Carolina Academic Press
ISBN 10: 1611633680 ISBN 13: 9781611633689
New Hardcover Quantity Available: 1
Seller:
Cloud 9 Books
(Wellington, FL, U.S.A.)
Rating
[?]

Book Description Carolina Academic Press. Hardcover. Condition: New. 1611633680 New Condition. Seller Inventory # NEW99.1787840

More information about this seller | Contact this seller

Buy New
US$ 87.50
Convert currency

Add to Basket

Shipping: US$ 4.99
Within U.S.A.
Destination, rates & speeds