Книга Математическая логика и теория алгоритмов: Учебное пособие (обл.). 4-е изд., пере... (Гуц Александр Константинович) , 2023
1046 р.
Автор(ы): Гуц Александр Константинович;
Издатель: Ленанд
ISBN: 9785951937476
ID: SKU1362188
Добавлено: 03.12.2023
Сравнить цены
Цена от 1046 р. до 1046 р. в 2 магазинах
Магазин | Цена | Наличие |
---|---|---|
Мегамаркет 5/5 | 1046 р. 1599 р. | |
Яндекс.Маркет 5/5 | 957 р. | наличие уточняйте 09.05.2024 |
Описание
Настоящее учебное пособие посвящено изложению математической логики и теории алгоритмов. Основу пособия составляют лекции, которые читаются студентам второго курса факультета компьютерных наук Омского государственного университета имени Ф. М. Достоевского. Излагаются классическая логика, метод резолюций, формальные исчисления, формальная арифметика, принципы логического программирования, нечеткая логика и нечеткая арифметика, модальные, временные и алгоритмические логики. Приводятся семантика Крипке, аксиомы алгоритмической логики Хоара, паранепротиворечивые логики, логики Васильева и Лукасевича, релевантные логики. Даются представления о частично рекурсивных функциях, машине Тьюринга-Поста, нормальных алгорифмах Маркова и о сложности алгоритмов. Для студентов, обучающихся по специальностям "Компьютерная безопасность", "Информационная безопасность" и "Информатика и вычислительная техника".
Смотри также Характеристики.
Яндекс.Маркет
О книге
Вес, в граммах | 167 |
Издательство | Ленанд |
Автор | Гуц Александр Константинович |
Год издания | 2023 |
Количество книг | 1 |
Тип обложки | мягкая |
Назначение | для технических ВУЗов; для экономических ВУЗов |
Количество страниц | 160 |
Формат | 60x90/16 |
Автор(ы) | Гуц Александр Константинович |
1 ms.
Книги где автор: Гуц Александр Константинович
Похожие товары
Категория 836 р. - 1255 р.