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