ВУЗ:
Составители:
Рубрика:
65
непротиворечивость исчисления предикатов; теорема о полноте
для случая одноместных предикатов. Вычислимые функции,
машины Тьюринга, тезис Черча; рекурсивно перечислимые
множества и их алгоритмическая характеристика; теорема Поста;
неразрешимость проблем самоприменимости, применимости;
теорема Поста – Маркова о существовании ассоциативного
исчисления с алгоритмически неразрешимой проблемой
равенства; теорема о неразрешимости проблемы распознавания
тождественно истинных формул исчисления
предикатов; операции
суперпозиции и примитивной рекурсии; примитивно-рекурсивные
функции; частично-рекурсивные функции; вычислимость
частично-рекурсивных функций по переменной; совершенная
дизъюнктивная нормальная форма; полные системы функций;
полиномы Жегалкина; представление булевых функций
полиномами; замыкание; линейные функции; самодвойственные
функции; принцип двойственности; монотонные функции; теорема
о неполноте систем функций алгебры логики; базисы;
дизъюнктивные нормальные
формы. Функции k-значной логики;
элементарные функции: полнота систем функций; особенности
функций k-значной логики, теорема Кузнецова о функциональной
полноте; существенные функции; теорема Слупецкого.
2. Календарный план учебных занятий по дисциплине;
Не-
деля
Лекции Число
часов
Лабораторные
занятия
Число
часов
1
Введение в алгебру
логики.
2 Решение задач на
соответствие.
Примеры с
подалгеброй.
2
2
2
Функции алгебры
логики
2 Решение задач с
основными
логическими
функциями.
2
Страницы
- « первая
- ‹ предыдущая
- …
- 63
- 64
- 65
- 66
- 67
- …
- следующая ›
- последняя »
