£140.00

North Holland - Principles of Logic and Logic Programming

Name: North Holland - Principles of Logic and Logic Programming
Brand: North Holland
Price: 140.0 GBP
Availability: InStock

Information Systems

Price History & Forecast

Last 87 days • 87 data points (No recent data available)

Historical

Generating forecast...

Price Distribution

Price distribution over 87 days • 1 price levels

Days at Price

Price Analysis

Most common price: £140 (87 days, 100.0%)

Price range: £140 - £140

Price levels: 1 different prices over 87 days

Description

Explore the foundational elements of logic and its direct transition into the field of logic programming with this specialized text from North Holland. This book provides an analysis of how logic serves as a basis for computational processes. As computers evolved from simple arithmetical tools in the 1950s to systems capable of symbolic computation, the need for logical frameworks became apparent. This work tracks that history, from the earliest programs designed to answer elementary questions and prove theorems to the significant advancements made in 1965 by Robinson. Whether you are studying computer science, information systems, or the history of symbolic computation, this book offers a clear look at the methods that paved the way for modern logic-based programming. It is a valuable resource for understanding the connection between mathematical logic and the development of computer science.

Key Features

Analyzes the relationship and transition from basic logic to the specialized field of logic programming.

Covers the historical shift from arithmetical computation to symbolic computation in early computer development.

Details the early evolution of programs designed to answer elementary questions and prove theorems.

Discusses the development of general methods based on logic, including the work of Robinson in 1965.

Provides a technical look at how logic elements are unfolded within a computational context.

Product Specifications

Brand: North Holland
Format: paperback
ASIN: 0444542019
Category: Books > Subjects > Computing & Internet > Computer Science > Information Systems
Domain: Amazon UK
Release Date: 01 June 2011
Listed Since: 02 June 2011

Barcode

No barcode data available

North Holland - Principles of Logic and Logic Programming

Price History & Forecast

Price Distribution

Price Analysis

Description

Key Features

Product Specifications

Barcode

Similar Products You Might Like

Logic for Applications (Texts in Computer Science)

COMPUTER PROGRAMMING - AN ALGORITHMIC APPROACH: Algorithmic Programming

Computational Logic: Logic Programming and Beyond: Essays in Honour of Robert A. Kowalski, Part II: 2408 (Lecture Notes in Computer Science, 2408)

Declarative Logic Programming: Theory, Systems, and Applications (ACM Books)

Logic and Complexity (Discrete Mathematics and Theoretical Computer Science)

Mathematical Logic

The History of Logic: A HISTORY OF ITS CENTRAL CONCEPTS Vol 9 (Handbook of the History of Logic)

Introduction to Languges, Machines and Logic: Computable Languages, Abstract Machines and Formal Logic

Introduction to Mathematical Logic: Extended Edition

Logic for Mathematicians

Logic Programming: A Classified Bibliography

Declarative Logic Programming: Theory, Systems, and Applications (ACM Books)

Many-Dimensional Modal Logics: Theory and Applications (Volume 148) (Studies in Logic and the Foundations of Mathematics, Volume 148)

Springer Parallel and Constraint Logic Programming Book 876

Studies and Exercises in Formal Logic (Languages and Linguistics)

A Programming Approach to Computability (Monographs in Computer Science)

Implementing Functional Logic Programs: by Translation into Purely Functional Programs

Time & Logic: A Computational Approach (Routledge Revivals)

Mathematical Logic: 291 (Graduate Texts in Mathematics, 291)

Introduction to Metamathematics (Bibliotheca Mathematica)

A Logical Approach to Discrete Math (Monographs in Computer Science)

Essentials Of Logic Programming (Oxford Science Publications): 1 (Graduate Texts in Computer Science)

Prolog Versus You: An Introduction to Logic Programming

Handbook of Logic and Language