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

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