Bibliographic Information

Logic and its applications

Edmund Burke and Eric Foxley

(Prentice-Hall International series in computer science)

Prentice Hall, 1996

Available at  / 13 libraries

Search this Book/Journal

Note

Includes bibliographical references and index

Description and Table of Contents

Description

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.

Table of Contents

1. Propositional Logic 2. Formal Approach to Propositional Logic 3. Applications to Logic Design 4. Predicate Logic 5. Logic Programming 6. Formal System Specification

by "Nielsen BookData"

Related Books: 1-1 of 1

Details

Page Top