Bøger af Tamas Gergely

This work presents a purely classical first-order logical approach to the field of study in theoretical computer science sometimes referred to as the theory of programs, or programming theory.

This book describes the theory, methodology and algorithmization of a new approach to problem solving and its realization in intelligent systems. It investigates cognitive reasoning at three levels of abstraction: conceptual, formal, and realizational.