Logic and its applications
著者
書誌事項
Logic and its applications
（Prentice-Hall International series in computer science）
Prentice Hall, 1996
大学図書館所蔵 件 / 全13件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
Includes bibliographical references and index
内容説明・目次
内容説明
Providing a thorough introduction to logic programming, this new 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 gives special emphasis to applications in computer science.
OHPs available form the Publisher.
目次
1. Propositional Logic
2. Formal Approach to Propositional Logic
3. Applications to Logic Design
4. Predicate Logic
5. Logic Programming
6. Formal System Specification
「Nielsen BookData」 より
