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

  • Логика высказываний. Логические операции над высказываниями. Логика предикатов и операции над ними. Математические теории. Теорема дедукции. Приведенные и нормальные формы. Элементы теории множеств. Элементы комбинаторики. Булевы функции. Формирующее понятие алгоритма. Вычислимые функции. Элементы теории графов. Сети. Элементы теории кодирования. Методы сжатия информации с помощью кодирования. Применение кодирования для защиты информации.
  • Кредитов 5
  • Селективная дисциплина
  • Год обучения 1
  • Семестр 1
Top