libcats.org
Главная

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

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

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

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

ВАЗ 2110i, -2111i, -2112i

Автор:
Категория: civil, civil, transport
Размер книги: 57.35 Mb

Ключ к сверхсознанию

Автор:
Категория: Путь к себе
Размер книги: 309 Kb

Древо жизни

Автор:
Категория: Путь к себе
Размер книги: 1.70 Mb

Шликерное литье

Автор:
Категория: science, science, technical
Размер книги: 5.98 Mb
Только что пользователи скачали эти книги:

Изменившиеся

Автор:
Категория: Ужасы и Мистика
Размер книги: 185 Kb

Lectures on Arakelov geometry

Автор: , Автор: , Автор: , Автор:
Категория: Mathematics, Algebra, Algebraic geometry
Размер книги: 1.29 Mb

The Archaeology of the Caribbean

Автор:
Категория: history_military
Размер книги: 3.90 Mb

Динамика ледяного покрова.

Автор:
Размер книги: 12.38 Mb

The English in the West Indies

Автор:
Категория: fiction
Размер книги: 993 Kb

Death at the Jesus Hospital

Автор:
Категория: fiction
Размер книги: 399 Kb

Does Your Tongue Need Healing

Автор:
Размер книги: 2.56 Mb