KZ

Математическая логика и аксиоматические теории

  • Булевы функции, истинностные таблицы, конъюнктивная нормальная форма. Полные системы логических функций. Тавтологии. Выполнимые формулы. Гипотезы и следствия в алгебре высказываний. Дизъюнктивная нормальная форма, формула алгебры высказываний, логика предикатов, комбинаторные алгоритмы, графы и сети, операции над предикатами. кванторы, теория алгоритмов.
  • Образовательная программа 6B01510 Математика
  • ВУЗ Павлодарский педагогический университет имени Әлкея Марғұлана
  • Кредитов 5
  • Селективная дисциплина
  • Год обучения 3
  • Семестр 1
Top