Logic for computer science: foundations of automatic...

Main
Mathematics
Logic for computer science: foundations...

Logic for computer science: foundations of automatic theorem proving

Name: Logic for computer science: foundations of automatic theorem proving
ISBN: 9780060422257

Jean H. Gallier

0 / 0

0 comments

이 책이 얼마나 마음에 드셨습니까?

파일의 품질이 어떻습니까?

책의 품질을 평가하시려면 책을 다운로드하시기 바랍니다

다운로드된 파일들의 품질이 어떻습니까?

"Logic for Computer Science" provides an introduction to mathematical logic, with emphasis on proof theory and procedures for constructing formal proofs of formulae algorithmically. It is designed primarily for students, computer scientists, and, more generally, for mathematically inclined readers interested in the formalization of proofs and the foundations of automatic theorem proving. Since the main emphasis of the text is on the study of proof systems and algorithmic methods for constructing proofs, it contains features rarely found in other texts on logic. Four of these are: the use of Gentzen systems; a justification of the resolution method via a translation from a Gentzen system; a presentation of SLD-resolution and a presentation of the foundations of PROLOG; fast decisions procedures based on congruence closures.

카테고리:

Mathematics

년:

1986

출판사:

Longman Higher Education

언어:

english

페이지:

534

ISBN 10:

0060422254