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

Код в каталоге: № 37874

Автор:
Издательство: Либроком
Год выпуска:
Состояние: Очень хорошее
Место издания: Москва
Количество страниц: 120
Переплет: Мягкая издательская обложка
Формат: Обычный
ISBN: 978-5-397-00056-7
Описание книги

Гуц А.К. Математическая логика и теория алгоритмов

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

Нет в наличии

Купить книгу «Математическая логика и теория алгоритмов» Гуц А.К. 2009 года
в книжном интернет-магазине с доставкой по оптимальной цене.
Если данной книги Математическая логика и теория алгоритмов 978-5-397-00056-7 нет в наличии, то вы можете оставить на нее заявку.
При появлении этого букинистического издания в продаже, вы получите об этом уведомление по sms и email.


Хотите продать книги?
Доставка книг по России
и всему миру

Заказать книги почтой

+7 (812) 315-07-85

Хотите продать книги?
Подписка на обновления