๐”– Scriptorium
โœฆ   LIBER   โœฆ

๐Ÿ“

Logic for problem solving

โœ Scribed by Robert A. Kowalski


Publisher
Elsevier North Holland
Year
1979
Tongue
English
Leaves
298
Series
Artificial intelligence series, The Computer science library
Category
Library

โฌ‡  Acquire This Volume

No coin nor oath required. For personal study only.

โœฆ Synopsis


Investigates the application of logic to problem solving and computer programming. Requires no previous knowledge in this field, and therefore can be used as an introduction to logic, the theory of problem-solving and computer programming


๐Ÿ“œ SIMILAR VOLUMES


Contextual Problem Solving Adaptive Logi
โœ Batens D. ๐Ÿ“‚ Library ๐ŸŒ English

Creativity is commonly seen as beyond the scope of rationality. In the present paper, it is argued that available insights in epistemology and available results in logic enable us to incorporate creativity within an independently sensible view on human rationality.