Essential logic for computer science

Subject: Applications of logic in computer science Contents: predicate logic, proofs, equation-based software and digital circuits, automated testing and theorem provers, large-scale computation Intent: undergrad CS majors will learn how to apply predicate logic to testing and verification of softwa...

Mô tả đầy đủ

Chi tiết về thư mục

Những tác giả chính:	Page, Rex L. (Tác giả), Gamboa, Ruben (Tác giả)
Định dạng:	Sách
Ngôn ngữ:	English
Được phát hành:	Cambridge, Massachusetts The MIT Press [2018]
Những chủ đề:	Computer logic.