Математическая логика и теория алгоритмов: учебное пособие. 3-е издание

Нет отзывов

Купили 10 человек

Аннотация

Настоящее учебное пособие посвящено изложению математической логики и теории алгоритмов. Основу пособия составляют лекции, которые читаются студентам второго курса факультета компьютерных наук Омского государственного университета. Излагаются классическая логика, метод резолюций, формальные исчисления, формальная арифметика, принципы логического программирования, нечеткая логика и нечеткая арифметика, модальные, временные и алгоритмические логики. Приводятся семантика Крипке, аксиомы алгоритмической логики Хоара, логики Васильева и Лукасевича. Даются представления о частично рекурсивных функциях, машине Тьюринга-Поста, нормальных алгорифмах Маркова и о сложности алгоритмов.
Для студентов, обучающихся по специальностям "Компьютерная безопасность" и "Вычислительные машины, комплексы, системы и сети".
Издательство
ПереплетМягкий переплёт
Страниц128
Год, тираж2016

Не в наличии

Отзывы

0

Уже читали эту книгу? Поделитесь вашим мнением!

Описание и характеристики

Настоящее учебное пособие посвящено изложению математической логики и теории алгоритмов. Основу пособия составляют лекции, которые читаются студентам второго курса факультета компьютерных наук Омского государственного университета. Излагаются классическая логика, метод резолюций, формальные исчисления, формальная арифметика, принципы логического программирования, нечеткая логика и нечеткая арифметика, модальные, временные и алгоритмические логики. Приводятся семантика Крипке, аксиомы алгоритмической логики Хоара, логики Васильева и Лукасевича. Даются представления о частично рекурсивных функциях, машине Тьюринга-Поста, нормальных алгорифмах Маркова и о сложности алгоритмов.
Для студентов, обучающихся по специальностям "Компьютерная безопасность" и "Вычислительные машины, комплексы, системы и сети".
Код2709377
Издательство
Автор
ПереплетМягкий переплёт
Кол-во страниц128
Год издания2016
ISBN978-5-397-04588-9
РазделМатематика
Размеры0.6 см × 14.5 см × 21.5 см
Вес0.14 кг
В магазине «Буквоед» закончилась книга «Математическая логика и теория алгоритмов: учебное пособие. 3-е издание» от автора Гуц Александр Константинович. Когда книга снова поступит в продажу, можно будет сделать заказ из любого города России: от Санкт-Петербурга и Москвы до Казани и Краснодара. Дождитесь, пока появится надпись «Купить», чтобы получить «Математическая логика и теория алгоритмов: учебное пособие. 3-е издание» в магазине сети или заказать доставку. Мы и сами любим читать, поэтому делаем всё, чтобы вы могли купить понравившуюся историю по приятной цене. Например, организуем конкурсы и проводим акции. Оставайтесь с нами, чтобы не упустить выгоду!