Теория логического вывода

Beschreibung: Данный курс посвящен основам теории логического вывода, большое внимание уделяется классическому и интуиционистскому исчислению предикатов и теореме об устранении сечений в них. Изучаются основные методы оценки сложности логического вывода в генценовском исчислении предикатов. Данный курс образует теоретический фундамент для криптографических методов защиты информации.

Betrag der Credits: 5

Arbeitsintensität der Disziplin:

Komponente: Вузовский компонент

Zyklus: Профилирующие дисциплины

Цель

• изучение форм, приемов, методов и законов интеллектуальной познавательной деятельности.

Задача

• – освоение разделов традиционной логики (учения о понятии, суждении и умозаключении); – изучение логики высказываний и предикатов; – освоение специфики правдоподобных умозаключений;

Результат обучения: знание и понимание

• умение применить известные методы при решении новых теоретических задач;

Результат обучения: применение знаний и пониманий

• умение применить известные методы при решении новых теоретических задач;
• Приобретение современных знаний в области математики, умение умение применить известные методы при решении новых теоретических задач;

Результат обучения: формирование суждений

• путем интеграции знаний в области исследования выносить суждения и принимать решения на основе неполной или ограниченной информации;

Результат обучения: коммуникативные способности

• умение извлекать актуальную научно-техническую информацию в области исследования из электронных библиотек, специализированных сайтов и форумов в Интернете, реферативных журналов и т.п.

Результат обучения: навыки обучения или способности к учебе

• Освоение основных понятий и методов теории моделей и умение применять и в других областях математики

Основная литература

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