Algorithms and algorithmic problems (Q1080655)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Algorithms and algorithmic problems |
scientific article |
Statements
Algorithms and algorithmic problems (English)
0 references
1985
0 references
This article is devoted to constructing the axiomatics of algorithm theory and programming theory. A number of basic axioms for these theories are distinct and various consequences from them are obtained. The questions of realizability, determinability, calculability, and solvability of functions for sets and the solvability of algorithmic problems are investigated.
0 references
axiomatics
0 references
algorithm theory
0 references
programming theory
0 references
