BookHub

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

Тип обложки: мягкая
Страниц: 128
Вес: 0.135 кг
Год издания: 2016
ISBN: 978-5-9710-2629-7

Цены в магазинах

Вы можете найти эту книгу здесь.

График изменения цены

На графике показано, как менялась цена на книгу "Математическая логика и теория алгоритмов. Изд. 3".
Границы области показывают минимальную и максимальную цену в указанный день.

Краткое описание книги

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

Книги с похожим названием

Часто можно найти ту же самую или очень похожую книгу среди книг со схожим названием. Это может быть и та же самая книга, но другого года издания или в дургом переплете.
Показать книги с похожим названием

Еще предложения магазинов

Посмотрите предложения магазинов, которые очень похожи на данную книгу. Это может быть та же самая книга, по каким-то причинам не указанная в списке цен выше, или другое ее издание. Так же тут будут книги с похожим названием.
Показать другие предложения магазинов