登入選單

返回Google圖書搜尋

Logic and Its Applications

Edmund BurkeEric Foxley

出版	Prentice Hall, 1996
主題	Computers / GeneralComputers / Computer ArchitectureComputers / Logic DesignComputers / Languages / GeneralMathematics / Logic
ISBN	01303026359780130302632
URL	http://books.google.com.hk/books?id=6JBQAAAAMAAJ&hl=&source=gbs_api

註釋

Providing an introduction to logic programming, this text covers both propositional and predicate logic with applications in circuit design, formal specification and logic programming. Introducing the reader to mathematical logic, the book emphasizes applications in computer science. Class tested, it contains practical examples and exercises.