The theory of inference
Description: This course is devoted to the basics of the theory of logical inference, much attention is paid to the classical and intuitionistic predicate calculus and the theorem on the elimination of sections in them. We study the main methods for estimating the complexity of logical inference in the genzen predicate calculus. This course forms the theoretical basis for cryptographic methods of information security.
Amount of credits: 5
Course Workload:
| Types of classes | hours |
|---|---|
| Lectures | 15 |
| Practical works | 30 |
| Laboratory works | |
| SAWTG (Student Autonomous Work under Teacher Guidance) | 30 |
| SAW (Student autonomous work) | 75 |
| Form of final control | Exam |
| Final assessment method |
Component: University component
Cycle: Profiling disciplines
Goal
- изучение форм, приемов, методов и законов интеллектуальной познавательной деятельности.
Objective
- – освоение разделов традиционной логики (учения о понятии, суждении и умозаключении); – изучение логики высказываний и предикатов; – освоение специфики правдоподобных умозаключений;
Learning outcome: knowledge and understanding
- умение применить известные методы при решении новых теоретических задач;
Learning outcome: applying knowledge and understanding
- умение применить известные методы при решении новых теоретических задач;
- Приобретение современных знаний в области математики, умение умение применить известные методы при решении новых теоретических задач;
Learning outcome: formation of judgments
- путем интеграции знаний в области исследования выносить суждения и принимать решения на основе неполной или ограниченной информации;
Learning outcome: communicative abilities
- умение извлекать актуальную научно-техническую информацию в области исследования из электронных библиотек, специализированных сайтов и форумов в Интернете, реферативных журналов и т.п.
Learning outcome: learning skills or learning abilities
- Освоение основных понятий и методов теории моделей и умение применять и в других областях математики
Key reading
- 1. А.И. Мальцев Алгоритмы и рекурсивные функции. М.: Нау-ка, 2005. 2. С.В. Судоплатов, Е.В. Овчинникова Дискретная математика, Новосибирск, 2007г. 3. Х. Роджерс Теория рекурсивных функций и эффективная вычислимость. М.: Мир, 2004. 4. К. Соар. Вычислимо перечислимые множества и степени. Казань. Изд. Казанск. у-та, 2003.
