Консультант:
+7(7232) 26 44 09
с 10:00 до 19:00 в раб. дни
Математическая логика и теория алгоритмов

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

Автор: Гуц А.К.

Рейтинг:
(0)

Раздел: Научная, учебная литература для специалистов

Издательство: Ленанд
ISBN: 978-5-9710-2629-7
Год: 2016

Серия: Математика
Переплет: мягкая обложка
Страниц: 128
Язык: русский
Размеры: 145x215 мм

2 035 тг.

Количество

Поступление на склад 29.12.2016
Поделиться:

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

  • Комментарии
Загрузка комментариев...

Похожие товары:

  • Теория множеств
    4 275 тг.
    Поступление на склад 29.12.2016
  • Дзета-функция Римана
    2 425 тг.
    Поступление на склад 29.12.2016
0 Корзина
Стоимость
заказа: 0 тг.
Перейти в корзину для оформления заказа
0
Закладки
Посмотреть