Logic & Its Applications
Published on 16. May 1996
Book
Paperback/Softback
320 pages
978-0-13-030263-2 (ISBN)
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.
OHPs available form the Publisher.
More details
Language
English
Place of publication
Boston
United States
Publishing group
Pearson Education (US)
Target group
Professional and scholarly
Dimensions
Height: 235 mm
Width: 175 mm
Thickness: 15 mm
Weight
558 gr
ISBN-13
978-0-13-030263-2 (9780130302632)
Copyright in bibliographic data and cover images is held by Nielsen Book Services Limited or by the publishers or by their respective licensors: all rights reserved.
Schweitzer Classification
Content
1. Propositional Logic
2. Formal Approach to Propositional Logic
3. Applications to Logic Design
4. Predicate Logic
5. Logic Programming
6. Formal System Specification
2. Formal Approach to Propositional Logic
3. Applications to Logic Design
4. Predicate Logic
5. Logic Programming
6. Formal System Specification