ЛИТЕРАТУРА ПО ФУНДАМЕНТАЛЬНЫМ И ПРИКЛАДНЫМ НАУКАМ
для школьников, студентов и научных работников

Каталог

Книги

Математическая логика и теория алгоритмов Гуц А.К. Книжный дом
/Гуц А.К./

Математическая логика и теория алгоритмов

Издательство:Книжный дом "ЛИБРОКОМ"
Год издания:2015
ISBN:978-5-397-04775-3
Кол-во страниц:120
Переплёт:Мягкий
 198 руб.  В корзину

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

Комментарии: (авторизуйтесь, чтобы оставить свой)
В корзине нет товаров
Новости
2018-08-08
УВАЖАЕМЫЕ ПОКУПАТЕЛИ! В СВЯЗИ С РЕМОНТНЫМИ РАБОТАМИ В МАГАЗИНЕ И ПРОВОДИМОЙ ИНВЕНТАРИЗАЦИЕЙ ОТПРАВКА ЗАКАЗОВ БУДЕТ ОСУЩЕСТВЛЯТЬСЯ ПОСЛЕ 22 АВГУСТА! ПРИНОСИМ ИЗВИНЕНИЯ!
2018-04-19
Уважаемые покупатели! 22 апреля 2018 г., в День открытых дверей МФТИ, магазин «Физтех-книга» в Новом корпусе МФТИ работает с 09.00 до 19.00
2018-01-31
15 ноября 2017 года Почта России повысила тарифы на внутренние посылки. Тарифы повысились практически ровно на 15%.
2017-12-28
30 и 31 декабря 2017 г., 1, 2 и 7 января 2018 г. магазин не работает. С 3 по 6 января включительно работает с 10.00 до 17.30, 8 января — с 9.00 до 19.00, с 9 января 2018 г. — по обычному расписанию.