Виктор Леонидович Матросов

Предлагаемая монография развивает операторный метод для задач анализа, математической физики неоднородных сред и теории восстановления зависимостей. Операторный метод открывает возможность решени…

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

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