|
![]() |
|||
|
||||
OverviewThis 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. Full Product DetailsAuthor: Mircea S. Reghis , Eugene RoventaPublisher: Taylor & Francis Inc Imprint: CRC Press Inc Dimensions: Width: 15.60cm , Height: 2.50cm , Length: 23.40cm Weight: 0.725kg ISBN: 9780849331978ISBN 10: 0849331978 Pages: 378 Publication Date: 20 May 1998 Audience: College/higher education , Professional and scholarly , Undergraduate , Postgraduate, Research & Scholarly Format: Hardback Publisher's Status: Active Availability: In Print ![]() This item will be ordered in for you from one of our suppliers. Upon receipt, we will promptly dispatch it out to you. For in store availability, please contact us. Table of Contents"Preliminaries of ""Naive"" Mathematical Logic. Propositional Logic: The Formal Language of Propositional Logic. The Truth Structure on Lo in Semantic Version. The Truth Structure of Lo in Syntactic Version. Other Syntactic Versions of the Truth Structure on Lo. Elements of Fuzzy Propositional Logic. Applications in Computer Science. Exercises. Predicate Logic: Introductory Considerations. The Formal Language Predicate Logic. The Semantic Truth Structure on the Language L of Predicate Logic. The Syntactic Truth Structure on the Language L of Predicate Logic. Elements of Fuzzy Predicate Logic. Applications in Computer Science. Exercises. Boolean Algebras. MV-Algebras. General Considerations about Fuzzy Sets. Index."Reviews"""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" 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 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 Author InformationMircea S. Reghis (Author) , Eugene Roventa (York University) (Author) Tab Content 6Author Website:Countries AvailableAll regions |