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

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

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

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