KZ

Математическая логика и искусственный интеллект

  • В этом курсе рассматриваются понятия о формальной теории и свойства выведения формул. Курс представляет собой последовательное изложение основных положений, методов и результатов позволяющим овладеть методологическими основами языка современной математики, усвоить основные идеи построения систем математических знаний посредством формальных аксиоматических теорий; сформулировать точное математическое понятие алгоритма; использовать идеи и методы математической логики при изучении других математических дисциплин.
  • Образовательная программа 7M01501 Математика (1.5)
  • ВУЗ Казахский национальный женский педагогический университет
  • Кредитов 6
  • Селективная дисциплина
  • Год обучения 1
  • Семестр 1
Top