АННОТАЦИЯ Рассмотрены методы кроссплатформенной разработки мобильных приложений, проведен их сравнительных анализ, выявлены их недостатки и достоинства.

Читать статью полностью

АННОТАЦИЯ Показывается, что длина вычисления предиката выполнимости булевских функций арифметическими программами в полном базисе не менее экспоненты от числа переменных этих функций.

Читать статью полностью

АННОТАЦИЯ Рассматривается формальная арифметика, содержащая константу 0, числовые переменные, равенство, функциональные символы + (сложения),  (умножения) и  (прибавления 1) и логические связки. Показано, что при доказательстве фундаментальных формул (т.е. формул без переменных) можно обойтись без аксиомы индукции.

Читать статью полностью

АННОТАЦИЯ Определение модели предметной области с использованием инструментария функциональных сетей. Использование монотонных функций при моделировании ПО. Решение задачи нахождения характеристик сущностей в МДПО.

Читать статью полностью

АННОТАЦИЯ Группы диффеоморфизмов множеств, зависящих от параметра, конструируют движение с точки зрения Лагранжа. Диффеоморфизмы из базы в слой, конструирующие движение с точки зрения Эйлера, образуют коммутативное кольцо операторов дифференцирования вдоль поля, обладающих структурой алгебры Ли

Читать статью полностью