KZ

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

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