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

Каталог

Книги

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

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

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

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

Комментарии: (авторизуйтесь, чтобы оставить свой)
В корзине нет товаров
Новости
2017-07-17
Уважаемые заказчики! В связи с сезоном летних отпусков сроки обработки отдельных заказов могут быть несколько увеличены. Приносим вам свои извинения
2017-07-03
Издательство «Физматкнига» с глубоким прискорбием сообщает, что 2 июля на 87-м году жизни скончался наш многолетний автор, профессор, доктор педагогических наук Михаил Иванович Шабунин.
2017-07-01
Магазин «Физтех-книга» в летний период (июль и август) будет работать с 9.00 до 19.00. Выходные — суббота и воскресенье.
2016-11-07
Уважаемые покупатели! У нас изменился номер телефона. Новый городской номер (499) 390-51-38.