Математическая логика и теория алгоритмов, учеб. пособие

Рейтинг:
В наличии
1 664 руб.
Уже в корзине
Отгрузка со склада в течение 7 рабочих дней с момента оплаты.
Поделиться
  • Описание
  • Характеристики

Учебное пособие создано в соответствии с Федеральным государственным образовательным стандартом по направлениям подготовки «Информатика и вычислительная техника», «Информационные системы», «Фундаментальные информатика и информационные технологии» (квалификация «бакалавр»). Изложены основные понятия математической логики, а также качественной и количественной теории алгоритмов. Рассмотрены элементы теории множеств, логика высказываний, исчисление высказываний, логика предикатов, элементарные языки, исчисление предикатов, элементарные теории, теория моделей, начальные понятия теории алгоритмов, начала алгоритмической теории множеств, машины Тьюринга и связанный с ними подход к формализации понятия алгоритма, нормальные алгоритмы, рекурсивные функции, наиболее известные результаты об алгоритмической неразрешимости, формальная арифметика, метод резолюций, интуиционистская логика, элементы теории сложности вычислений. Для студентов учреждений высшего профессионального образования. Может быть полезен широкому кругу читателей, интересующихся основами математической логики и теории вычислимости.


Автор Крупский В.Н.
Формат 60х90/16
ISBN 978-5-7695-9559-2
Обложка Твердый переплет
Количество страниц 416
Год выхода 2013

Персональные рекомендации

0
Вереина Л.И.
(2014)
В наличии
1 384 руб.
0
Афанасьев А.А.
(2010)
В наличии
1 165 руб.
0
Картошкин А.П.
(2018)
В наличии
3 400 руб.
Хит
0
Горбатова К.К.
(2018)
Нет в наличии
2 475 руб.
Подписаться