Математическая логика и теория алгоритмов

№ 10426283
71,24 руб.
Уже в корзине
Под заказ. Поставка 4 июля

Учебное пособие создано в соответствии с государственным образовательным стандартом по направлениям подготовки «Информатика и вычислительная техника», «Информационные системы», «Фундаментальные информатика и информационные технологии» (квалификация «бакалавр»).

Изложены основные понятия математической логики, а также качественной и количественной теории алгоритмов. Рассмотрены элементы теории множеств, логика высказываний, исчисление высказываний, логика предикатов, элементарные языки, исчисление предикатов, элементарные теории, теория моделей, начальные понятия теории алгоритмов, начала алгоритмической теории множеств, машины Тьюринга и связанный с ними подход к формализации понятия алгоритма, нормальные алгоритмы, рекурсивные функции, наиболее известные результаты об алгоритмической неразрешимости, формальная арифметика, метод резолюций, интуиционистская логика, элементы теории сложности вычислений.

Для студентов учреждений высшего профессионального образования. Может быть полезен широкому кругу читателей, интересующихся основами математической логики и теории вычислимости.

Купите комплект
106,07 руб. за комплект
Комплект уже в корзине
Серия Бакалавриат
Издательство Academia
Год издания 2013
Страниц 416
Переплет Твердый переплет
Формат 60х90/16 (145х215 мм, стандартный)
ISBN 978-5-7695-9559-2
Вес 490 г
Возрастные ограничения 16+
Изготовитель ООО "Издательский центр "Академия". 129085, РФ, г. Москва, пр-т Мира, д. 101В, стр. 1
Импортер ООО «НТЦ АПИ», г. Минск, ул. Уманская, 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:)