Наш адрес 196105, Санкт-Петербург
пр. Юрия Гагарина,
д.1 лит. А

Наши телефоны

(812) 336-25-09

(812) 412-05-97

Корзина

Ваша корзина пуста

Курс математической логики и теории вычислимости

В корзину
950 Новинка Есть на складе
Авторы:

Герасимов А.С. найти все книги этого автора

  • 978-5-8114-1666-0ISBN:
  • 2014Год:
  • 4-е изд., перераб. и доп.Издание:
  • 1000 экз.Тираж:
  • учебное пособиеВид:
  • твердыйПереплет:
  • 12,8 * 20 смФормат:
  • 416 с.Объем:

Настоящее учебное пособие предназначено для изучения математической логики и теории алгоритмов. В нём описаны язык логики высказываний и язык логики предикатов первого порядка, семантика этих языков. На основе общего понятия исчисления изложены исчисления гильбертовского типа, секвенциальные исчисления и метод резолюций как способы формального математического доказательства. Рассмотрены основные формальные аксиоматические теории: элементарная арифметика и теория множеств Цермело–Френкеля. Теория алгоритмов представлена теорией вычислимости, в рамках которой дано несколько точных определений понятия алгоритма (машины Тьюринга, нормальные алгоритмы Маркова, лямбда-исчисление, частично рекурсивные функции) и доказана неразрешимость ряда проблем, среди которых проблема остановки машин Тьюринга, проблема равенства для полугрупп, проблемы общезначимости и выводимости для исчисления предикатов. Рассмотрены теоремы Гёделя о неполноте. Изложено исчисление Хоара для формального доказательства корректности программ некоторого императивного языка программирования. В книге имеется более 200 упражнений. Учебное пособие адресовано в первую очередь студентам, обучающимся по направлениям подготовки укрупнённых групп «Компьютерные и информационные науки», «Информатика и вычислительная техника», но будет полезно и студентам группы направлений «Математика и механика», а также всем желающим начать самостоятельное изучение математической логики.

Оставить отзыв
  • Минимум 6 символов

    ФИО: *
  • Минимум 6 символов

    E-Mail: *
  • Отзыв: *

Защита от спама:

Введите код c картинки: *

* Обязательные поля для заполнения!