The sheer complexity of computer systems has meant that automated
reasoning, i.e. the ability of computers to perform logical inference,
has become a vital component of program construction and of
programming language design. This book meets the demand for a
self-contained and broad-based account of the concepts, the machinery
and the use of automated reasoning. The mathematical logic foundations
are described in conjunction with practical application, all with the
minimum of prerequisites. The approach is constructive, concrete and
algorithmic: a key feature is that methods are described with
reference to actual implementations (for which code is supplied) that
readers can use, modify and experiment with. This book is ideally
suited for those seeking a one-stop source for the general area of
automated reasoning. It can be used as a reference, or as a place to
learn the fundamentals, either in conjunction with advanced courses or
for self study.
Les mer
Produktdetaljer
ISBN
9781139637886
Publisert
2014
Utgave
1. utgave
Utgiver
Vendor
Cambridge University Press
Språk
Product language
Engelsk
Format
Product format
Digital bok
Forfatter