ISBN: 978-5-7695-9559-2
Внешнее покрытие издания: в пер.
Тираж издания: 1000
Фамилия автора в заголовке: Крупский
Инициалы автора (личного имени (имен)): В.Н.
Основное заглавие: Математическая логика и теория алгоритмов
Место издания: Москва
Издатель: ОИЦ "Академия"
Дата издания: 2013
Объем издания (количество страниц): 416
Высота, см.: 90
Индекс УДК: 510.6(075.8)
Статус записи (Тип информации): В наличии
Ширина, см: 60
Толщина, см: 21
Вес в граммах: 466
Индекс ББК: 22.12я73
Артикул: 2494836
Аннотация:

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

Читайте также: