Книжный интернет-фонд "Книга-Дива.ру". Все ваши книги в одном месте - здесь!




Математическая логика и теория алгоритмов
Автор(ы)Гуц А.К.
ИздательЛиброком
Год2009
ISBN978-5-397-00056-7
EAN
ОбложкаОбложка
Формат60x90/16
Вес (г)100
Страниц120
Просмотров41
Стандарт
Описание

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

Возможность скачать/купить Математическая логика и теория алгоритмов.epub у Либроком

Поделиться с друзьями!

Хотите эту книгу/словарь/учебник в переплёте или в формате fb2 epub mobi doc docx djvu txt pdf? Нажимайте ниже ссылки или кнопки [В магазин] или [Читать].