Получать уведомления на электронную почту, если появились:
Подписаны
Книги издательства 2
Закрыть
Чтобы подписаться сообщите адрес электронной почты
Введите корректный адрес электронной почты
Подписаться 2 Вы подписаны 2

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

№ 10398472
Получать уведомления на электронную почту, если появились:
Подписаны
Книги издательства 2
Закрыть
Чтобы подписаться сообщите адрес электронной почты
Введите корректный адрес электронной почты
Подписаться 2 Вы подписаны 2
58,52 руб.–10%
Вы экономите 6,50 руб.
Ваша скидка 10%
65,02 руб.
Уже в корзине
Под заказ. Поставка 21 декабря

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

Учебное пособие адресовано в первую очередь студентам, обучающимся по направлениям подготовки укрупнённых групп «Компьютерные и информационные науки», «Информатика и вычислительная техника», но будет полезно и студентам группы направлений «Математика и механика», а также всем желающим начать самостоятельное изучение математической логики.

Издательство Лань
Год издания 2014
Страниц 416
Переплет Твердый переплет
Издание Четвертое издание
Формат 84х108/32 (130х205 мм, стандартный)
ISBN 978-5-8114-1666-0
Вес 430 г
Изготовитель ООО "Издательство "Лань". 109263, РФ, г. Москва, ул. 7-я Текстильщиков, 7-2
Импортер ООО «НТЦ АПИ», г. Минск, ул. Уманская, 54, пом. 1, каб. 34

Наверх

Вход

В течение нескольких секунд вам придёт SMS с одноразовым кодом для входа. Если ничего не пришло — отправьте код ещё раз.
Получите доступ к персональным скидкам и акциям, ускорьте оформление заказов.
Войдите с помощью своего профиля

Регистрация

Введите номер вашего мобильного телефона:
Войдите с помощью электронной почты или номера телефона
Войдите с помощью своего профиля

Восстановление пароля

Укажите адрес электронной почты, который вы использовали при регистрации
Нужна помощь? Звоните 695-25-25 (МТС, velcom, life:) или напишите нам

Восстановление пароля

Инструкции по восстановлению пароля высланы на 
Нужна помощь? Звоните 695-25-25 (МТС, velcom, life:) или напишите нам
Приходите в будние дни с 10 до 20, в субботу с 10 до 17. Воскресенье — выходной
695-25-25 МТС, velcom, life:)

Магазин OZ

Магазины OZ

Минск
Ещё 
В будние дни с 10 до 20
В субботу с 10 до 17
Воскресенье — выходной
695-25-25 МТС, velcom, life:)