Mã tài liệu: 190785
Số trang: 597
Định dạng: rar
Dung lượng file: 3,808 Kb
Chuyên mục: Kỹ thuật - Công nghệ
The book is a completely rewritten and much improved version of The Language of First-order Logic. Introductory material is presented in a more systematic and accessible fashion. Advanced chapters include proofs of soundness and completeness for propositional and predicate logic, as well as an accessible sketch of Godel's first incompleteness theorem. The book is appropriate for a wide range of courses, from first logic courses for undergraduates (philosophy, mathematics, and computer science) to a first graduate logic course.
.
Những tài liệu gần giống với tài liệu bạn đang xem
Những tài liệu bạn đã xem
Language Proof And Logic
This textbook/software package covers first-order language in a method appropriate for first and second courses in logic. The unique on-line grading services instantly grades solutions to hundred of computer exercises. It is specially devised to be
zip Đăng bởi
c0411g_ndthu
