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

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

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

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

Хотите продать книги?
Хотите продать
книги?

звоните нам

+7 (812) 312-15-70

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