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

  • Владеет основными понятиями теории логических функций, алгоритмов, графов, кодирования. Изучает наборы и применяемые к ним приемы. Учит пользоваться элементами комбинаторики, основами теории множеств, элементами общей алгебры, сказуемыми и применяемыми к ним операциями, элементами теории кодирования. Владеет навыками построения таблицы истинности для булевых функций, заданных логической формулой, определения истинности формул предикатов, применения арифметических операций к множествам.
  • Образовательная программа 6B06102 Информационные системы
  • Кредитов 5
  • Селективная дисциплина
  • Год обучения 3
  • Семестр 1
Top