This title explains how to use the English language with logical responsibility, how to define and use formal language, and how to reason correctly. Specific issues include propositional and predicate logic, logic networks, logic programming, proof of correctness, semantics, syntax, and theorems of Herbrand and Kalman.
FREE Two-Day Shipping for Students. Learn more |
Book Description
Special Offers and Product Promotions
- Buy $50 in qualifying physical textbooks, get $5 in Amazon MP3 Credit. Here's how (restrictions apply)
Editorial Reviews
Review
This textbook is useful for students at the advanced undergraduate level in mathematics, computer science and engineering; it could be helpful for university teachers, engineers and any person interested in learning and applying logical concepts.
--Quan Lei, Zentralblatt MATH, Vol. 944
--Quan Lei, Zentralblatt MATH, Vol. 944
Product Details
Would you like to update product info or give feedback on images?
|
More About the Author
Discover books, learn about writers, read author blogs, and more.
Customer Reviews
|
There are no customer reviews yet.
|
|||
|
Video reviews
|
Inside This Book
(learn more)
First Sentence:
The formal language of propositional logic is the set of all formal sentences which can be constructed by means of the operator symbols (called connectives), starting from a set of initial (atomic) formal sentences X1, X2, X3, ..., XN called propositional variables. Read the first page Key Phrases - Capitalized Phrases (CAPs): (learn more)
Dean's Honors List, The Syntactical Truth Structure New!
Concordance | Text Stats Browse Sample Pages:
Front Cover | Table of Contents | First Pages | Index | Back Cover | Surprise Me!
The formal language of propositional logic is the set of all formal sentences which can be constructed by means of the operator symbols (called connectives), starting from a set of initial (atomic) formal sentences X1, X2, X3, ..., XN called propositional variables. Read the first page Key Phrases - Capitalized Phrases (CAPs): (learn more)
Dean's Honors List, The Syntactical Truth Structure New!
Concordance | Text Stats Browse Sample Pages:
Front Cover | Table of Contents | First Pages | Index | Back Cover | Surprise Me!
Citations (learn more)
This book cites 15
books:
See all 15 books this book cites
- The Logical Syntax of Language (Open Court Classics) by Rudolf Carnap in Back Matter
- Foundations of Logic Programming (Symbolic Computation : Artificial Intelligence) by John Wylie Lloyd in Back Matter
- Mathematical Logic by Joseph R. Shoenfield in Back Matter
- Fuzzy Set Theory and its Applications by Hans-Jürgen Zimmermann in Back Matter
- Introduction to Metamathematics (Bibliotheca Mathematica) by S.C. Kleene in Back Matter
See all 15 books this book cites
Tag this product(What's this?)Think of a tag as a keyword or label you consider is strongly related to this product.
Tags will help all customers organize and find favorite items. |
Sell a Digital Version of This Book in the Kindle Store
If you are a publisher or author and hold the digital rights to a book, you can sell a digital version of it in our Kindle Store.
Learn more
Customer Discussions
|
This product's forum
Active discussions in related forums
Search Customer Discussions
|
Related forums
|
