Логика и комбинаторика в компьютерных науках

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