Лучшие товары в нашем каталоге!
Главная
Каталог
на главную » Каталог » Книги » Учебная литература » Студентам и аспирантам » Естественные науки. Математика » Математика » Основания математики. Математическая логика. Теория чисел

вернуться

Математическая логика и теория алгоритмов. В. Н. Крупский, В. Е. Плиско
Математическая логика и теория алгоритмов. В. Н. Крупский, В. Е. Плиско

Математическая логика и теория алгоритмов. В. Н. Крупский, В. Е. Плиско

1639 руб

Учебное пособие создано в соответствии с Федеральным государственным образовательным стандартом по направлениям подготовки "Информатика и вычислительная техника", "Информационные системы", "Фундаментальная информатика и информационные технологии" (квалификация "бакалавр"). Изложены основные понятия математической логики, а также качественной и количественной теории алгоритмов. Рассмотрены элементы теории множеств, логика высказываний, исчисление высказываний, логика предикатов, элементарные языки, исчисление предикатов, элементарные теории, теория моделей, начальные понятия теории алгоритмов, начала алгоритмической теории множеств, машины Тьюринга и связанный с ними подход к формализации понятия алгоритма, нормальные алгоритмы, рекурсивные функции, наиболее известные результаты об алгоритмической неразрешимости, формальная арифметика, метод резолюций, интуиционистская логика, элементы теории сложности вычислений. Для студентов учреждений высшего профессионального образования. Может быть полезно широкому кругу читателей, интересующихся основами математической логики и теории вычислимости.
Вес480
Ширина упаковки145
Высота упаковки10
Глубина упаковки215
АвторВладимир Крупский,Валерий Плиско
Тип изданияОтдельное издание
Тип обложкиТвердый переплет
Тираж1000
ПроизведениеМатематическая логика и теория алгоритмов
© 2010-2016 - ТоварОК.ru интернет-магазин