書誌事項

Logic and its applications

Edmund Burke and Eric Foxley

(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」 より

関連文献: 1件中  1-1を表示

詳細情報

ページトップへ