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

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