Logic and its applications / Edmund Burke and Eric Foxley

By: Contributor(s): Material type: TextTextPublication details: New York : Prentice-Hall, c1996Description: xviii, 310 pages : illustrations ; 24 cmISBN:
  • 130302635
Subject(s): LOC classification:
  • QA 76.73 .B87 1996
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
Summary: Providing a thorough introduction to logic programming, this new book covers both propositional and predicate logic with applications in circuit design, formal specification, and logic programming. Covers a formal approach to propositional logic, application to logic design, predicate logic, logic programming, formal system specifications and solutions. For professionals in the fields of computer science and mathematics.
Item type: Books
Tags from this library: No tags from this library for this title. Log in to add tags.
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Item type Current library Home library Collection Call number Copy number Status Date due Barcode
Books Books National University - Manila LRC - Main General Circulation Computer Science GC QA 76.73 .B87 1996 (Browse shelf(Opens below)) c.1 Available NULIB000002868

Includes index.

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

Providing a thorough introduction to logic programming, this new book covers both propositional and predicate logic with applications in circuit design, formal specification, and logic programming. Covers a formal approach to propositional logic, application to logic design, predicate logic, logic programming, formal system specifications and solutions. For professionals in the fields of computer science and mathematics.

There are no comments on this title.

to post a comment.