2. Место дисциплины в структуре ооп:

Дисциплина «Математическая логика и теория алгоритмов» относится к вариативной части профессионального цикла.

Для освоения дисциплины «Математическая логика и теория алгоритмов» используются знания, умения и виды деятельности, сформированные в ходе изучения дисциплин: «Алгебра», «Геометрия», «Математический анализ», «Теория функций действительного переменного», «Теория чисел», «Информатика».

Дисциплина «Математическая логика и теория алгоритмов» является логической основой понимания сущности доказательств и их логического строения, изучения аксиоматических математических теорий из разных областей математики, а также теоретическим обоснованием логической составляющей обучения математике. Алгоритмический подход позволяет изучать математические теории в целом.

3. Требования к результатам освоения этой дисциплины

Процесс изучения дисциплины направлен на формирование следующих специальных компетенций СК-1, СК-2, СК-3.

№	Общая формулировка	Детализация
СК-1	Овладение содержанием фундаментальных математических дисциплин (овладение основными понятиями, идеями и принципами, освоение методов фундаментальных математических теорий)	- владеет основными понятиями алгебры высказываний (АВ) и предикатов, исчисления высказываний (ИВ) и предикатов (ИП) (высказывания, действия над высказываниями (конъюнкция, дизъюнкция, импликация, эквивалентность), таблицы истинности, формулы АВ, равносильных формул, ДНФ, СДНФ, КНФ, СКНФ; аксиомы и их свойств (полнота, независимость) исчисления, правила вывода из аксиом, теорема дедукции, выводимой формулы, связь АВ и ИВ, свойства ИВ (непротиворечивость, полнота); предиката, квантора, нормальных форм и формул; формул ИП, аксиомы и их свойства ИП, выводимые формулы, теорема дедукции, свойства ИП (непротиворечивость, полнота; алгоритма, вычислимой функции, машины Тьюринга, действии над машинами, тезис Черча, тезис Тьюринга, рекурсивной функции (частично рекурсивной и примитивно рекурсивной)); - имеет навык равносильных преобразований формул АВ, применения АВ для решения текстовых задач и анализа РКС, доказательства выводимости в построенном исчислении формул (теорем); -способен уточнить понятие «алгоритма» с помощью рекурсивных функций и машин Тьюринга; -имеет навык построения машин Тьюринга для решения задач и действиями над ними; - умет доказывать рекурсивность основных функций.
СК-2	Овладение методом математического моделирования (способность к построению математических моделей, выбору и применению соответствующему модели математического метода решения задачи и интерпретации результатов)	- владеет аксиоматическим методом построения математических дисциплин на примерах ИВ и ИП; - готов исследовать различные системы на такие характеристики как полнота, непротиворечивость, разрешимость; - способен показать алгоритмическую неразрешимость проблемы останова, самоприменимости и др.
СК-3	Понимание методологической и историко-культурной функций математики	- способен применить аксиоматический метод к анализу произвольной математической теории; - имеет навык применения языка логики предикатов к анализу математических текстов (запись определения, предложения, теоремы) и построения противоположных. обратных утверждений данному и применять доказательство от противного; - знает методику формулирования необходимых и достаточных условий; - владеет навыком преобразований высказываний для анализа релейно-контактных схем и решения текстовых задач.

В результате изучения дисциплины студент должен

знать:

- этапы становления математической логики как особой математической дисциплины, начиная с логики Аристотеля; ее роль в развитии современной вычислительной техники;

- способы формализации систем и понятия «алгоритма»

- законы логической равносильности;

- компоненты (аксиомы и правила вывода) и характеристики (свойства) исчисления высказываний и исчисления предикатов;

- методы математической логики для изучения математических доказательств и теорий;

- различные определения понятия алгоритма;

- формулировку алгоритмически неразрешимых проблем;

- знать аксиоматический метод построения класса вычислимых функций;

уметь:

- распознавать тождественно истинные формулы алгебры высказываний и логики предикатов;

- применять средства языка логики предикатов для записи и анализа математических предложений;

- строить простейшие выводы в исчислении высказываний и исчислении предикатов, использовать эти модели для объяснений строения математических доказательств;

- строить машины Тьюринга для решения простых алгоритмических задач;

- доказывать вычислимость простейших функций в теории алгоритмов;

владеть:

- техникой равносильных преобразований логических формул;

- методами распознавания тождественно истинных и равносильных формул;

- дедуктивным аппаратом изучаемых логических исчислений;

- алгоритмом нумерации кортежей;

- алгоритмом разложения вычислимых функций в простейшие;

- способами получения из основных рекурсивных функций доказательств рекурсивности (примитивной, общерекурсивной и частичной) функций.

приобрести навыки:

- находить совершенные формы; проверять правильность рассуждений;

- выполнять упрощения формул алгебры высказываний с помощью основных равносильностей и построения таблиц истинности;

- составлять и упрощать комбинационные схемы с заданными условиями работы;

- доказывать выводимость формул исчисления высказываний;

- записывать в виде формул логики предикатов содержательные математические предложения;

- проверять формулы на общезначимость и выполнимость;

- доказывать рекурсивность той или иной функции, уметь строит из функций с помощью операций минимизации, постановки и рекурсии иные функции.