NU Learning Resource Center OPAC catalog › Details for: Logic and its applications /

Normal view MARC view ISBD view

Logic and its applications / Edmund Burke and Eric Foxley

By: Burke, Edmund [author]Contributor(s): Foxley, Eric [co-author]Material type: Text

TextSeries: Prentice-Hall international series in computer sciencePublication details: New York : Prentice Hall, c1996Description: xviii, 310 pages : illustrations ; 24 cmISBN: 9780130302632Subject(s): LOGIC PROGRAMMING | LOGIC, SYMBOLIC AND MATHEMATICALLOC 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.

Average rating: 0.0 (0 votes)

Holdings ( 1 )
Title notes ( 3 )
Comments ( 0 )

Item type	Current library	Home library	Collection	Shelving location	Call number	Copy number	Status	Date due	Barcode
Books	LRC - Main	National University - Manila	Computer Science	General Circulation	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.