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

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

book type
0 Відгук(ів) 
LF/991149070/R
Русский
В наличии
142,50 грн
128,25 грн Сохранить 10%
  Моментальное скачивание 

после оплаты (24/7)

  Широкий выбор форматов 

(для всех устройств)

  Полная версия книги 

(в т.ч. для Apple и Android)

Учебное пособие соответствует государственному образовательному стандарту дисциплины ''Математическая логика и теория алгоритмов'' направления подготовки дипломированных специалистов 654600 - ''Информатика и вычислительная техника'' (Специальность 220100 -''Вычислительные машины, комплексы, системы и сети'') и направления подготовки бакалавров 552800 - ''Информатика и вычислительная техника''.В пособии излагаются разделы математической логики и теории алгоритмов, необходимые для освоения общепрофессиональных и специальных дисциплин специальности 220100. Достаточно подробно изложены основы логики высказываний и логики предикатов, включая приложение логики предикатов к доказательству правильности алгоритмов. Пособие содержит вводный материал по логическому программированию и клаузальной логике, а также основные понятия нечеткой и модальной логики. Приведены основы теории алгоритмов и алгоритмической разрешимости, доказательство эквивалентности моделей алгоритмов Тьюринга и рекурсивных схем Клини. Пособие содержит также введение в теорию эффективной вычислимости, переборных NP-полных и NP-трудных задач
LF/991149070/R

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

ФИО Автора
Анкудинов Г.И.
Анкудинов И.Г.
Петухов О.А.
Язык
Русский
Дата выхода
2003

Отзывы

Напишите свой отзыв

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

Учебное пособие соответствует государственному образовательному стандарту дисциплины ''Математическая логика и теория алгоритмов'' направления подготовки дип...

Напишите свой отзыв

10 книг этого же автора

Товары из этой категории: