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