Лекции по математической логике и теории алгоритмов: Часть 2. Языки и исчисления

Тема в разделе "Разное", создана пользователем Architect, 12 ноя 2015.

  1. Architect

    Architect Никон М.

    Верещагин Н.К.
    Лекции по математической логике и теории алгоритмов: Часть 2. Языки и исчисления

    [​IMG]

    Издательство: Русское слово
    Жанр: Научная, учебная литература для специалистов

    Качество: Хорошее
    Страниц: 240
    Формат: pdf, fb2, epub

    Книга написана по материалам лекций и семинаров, проводившихся авторами для студентов младших курсов мехмата МГУ. В ней рассказывается об основных понятиях математической логики (логика высказываний, языки первого порядка, выразимость, исчисление высказываний, разрешимые теории, теорема о полноте, начала теории моделей). Изложение рассчитано на учеников математических школ, студентов-математиков и всех интересующихся математической логикой. Книга содержит около 200 задач различной трудности.
     

    Вложения:

    Architect, 12 ноя 2015
    #1
  2. Kikaxa

    Kikaxa Валерий Т.

    Благодарю
     

    Kikaxa, 12 ноя 2015
    #2
Похожие книги

  1. Задачи по теории множеств, математической логике и теории алгоритмов

  2. Лекции о сложности алгоритмов

  3. Лекции по математике: Том 11. Уравнения математической физики

  4. Лекции по общей теории права и теории государства

  5. Лекции по математической лингвистике

Загрузка...

Поделиться этой страницей