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

Кинематические уравнения, связывающие угловые скорости вращательного движения твердого тела относительно его центра масс с производными по времени углов Эйлера и углов Крылова, имеют теоретико-групповую природу. Систематически применяя свойства группы вращения $SO(3)$, её алгебры Ли $so(3)$ и её присоединенного представления, используя также известные тождества в произвольных алгебрах Ли, удается чисто аналитически получить все кинематические соотношения, связывающие с углами Эйлера и Крылова угловые скорости вращения тела относительно неподвижной и подвижной систем координат (или в "пространстве" и в "теле").

Приводится решение задачи об оптимизации закона уклонения морского подводного объекта (МПО) от обнаружения по сигналам первичного гидроакустического поля . Задача об оптимизации закона уклонения МПО решается для случая малых отношений сигнал/помеха на входе средств обнаружения. Предположение о малости отношения позволяет упростить численный алгоритм оптимизации при уклонении от группы наблюдателей.

The problem of rejection of nonrandom bounded exogenous disturbances (also known as peak-to-peak gain minimization) has the long history. It is the subject of l1-optimization theory. However, l_1-optimization technique often leads to high-dimensional controllers and is hard to implement in the continuous-time case. A natural way to overcome these difficulties is to appeal to the invariant sets ideology, in order to reduce complexity and attain the control objectives. Among various possible "shapes" of invariant sets utilized in the research areas above, ellipsoids should be distinguished because of their simple structure and direct connection to the quadratic Lyapunov functions approach. Moreover, the ellipsoidal description allows to exploit the powerful machinery of linear matrix inequalities and semidefinite programming as a technical solution tool. In the talk we address the above mentioned problem by use of the linear dynamical output feedback full-order controller. Up to the authors' knowledge, the design of general dynamical controller for rejection of L-infinity-bounded disturbances remained an open problem. The efficiency of the approach is illustrated via the real-life control problem for the gyroplatform. The approach is also applicable to discrete-time systems and to robust problem formulations.

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