Логикалық қорытынды теориясы

Сипаттама: Бұл курс логикалық қорытынды теориясының негіздеріне арналған, предикаттарды классикалық және интуиционистік есептеуге және олардың қималарын жою туралы теоремаға үлкен көңіл бөлінеді. Предикаттарды генценттік есептеудегі логикалық тұжырымның күрделілігін бағалаудың негізгі әдістері оқытылады. Бұл курс ақпаратты қорғаудың криптографиялық әдістері үшін теориялық іргетасты құрайды.

Кредиттер саны: 5

Пәннің еңбек сыйымдылығы:

Компонент: ЖОО компоненті

Цикл: Кәсіптік пәндер

Мақсат

• интеллектуалды танымдық іс-әрекеттің формаларын, тәсілдерін, әдістері мен заңдылықтарын зерттеу.

Міндет

• - дәстүрлі логика бөлімдерін меңгеру (тұжырымдама туралы оқыту, шешім және қорытынды) - тұжырымдар мен болжамдардың логикасын зерттеу; - ақылға қонымды тұжырымдардың ерекшеліктерін меңгеру;

Оқыту нәтижесі: білу және түсіну

• жаңа теориялық мәселелерді шешуде белгілі әдістерді қолдану мүмкіндігі;

Оқыту нәтижесі: білім мен ұғымды қолдану

• жаңа теориялық есептерді шешуде белгілі әдістерді қолдана білу;
• Математика саласында заманауи білім алу, жаңа теориялық есептерді шешуде белгілі әдістерді қолдана білу;

Оқыту нәтижесі: талқылай білуді қалыптастыру

• зерттеу саласындағы білімді интеграциялау арқылы толық емес немесе шектеулі ақпарат негізінде шешім қабылдау және шешім қабылдау;

Оқыту нәтижесі: коммуникативтік қабілеттіліктер

• электрондық кітапханалардан, интернеттегі мамандандырылған сайттар мен форумдардан, реферативті журналдардан және т. б. зерттеу саласындағы өзекті ғылыми-техникалық ақпаратты шығара білу.

Оқыту нәтижесі: Оқу дағдылары немесе сабаққа қабілеттілігі

• Модельдер теориясының негізгі ұғымдары мен әдістерін игеру және математиканың басқа салаларында қолдана білу

Негізгі әдебиет

• 1. А.И. Мальцев Алгоритмы и рекурсивные функции. М.: Нау-ка, 2005. 2. С.В. Судоплатов, Е.В. Овчинникова Дискретная математика, Новосибирск, 2007г. 3. Х. Роджерс Теория рекурсивных функций и эффективная вычислимость. М.: Мир, 2004. 4. К. Соар. Вычислимо перечислимые множества и степени. Казань. Изд. Казанск. у-та, 2003.