Logic and its applications /
Burke, Edmund
Logic and its applications / Edmund Burke and Eric Foxley - New York : Prentice-Hall, c1996 - xviii, 310 pages : illustrations ; 24 cm.
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.
130302635
LOGIC PROGRAMMING
QA 76.73 .B87 1996
Logic and its applications / Edmund Burke and Eric Foxley - New York : Prentice-Hall, c1996 - xviii, 310 pages : illustrations ; 24 cm.
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.
130302635
LOGIC PROGRAMMING
QA 76.73 .B87 1996