KZ

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

  • Булевы функции, нормальные формы представления булевых функций, Теорема Поста, применение булевых функций, бинарные решающие диаграммы, конечные автоматы и их применение, логика высказываний, основные понятия логики высказываний, логический вывод в логике высказываний, логика предикатов, основные понятия логики предикатов, логический вывод в логике предикатов, аксиоматические теории. Основные компоненты аксиоматических теорий.
  • Образовательная программа 6B06101 Информатика
  • ВУЗ Казахский национальный женский педагогический университет
  • Кредитов 5
  • Селективная дисциплина
  • Год обучения 2
  • Семестр 4
Top