Для корректной работы этого сайта необходима поддержка JavaScript и "cookies" Вашим браузером. Подробнее

МЫ ПРИНИМАЕМ ЗАКАЗЫ ПО ТЕЛЕФОНАМ +7 (495) 374-94-88, 8(800) 775-80-36 (бесплатно для регионов) С 10:00 ДО 19:00
Здравствуйте, Гость! (Войти в систему)

Ваша корзина

В корзине 0 товаров на сумму
0 руб


Отложено: 0 товаров

Ваша корзина пуста.

Нажмите кнопку "В корзину" на интересующих вас товарах.

Лучшие книги недели

Древняя Русь в свете зарубежных источников - Джаксон Т.Н. - купить  книгу с доставкой

Древняя Русь в свете зарубежных источников

Джаксон Т.Н., Бибиков М.В
532 руб
Мир-система Модерна. Том 1. Капиталистическое сельское хозяйство и истоки европейского мира-экономики в XVI веке - Иммануэль Валлерстайн - купить  книгу с доставкой

Мир-система Модерна. Том 1

Иммануэль Валлерстайн
675 руб
Евреи, конфуцианцы и протестанты. Культурный капитал и конец мультикультурализма - Лоуренс Харрисон - купить  книгу с доставкой

Евреи, конфуцианцы и протестанты

Лоуренс Харрисон
388 руб
Феномены мозга - Бехтерев В. М. - купить  книгу с доставкой

Феномены мозга

Бехтерев В. М.
415 руб

Математическая логика и теория алгоритмов - 3 изд.

Гуц А.К.

Математическая логика и теория алгоритмов - 3 изд. - Гуц  А.К. - купить  книгу с доставкой
ЛЕНАНД, мягкая обложка, 2016

Код товара: 1127999

ISBN: 978-5-9710-2629-7

Тип переплета: мягкая обложка

Формат книги: 60x90/16 (145x215 мм)

Количество страниц: 128

Временно отсутствует
Чтобы оставить заявку, введите свой e-mail
0
Аннотация к книге "Математическая логика и теория алгоритмов - 3 изд.":
Настоящее учебное пособие посвящено изложению математической логики и теории алгоритмов. Основу пособия составляют лекции, которые читаются студентам второго курса факультета компьютерных наук Омского государственного университета.
Излагаются классическая логика, метод резолюций, формальные исчисления, формальная арифметика, принципы логического программирования, нечеткая логика и нечеткая арифметика, модальные, временные и алгоритмические логики. Приводятся семантика Крипке, аксиомы алгоритмической логики Хоара, логики Васильева и Лукасевича. Даются представления о частично рекурсивных функциях, машине Тьюринга---Поста, нормальных алгорифмах Маркова и о сложности алгоритмов.
Для студентов, обучающихся по специальностям "Компьютерная безопасность" и "Вычислительные машины,
комплексы, системы и сети".