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

  • Курс формирует знания об основах логики высказываний и логики предикатов, теории алгоритмов, математической символике для выражения количественных и качественных отношений между объектами., алгоритмах математической̆ логики, связанных с моделированием и оптимизацией̆ систем различной̆ природы. При изучении дисциплины используются знания по математике, умение работать с современным программным обеспечением.
  • Кредитов 5
  • Селективная дисциплина
Top