Категория
Математика
Тип
курс лекций
Страницы
1 стр.
Дата
12.01.2010
Формат файла
.pdf — Acrobat Reader
Архив
123660.zip — 659.04 kb
  • lekcii-po-matematicheskoj-logike-i-teorii-algoritmov_123660_1.pdf — 1508.26 Kb
  • Readme_docus.me.txt — 125 Bytes
Рейтинг
10  из 10
Оценок
1
Оцените работу
Хорошо  или  Плохо



Текст работы

Алгебра логики, булева алгебра. Алгебра Жегалкина, педикаты и логические операции над ними. Термины и понятия формальных теорий, теорема о дедукции, автоматическое доказательство теорем. Элементы теории алгоритмов, алгоритмически неразрешимые задачи.



Ваше мнение



CAPTCHA