Математическая логика и теория алгоритмов
Войдите в учётную запись, чтобы мы могли сообщить вам об ответе
Настоящее учебное пособие посвящено изложению математической логики и теории алгоритмов. Основу пособия составляют лекции, которые читаются студентам второго курса факультета компьютерных наук Омского государственного университета имени Ф. М. Достоевского. Излагаются классическая логика, метод резолюций, формальные исчисления, формальная арифметика, принципы логического программирования, нечеткая логика и нечеткая арифметика, модальные, временные и алгоритмические логики. Приводятся семантика Крипке, аксиомы алгоритмической логики Хоара, паранепротиворечивые логики, логики Васильева и Лукасевича, релевантные логики. Даются представления о частично рекурсивных функциях, машине Тьюринга—Поста, нормальных алгорифмах Маркова и о сложности алгоритмов.
Для студентов, обучающихся по специальностям «Компьютерная безопасность», «Информационная безопасность» и «Информатика и вычислительная техника».
Для студентов, обучающихся по специальностям «Компьютерная безопасность», «Информационная безопасность» и «Информатика и вычислительная техника».
Автор:
Автор:Гуц Александр Константинович
Переплет:
Переплет:мягкий
Категория:
- Категория:Бизнес и деньги
- Категория:Наука и математика
Размеры:
Размеры:21x14.5x1.5 см
ISBN:
ISBN:978-5-9519-3747-6
Отзывы не найдены