+7 (495) 781-19-12 интернет-магазин
Новый покупатель?
Зарегистрируйтесь здесь
Зарегистрированы?
Войти
Ваша корзина пуста
Оплата и доставка Скидки Есть вопрос?
    Расширенный поиск
К Вашим услугам
Издательский дом «Библио-Глобус»
Это связано с процессом поиска изданий, наличием в настоящий момент договорных отношений с поставщиком заказываемой книги и изменением сроков допечатки тиражей. В связи с возможным отсутствием книг у поставщика, мы не гарантируем выполнение заказа со статусом книг «Под заказ». В случае обработки заказа на крупную партию товара, возможно увеличение срока выполнения заказа в связи с поиском необходимого количества заказанной продукции у поставщиков.
Это связано с процессом поиска изданий, наличием в настоящий момент договорных отношений с поставщиком заказываемой книги и изменением сроков допечатки тиражей. В связи с возможным отсутствием книг у поставщика, мы не гарантируем выполнение заказа со статусом книг «Под заказ». В случае обработки заказа на крупную партию товара, возможно увеличение срока выполнения заказа в связи с поиском необходимого количества заказанной продукции у поставщиков.

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

Крупский В.Н.

Артикул: 9921224

Дата издания: 2013

ISBN: 9785769595592 Издатель/Изготовитель:

ОИЦ "Академия"

Размер: 90 X 60 см. Вес: 100 г. Количество страниц: 416

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

Семёнов А.

Количество страниц: 271
1 849,00 руб.
 
В наличии
100% предоплата
Предзаказ
Физика на пальцах : для детей и родителей, которые хотят объяснять детям

Никонов А. П.

Количество страниц: 352
369,00 руб.
 
В наличии
100% предоплата
Предзаказ
Вы, конечно, шутите, мистер Фейнман!

Фейнман Р.

Количество страниц: 479
269,00 руб.
 
Наш адрес: Россия, 101990, г. Москва, ул. Мясницкая, д. 6/3, стр. 1, Торговый Дом «БИБЛИО-ГЛОБУС».
Телефон: (495) 781-19-12 e-mail: web.logist@bgshop.ru
Время работы службы выдачи заказов: пн. – пт. 10:00 – 22:00, сб. – вс. 10:00 – 21:00.
Информационное наполнение © 1999 – 2015 ООО Торговый Дом «БИБЛИО-ГЛОБУС». Все права защищены.
Разработка и поддержка © 1999 – 2015 ООО Торговый Дом «БИБЛИО-ГЛОБУС». Все права защищены.