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

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

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

1982 год. Холодная война. В Советском Союзе новый руководитель - на смену Леониду Брежневу приходит Юрий Андропов, бывший глава КГБ. Западные журналисты могут лишь гадать, какой теперь будет внешняя политика Москвы. Одни надеются на диалог и примирение, другие мрачно рассуждают о ядерных ракетах.Саманта Смит - десятилетняя школьница из американской глубинки - очень боится ядерной войны. Она пишет Андропову и спрашивает, собирается ли он нападать на Америку. В апреле 1983 года Саманта получает...

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