Classical and Fuzzy Concepts in Mathematical Logic and Applications, Professional Version - Hardcover

Roventa, Eugene; Reghis, Mircea S.

 
9780849331978: Classical and Fuzzy Concepts in Mathematical Logic and Applications, Professional Version

Inhaltsangabe

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.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Über die Autorin bzw. den Autor

Mircea S. Reghis (Author) , Eugene Roventa (York University) (Author)

„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.