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

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

Abstracts

Programmirung

Logical maintenance tools for information technologies

Ilicheva O.A.

Rostov University (Rostov on Don)

Effectively executable logical tools are offered to represent the tasks and properties of different subject fields. Logical language includes negations, equality, modules. The semantics of this language allows making exact diagnosis of logical mistakes. Mathematical aspects are considerate to ground the approach.

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

Comments

[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)