Conference devoted to the 90th anniversary of Alexei A. Lyapunov

Akademgorodok, Novosibirsk, Russia, October 8-11, 2001,
(state registration number 0320300064)

Abstracts


Programmirung

On analysis of the semantic of the informatics basic concepts

Baehrs A.A.

A.P.Ershov Institute of Information Systems of SB RAS (Novosibirsk)

The analysis of a system of basic notions of computer science is considered. Semantics of the basic notions and their connections is analyzed treating program execution as ontology of concrete activity. Strong significance of an information closure of basic notions and constructions is underlined, as valuable both for system analysis and construction. The indispensable conditions are formulated, which violation reduces in loss of serviceability of computer systems ("three sacred cows of computer science"). The corollaries, splinterings and improvements are given. The importance of notions relativity is discussed. The boundary of notion "programming" is defined more precisely.

Full Text in Russian: HTML
Note. Abstracts are published in author's edition



Comments
[ICT SBRAS]
[Home]
[Conference]

©2001, Siberian Branch of Russian Academy of Science, Novosibirsk
©2001, United Institute of Computer Science SB RAS, Novosibirsk
©2001, Institute of Computational Techologies SB RAS, Novosibirsk
©2001, A.P. Ershov Institute of Informatics Systems SB RAS, Novosibirsk
©2001, Institute of Mathematics SB RAS, Novosibirsk
©2001, Institute of Cytology and Genetics SB RAS, Novosibirsk
©2001, Institute of Computational Mathematics and Mathematical Geophysics SB RAS, Novosibirsk
©2001, Novosibirsk State University
Last modified 06-Jul-2012 (11:45:21)