intTypePromotion=1

Logic For Computer Science Foundations of Automatic Theorem Proving

Chia sẻ: My Mi Mi | Ngày: | Loại File: PDF | Số trang:534

0
59
lượt xem
11
download

Logic For Computer Science Foundations of Automatic Theorem Proving

Mô tả tài liệu
  Download Vui lòng tải xuống để xem tài liệu đầy đủ

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 Ge...

Chủ đề:
Lưu

Nội dung Text: Logic For Computer Science Foundations of Automatic Theorem Proving

CÓ THỂ BẠN MUỐN DOWNLOAD

 

Đồng bộ tài khoản
2=>2