|
Books > Computing & IT > Computer hardware & operating systems > Computer architecture & logic design
|
Buy Now
Classical and Fuzzy Concepts in Mathematical Logic and Applications, Professional Version (Hardcover)
Loot Price: R3,507
Discovery Miles 35 070
You Save: R363
(9%)
|
|
|
Classical and Fuzzy Concepts in Mathematical Logic and Applications, Professional Version (Hardcover)
Expected to ship within 12 - 17 working days
|
Classical and Fuzzy Concepts in Mathematical Logic and Applications
provides a broad, thorough coverage of the fundamentals of
two-valued logic, multivalued logic, and fuzzy logic. Exploring the
parallels between classical and fuzzy mathematical logic, the book
examines the use of logic in computer science, addresses questions
in automatic deduction, and describes efficient computer
implementation of proof techniques. Specific issues discussed
include: oPropositional and predicate logic oLogic networks oLogic
programming oProof of correctness oSemantics oSyntax oCompletenesss
oNon-contradiction oTheorems of Herbrand and Kalman The authors
consider that the teaching of logic for computer science is biased
by the absence of motivations, comments, relevant and convincing
examples, graphic aids, and the use of color to distinguish
language and metalanguage. Classical and Fuzzy Concepts in
Mathematical Logic and Applications discusses how the presence of
these facts trigger a stirring, decisive insight into the
understanding process. This view shapes this work, reflecting the
authors' subjective balance between the scientific and pedagogic
components of the textbook. Usually, problems in logic lack
relevance, creating a gap between classroom learning and
applications to real-life problems. The book includes a variety of
application-oriented problems at the end of almost every section,
including programming problems in PROLOG III. With the possibility
of carrying out proofs with PROLOG III and other software packages,
readers will gain a first-hand experience and thus a deeper
understanding of the idea of formal proof.
General
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!
|
You might also like..
|
Welcome to Loot.co.za!
Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search
