Topics
predicate logicBook
Starting from some given mathematical concepts and mathematical knowledge on these concepts within a uniform logical language (predicate logic),- invent definitions (axioms) of new concepts- invent and prove / disprove propositions on these concepts- invent problems- invent and verify algorithms for problems- store and re-use the definitions, propositions, problems, algorithms in structured knowledge librarie
Available for individual study only.Although much of mathematics is algorithmic in nature, the skill...
To examine, analyze, and manipulate a problem to the point of designing an algorithm for solving it ...
We describe a formalization of the meta-mathematics of programming in a higher-order logical calculu...
Recently, as part of a general formal (i.e. logic based) methodology for mathematical knowledge man...
AbstractRecently, we proposed a systematic method for top-down synthesis and verification of lemmata...
In this paper, we study algorithm invention and verification as a specific variant of systematic the...
. The goal of foundational thinking in computer science is to understand the methods and practices o...
The article investigates the genesis of the algorithm concept. It is mentioned that the concept of a...
Abstract: This article presents several important topics that show the importance of algorithms and...
The article provides the analysis of algorithmization as one of the forms of formalization used as a...
Algorithmics is the study and practice of taking a high-level description of a program’s purpose an...
• al·go·rithm1 1. any systematic method of solving a certain kind of problem 2. a predetermined set ...
How do people learn abstract concepts unsupervised? Psychologists broadly recognize two types of con...
In Inductive Logic Programming, predicate invention is the process of introducing a hitherto unknown...
AbstractStarting from the system PRIZ, the method of automatic program synthesis is used in AI syste...
Available for individual study only.Although much of mathematics is algorithmic in nature, the skill...
To examine, analyze, and manipulate a problem to the point of designing an algorithm for solving it ...
We describe a formalization of the meta-mathematics of programming in a higher-order logical calculu...
Recently, as part of a general formal (i.e. logic based) methodology for mathematical knowledge man...
AbstractRecently, we proposed a systematic method for top-down synthesis and verification of lemmata...
In this paper, we study algorithm invention and verification as a specific variant of systematic the...
. The goal of foundational thinking in computer science is to understand the methods and practices o...
The article investigates the genesis of the algorithm concept. It is mentioned that the concept of a...
Abstract: This article presents several important topics that show the importance of algorithms and...
The article provides the analysis of algorithmization as one of the forms of formalization used as a...
Algorithmics is the study and practice of taking a high-level description of a program’s purpose an...
• al·go·rithm1 1. any systematic method of solving a certain kind of problem 2. a predetermined set ...
How do people learn abstract concepts unsupervised? Psychologists broadly recognize two types of con...
In Inductive Logic Programming, predicate invention is the process of introducing a hitherto unknown...
AbstractStarting from the system PRIZ, the method of automatic program synthesis is used in AI syste...
Available for individual study only.Although much of mathematics is algorithmic in nature, the skill...
To examine, analyze, and manipulate a problem to the point of designing an algorithm for solving it ...
We describe a formalization of the meta-mathematics of programming in a higher-order logical calculu...
Add to ORKG