KZ

Фундаментальные вопросы математической логики

  • В этом курсе рассматриваются такие вопросы математической логики, как определение на практике полноты системы Бульевских функций и проверка на общих графах различных свойств. Основные понятия теории бинарных отношений, булевых функций, теории формальных исчислений. Бинарные отношения. Эквивалентности, частичные порядки. Булевы функции. Методы доказательств в логике высказываний и предикатов. Основные понятия теории графов.
  • Образовательная программа 7M01501 Математика (1.5)
  • ВУЗ Казахский национальный женский педагогический университет
  • Кредитов 6
  • Селективная дисциплина
  • Год обучения 1
  • Семестр 1
Top