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