Предложен алгоритм полного сравнения многоразрядных операндов на основе трёх функцийсравнения и приведены результаты схемного моделирования 32-64 разрядных компараторов дляиспользования в микропроцессорных устройствах.

Рассматриваются механизмы безопасности договорных отношений (МБДО), включающие штрафы за их невыполнение. Правильным МБДО называют совокупность условий договора и процедуры стимулирования, обеспечивающей их выполнение. Найдены необходимые и достаточные условия правильности МБДО с постоянной функцией штрафов.

Лапласовская матрица -- это квадратная матрица, в которой все недиагональные элементы неположительны и все строчные суммы равны нулю. Каждой лапласовской матрице соответствует взвешенный орграф с положительными весами дуг. Исследуется проблема действительности спектра лапласовской матрицы для орграфов специального вида, состоящих из двух "встречных" гамильтоновых циклов, в одном из которых удалена одна или две дуги. Характеристические многочлены лапласовских матрицтаких орграфов выражаются через многочлены Z_n(x), которые могут быть получены из многочленов Чебышёва второго рода P_{2n}(y) подстановкой y^2=~x. Получены результаты, связанные со свойствами произведения многочленов Чебышёва второго рода. Приведен прямой метод вычисления спектра лапласовской матрицы цепи. Полученные результаты могут быть использованы для подсчета количества остовных деревьев в орграфах рассматриваемого вида. Одно из возможных практических приложений этих результатов -- исследование топологии и разработка новых протоколов Интернета.

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

Книга посвящена основаниям математики, проблемам вычислимости и доказуемости. Машины Тьюринга, рекурсивные функции, логика, теория моделей, неразрешимость и неаксиоматизируемость арифметики, десятая проблема Гильберта, – вот рассматриваемый круг вопросов. Изложение отличается краткостью и прозрачностью. Значительное внимание уделяется мотивации результатов и прикладным аспектам. Классическая проблематика в значительной мере переосмыслена, и представлена в удобном для восприятия виде. Теоремы Гёделя, например, доказываются в несколько строчек.