RU

Предикаттар логикасы

  • Пән предикаттардың логикасын зерттеу білуге, предикаттарды есептеуді, кванторлармен операция жасау ережелерін, рұқсат беру әдісін, формальды аксиоматикалық жүйелерді зерттеуге, кәсіби есептерді шешу үшін логикалық әдістерді қолдана білу, логикалық есептерді шешу дағдыларына ие болуға мүмкіндік береді.
  • Образовательная программа 6B06102 Информатика
  • ВУЗ Лев Николаевич Гумилев атындағы Еуразия ұлттық университеті
  • Несиелер 5
  • Селективті тәртіп
  • Оқу жылы 4
  • Семестр 1
Top