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

TextPublication details: New York : Prentice-Hall, c1996Description: xviii, 310 pages : illustrations ; 24 cmISBN:

130302635

Subject(s):

LOGIC PROGRAMMING

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.

Average rating: 0.0 (0 votes)

Holdings
Item type	Current library	Home library	Collection	Call number	Copy number	Status	Date due	Barcode
Books	National University - Manila	LRC - Main General Circulation	Computer Science	GC QA 76.73 .B87 1996 (Browse shelf(Opens below))	c.1	Available		NULIB000002868

Browsing LRC - Main shelves, Shelving location: General Circulation, Collection: Computer Science Close shelf browser (Hides shelf browser)

Previous	No cover image available			No cover image available	No cover image available	No cover image available	No cover image available	Next
Previous	GC QA 76.66 .B43 1997 System software : an introduction to systems programming /	GC QA 76.73 .A68 1997 From logic programming to Prolog /	GC QA 76.73 .B73 2009 Programming in Visual Basic 2008 /	GC QA 76.73 .B87 1996 Logic and its applications /	GC QA 76.73 .C78 [c?] c.1 CS 254 Logic design.	GC QA 76.73 .C78 [c?] c.2 CS 254 Logic design.	GC QA 76.73 .C78 [c?] c.3 CS 254 Logic design.	Next

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.