Математическая логика и теория алгоритмов | Гуц Александр Константинович
Оставить отзыв
OZON
Код товара: 136815187
-16%

Математическая логика и теория алгоритмов | Гуц Александр Константинович

Оставить отзыв
Тип книги:
Другие издания:
Автор
Издательство
Год выпуска
2016
Тип обложки
Мягкая обложка
Автор на обложке
А. К. Гуц
Перейти к описанию

О книге

Настоящее учебное пособие посвящено изложению математической логики и теории алгоритмов. Основу пособия составляют лекции, которые читаются студентам второго курса факультета компьютерных наук Омского государственного университета. Излагаются классич
247 ₽ 297 ₽
Нашли дешевле?
12 баллов при оплате Ozon.Card
От 13 руб./месяц в кредит
Продавец:
OZON
  • Безопасная оплата: Банковской картой и ещe несколько способов оплаты
  • Возврат 7 дней
Гарантия легкого возврата
До 7 дней на возврат, полная гарантия
Общая стоимость выбранных товаров
0

Описание

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

Для студентов, обучающихся по специальностям "Компьютерная безопасность" и "Вычислительные машины, комплексы, системы и сети".

Характеристики

Автор
Издательство
Год выпуска
2016
Тип обложки
Мягкая обложка
Автор на обложке
А. К. Гуц
Количество страниц
128
Язык издания
Русский
Предмет обучения
Логика
ISBN
978-5-9710-2629-7
Вес в упаковке, г
135
Информация о технических характеристиках, комплекте поставки, стране изготовления, внешнем виде и цвете товара носит справочный характер и основывается на последних доступных к моменту публикации сведениях

Персоны

  • Гуц Александр Константинович Автор

Издательства

  • Либроком Издательство
Реклама
Отзывы