Біздің инстаграмға жазылыңыз, гранттық байқаудың нәтижелерін жіберіп алмау үшін!
Математикалық логика
-
Жалпы математикалық қызығушылық тудыратын математикалық логиканың кейбір іргелі нәтижелерін қарастыруға көңіл бөлінеді. Алгорифмдер теориясының элементтері. Тюринг бойынша есептілікке қатысты анықтамалар, Черчтың тезисі мен рекурсивті және рекурсивті-есептелетін жиын ұғымдарын талқыланады. Бұл алгорифмдер теориясы үшін міндетті минимум ретінде қарастырылады, жалпы алгорифмдер теориясының шешілмейтін жиындар мен предикаттардың бар болуына қатысты негізгі теоремалары келтіріледі
-
Образовательная программа 7M01501 Математика
-
Несиелер 5
-
Селективті тәртіп
-
Оқу жылы 2