Содержание журнала, редсовет, редколлегия, информация об обложке и о диске.

Table of contents, editorial board, editors, information on cover, information on CD.

В [3] даны определения числа шагов и длины записи промежуточных вычислений паскалевидных функций. С их помощью было получено представление класса всех функций, вычислимых на машинах Тьюринга за число шагов, ограниченное сверху полиномом от длины записи исходных данных (класса FP), с помощью дважды полиномиальных (то есть полиномиальных по числу шагов и по длине записи промежуточных вычислений) паскалевидных функций. Для удобства доказательства принадлежности паскалевидной функции классу FP здесь введено понятие паскалевидных функций над списком S паскалевидный функций. Для этих функций даны определения числа шагов и длины записи промежуточных вычислений, наконец, определены дважды полиномиальные паскалевидные функции над списком S. (для каждой функции из S число шагов и длина записи промежуточных вычислений равны единице). Функции из S соответствуют базовым подпрограммам. Доказывается теорема о совпадении класса дважды полиномиальных паскалевидных функций над S и класса FP.

[3] gives definitions of time and space comlexity of pascal-like functions. Using this definitions it was obtained the representation of the class of all functions computable by Turing machine in time upper bounded by the polynomial of the length of the initial data (FP class) by means of double polynomial (i.e. polynomial in time and space) pascal-like functions. For the convinience of proving that a pascal-like function is in FP, we introduce the notion of the pascal-like functions over a list S of pascal-like functions. For such functions we give definitions of time and space complexities, finally, we define double polynomial pascal-like functions over a list S. (for every function in S, time and space complexity are equal to one). Functions from S correspond to basic subroutines. The theorem about the equality of the class of double polynomial pascal-like functions over S and the FP class is proved.

В статье излагается формализм для описания двумерных графо-подобных диаграмм. Основанный на формализации диаграмм, предложенной Е.А. Жоголевым, он расширяет ее, вводя конкретные типы двумерных конструкций и допустимые отношения между ними. При этом рассматриваются элементы таких визуальных языков, как сети Петри, ERD, UML, IDEFx и SDL.

The paper proposes formalism to specify plane graph like diagrams. Formalism is based on formalization described by Zhogolev E. A. New kind of diagrammatic constructions introduced with possible relationships between them. Elements of such visual languages as PetriРІР‚в„ўs Nets, ERD, UML, IDEF and SDL are considered throughout the paper.

Многовариантная задача – это задача, имеющая несколько вариантов условия. Условия задачи могут создаваться автоматически с помощью программ, называемых генераторами. В статье обсуждаются особенности программирования генераторов и разработанный для создания генераторов язык программирования, основанный на JavaScript. В стандартную библиотеку языка входят функции генерации случайных чисел, формирования текстов, а главное, связи с системой компьютерной алгебры Maxima.

Multivarian problem is a problem that has several variants of statement. The statements may be created automatically by means of programs called generators. The paper discusses the peculiarities of generators programming and a programming language based on JavaScript, developed for generators creation. The standard library of the language contains functions dealing with random numbers, string manipulation, and the most importantly, connecting with computer algebra system Maxima.

В статье в несколько упрощённой форме изложен ряд проблем химической информатики, решение которых рано или поздно позволит создать систему поиска химических соединений и научных статей, которая бы отвечала нуждам современной фармакологии. По каждой проблеме перечислены основные достижения отрасли на настоящий момент и указаны недостатки имеющихся решений.

The article briefly describes a number of open problems in cheminformatics, solving which will allow sooner or later to work out a proper chemical compounds and articles search engine, suitable for the needs of present-day pharmacology. On each problem, the most well-known results are listed, and the weaknesses of the available services are mentioned.

Обсуждается соотношение между аналитическими и вычислительными методами исследования математических моделей реальных систем на примере расчета магнитных свойств металлов.

The relationship between analytical and computational methods of investigation of mathematical models of real systems is discussed for the calculation of magnetic properties of metals.

В статье описаны возможности моделирования оптических явлений при помощи программного обеспечения VirtualLab v. 4, объединяющего методы расчета оптических систем, основанных на представлениях геометрической оптики и теории электромагнитного поля. Приведено описание и основные принципы работы с программным обеспечением. В статье представлены результаты моделирования дифракции монохроматического и полихроматического источников света от фрактальных зонных пластинок, в том числе путем модернизации программируемых модулей пакета VirtualLab.

The paper describes the opportunities of optical modeling with the package VirtualLab v.4, which unified modeling techniques ranging from geometrical optics to electromagnetic approaches. The description of the package and the main principles are given. The results of the modeling of diffraction of monochromatic and polychromatic light sources from fractal zone plates are presented.

Статья посвящена разработке программной поддержки важного для развития математического мышления типа математических задач, условием которых являются свойства неизвестного объекта, а решение состоит в построении объекта с заданными свойствами. Условия задач задаются набором предикатов, характеризующих правильный ответ. В предикатах могут использоваться стандартные математические операции и числовые функции, логические связки, кванторы всеобщности и существования. Разработанная технология демонстрируется на задачах, связанных с построением графиков функций. Для решения поставленной методической задачи рассматривается упрощенный вариант ввода графика: непрерывные его части вводятся «по точкам» и интерпретируются как кусочно-линейные функции. Для ввода асимптотического поведения используется ввод точек графика в специально выделенные области окна с системой координат, что является формализацией условностей, применяемых при рисовании графиков «от руки».

The article is devoted to development of software to support an important type of mathematical problems: to construct mathematical object when his properties are given. Problems descriptions are formalized by predicates including standard mathematical operations and numerical functions, logic operations and quantifiers. The developed technology is illustrated by the functional problems. To plot function by В«handВ» the authors consider its linear simplification. To mark asymptotic behavior some special tools are proposed.