Біздің инстаграмға жазылыңыз, гранттық байқаудың нәтижелерін жіберіп алмау үшін!
Логикалық қорытынды теориясы
-
Бұл курс логикалық қорытынды теориясының негіздеріне арналған, предикаттарды классикалық және интуиционистік есептеуге және олардың қималарын жою туралы теоремаға үлкен көңіл бөлінеді. Предикаттарды генценттік есептеудегі логикалық тұжырымның күрделілігін бағалаудың негізгі әдістері оқытылады. Бұл курс ақпаратты қорғаудың криптографиялық әдістері үшін теориялық іргетасты құрайды.
-
Образовательная программа 7M05401 Математика
-
Несиелер 5
-
Оқу жылы 1
-
Семестр 2