Математическая логика и теория алгоритмов: учебное пособие. 3-е издание (Гуц Александр Константинович) ; Ленанд, 2016
Цены
Магазин | Цена | Наличие |
---|---|---|
Яндекс.Маркет 5/5 | 1576 р. | наличие уточняйте 20.05.2024 |
Лабиринт 5/5 | ||
Читай-город 5/5 | ||
МАЙШОП 5/5 | Один из первых книжных интернет-магазинов, работающий с 2002 года | |
Описание
Настоящее учебное пособие посвящено изложению математической логики и теории алгоритмов. Основу пособия составляют лекции, которые читаются студентам второго курса факультета компьютерных наук Омского государственного университета. Излагаются классическая логика, метод резолюций, формальные исчисления, формальная арифметика, принципы логического программирования, нечеткая логика и нечеткая арифметика, модальные, временные и алгоритмические логики. Приводятся семантика Крипке, аксиомы алгоритмической логики Хоара, логики Васильева и Лукасевича. Даются представления о частично рекурсивных функциях, машине Тьюринга-Поста, нормальных алгорифмах Маркова и о сложности алгоритмов.
Для студентов, обучающихся по специальностям "Компьютерная безопасность" и "Вычислительные машины, комплексы, системы и сети".
Для студентов, обучающихся по специальностям "Компьютерная безопасность" и "Вычислительные машины, комплексы, системы и сети".
Смотри также Характеристики.
Яндекс.Маркет
О книге
Издатель | Ленанд |
Год издания | 2016 |
Страниц | 128 |
Переплёт | мягкий |
ISBN | 978-5-9710-2629-7 |
Размеры | 14,50 см × 21,50 см × 0,65 см |
Формат | 60x90/16 |
Автор(ы) | Гуц Александр Константинович |
Тематика | Математика |
Книги где автор: Гуц Александр Константинович
Математика - издательство "Ленанд"
Категория 278 р. - 417 р.
Математика - издательство "Ленанд" »
Математика
Категория 278 р. - 417 р.