Logic has acquired a reputation for difficulty, perhaps because many of the approaches adopted have been more suitable for mathematicians than computer scientists. This book shows that the subject is not inherently difficult and that the connections between logic and declarative language are straightforward. Many exercises have been included in the hope that these will lead to a much greater confidence in manual proofs, therefore leading to a greater confidence in automated proofs.
€48.45
Mua cuốn sách điện tử này và nhận thêm 1 cuốn MIỄN PHÍ!
định dạng EPUB ● Trang 384 ● ISBN 9781135735852 ● Nhà xuất bản Taylor and Francis ● Được phát hành 2004 ● Có thể tải xuống 6 lần ● Tiền tệ EUR ● TÔI 2858523 ● Sao chép bảo vệ Adobe DRM
Yêu cầu trình đọc ebook có khả năng DRM
Thêm sách điện tử từ cùng một tác giả / Biên tập viên
48.904 Ebooks trong thể loại này
