ЛИТЕРАТУРА ПО ФУНДАМЕНТАЛЬНЫМ И ПРИКЛАДНЫМ НАУКАМ
|
Авторизация
|
|||||||||||
КнигиМатематическая логика и теория алгоритмов
421 руб.
В корзину
Настоящее учебное пособие посвящено изложению математической логики и теории алгоритмов. Основу пособия составляют лекции, которые читаются студентам второго курса факультета компьютерных наук Омского государственного университета. Излагаются классическая логика, метод резолюций, формальные исчисления, формальная арифметика, принципы логического программирования, нечеткая логика и нечеткая арифметика, модальные, временные и алгоритмические логики. Приводятся семантика Крипке, аксиомы алгоритмической логики Хоара, логики Васильева и Лукасевича. Даются представления о частично рекурсивных функциях, машине Тьюринга-Поста, нормальных алгорифмах Маркова и о сложности алгоритмов. Для студентов, обучающихся по специальностям "Компьютерная безопасность" и "Вычислительные машины, комплексы, системы и сети". |
В корзине нет товаров
Новости
2024-04-11
14-го апреля (воскресенье) магазин в МФТИ работает с 9:00 до 18:00
2024-02-10
11-го февраля(воскресенье) магазин в МФТИ работает с 9:00 до 18:00
2023-12-26
Уважаемые покупатели! В связи с новогодними каникулами заказы, оформленные после 26.12.2023, будут обработаны после 9 января 2024 г. Заказы, содержащие только книги издательства «ФИЗМАТКНИГА», будут отправлены раньше. Приносим извинения за задержку!
2023-10-30
31-го декабря, 1, 2, 3 и 7-го января — магазин не работает
4,5, и 6-го января — магазин работает с 10:00 до 17:30
с 8-го января — в обычном режиме
Лидеры продаж
|
|||||||||||
© ООО «Научная книга», 2021 |