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

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