collaborators

6 papers

cs.LO2001

Logic, Individuals and Concepts

Viacheslav Wolfengagen

This extended abstract gives a brief outline of the connections between the descriptions and variable concepts. Thus, the notion of a concept is extended to include both the syntax…

cs.LO2001

Event Driven Objects

Viacheslav Wolfengagen

A formal consideration in this paper is given for the essential notations to characterize the object that is distinguished in a problem domain. The distinct object is represented b…

cs.LO2001

Objects and their computational framework

Viacheslav Wolfengagen

Most of the object notions are embedded into a logical domain, especially when dealing with a database theory. Thus, their properties within a computational domain are not yet stud…

cs.LO2001

Object-oriented solutions

Viacheslav Wolfengagen

In this paper are briefly outlined the motivations, mathematical ideas in use, pre-formalization and assumptions, object-as-functor construction, `soft' types and concept construct…

cs.LO2001

Building the access pointers to a computation environment

Viacheslav Wolfengagen

A common object technique equipped with the categorical and computational styles is briefly outlined. An object is evaluated by embedding in a host computational environment which…

cs.DM2001

L.T.Kuzin: Research Program

Viacheslav Wolfengagen

Lev T. Kuzin (1928--1997) is one of the founders of modern cybernetics and information science in Russia. He was awarded and honored the USSR State Prize for inspiring vision into…