Algorithms and algorithmic problems (Q1080655)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Algorithms and algorithmic problems |
scientific article; zbMATH DE number 3967910
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Algorithms and algorithmic problems |
scientific article; zbMATH DE number 3967910 |
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
