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

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

[учебное пособие]

Гуц А. К.

Артикул: 10220948

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

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

ЛЕНАНД

Переплёт: Мягкая обложка Размер: 22 X 14,5 см. Вес: 140 г. Количество страниц: 117

Аннотация: Настоящее учебное пособие посвящено изложению математической логики и теории алгоритмов. Основу пособия составляют лекции, которые читаются студентам второго курса факультета компьютерных наук Омского государственного университета. Излагаются классическая логика, метод резолюций, формальные исчисления, формальная арифметика, принципы логического программирования, нечеткая логика и нечеткая арифметика, модальные, временные и алгоритмические логики. Приводятся семантика Крипке, аксиомы алгоритмической логики Хоара, логики Васильева и Лукасевича. Даются представления о частично рекурсивных функциях, машине Тьюринга---Поста, нормальных алгорифмах Маркова и о сложности алгоритмов. Для студентов, обучающихся по специальностям "Компьютерная безопасность" и "Вычислительные машины, комплексы, системы и сети".
Цена со скидкой: 247,20 руб.
Цена магазина: 309,00 руб.
В наличии
С этим товаром покупают:
В наличии
100% предоплата
Предзаказ
Физика на пальцах : для детей и родителей, которые хотят объяснять детям

Никонов А. П.

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

Докинз Р.

Количество страниц: 510
669,00 руб.
 
В наличии
100% предоплата
Предзаказ
Краткая история времени : от.большого взрыва до черных дыр

Хокинг С.

Количество страниц: 231
729,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 ООО Торговый Дом «БИБЛИО-ГЛОБУС». Все права защищены.