A.A. Lyapunov and A.P. Ershov in the Theory of Program Schemes and the Development of Its Logic Concepts.
Rimma I. PodlovchenkoPublished in: Ershov Memorial Conference (2001)
Keyphrases
- control theory
- set theory
- mathematical theory
- theoretical framework
- deductive reasoning
- background knowledge
- formal theory
- dynamical systems
- probability theory
- practical experience
- case study
- classical logic
- theoretical developments
- programming environments
- computer algebra
- cognitive development
- logical framework
- programming environment
- computer programs
- key concepts
- information processing
- knowledge based systems