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
Product Description
Classical and Fuzzy Concepts in Mathematical Logic and Applications explains how to use the English language with logical responsibility, how to define and use formal language, and how to reason correctly. Specific issues examined include a discussion of propositional and predicate logic, logic networks, logic programming, proof of correctness, semantics, syntax, and theorems of Herbrand and Kalman. The text emphasizes the use of logic in computer science, addresses questions in automatic deduction, and introduces a systematic parallel between aspects of classical logic and fuzzy mathematical logic.
See all Product Description