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

  • Логика высказываний. Формулы, логическое следствие и эквивалентность. Понятие предиката. Основные формулы логики предикатов. Понятие множества, задание множеств. Подмножества и их свойства. Операции над множествами. Покрытия и разбиения множеств. Декартово произведение множеств. Бинарные отношения и их свойства. Отношения эквивалентности и частичного порядка. Типы функциональных отношений. Интуитивное понятие алгоритма и необходимость его уточнения. Машины Тьюринга. Тезис Тьюринга. Понятие сложности алгоритма. Классы.
  • Кредитов 4
  • Год обучения 1
  • Семестр 2
Top