Реферат: Рабочей программы дисциплины математическая логика по направлению подготовки 220400 Управление в технических системах

АННОТАЦИЯ

рабочей программы дисциплины

МАТЕМАТИЧЕСКАЯ ЛОГИКА


по направлению подготовки

220400 Управление в технических системах

профиль подготовки

Управление и информатика в технических системах

Квалификация (степень) выпускника

бакалавр



Цель дисциплины

Ознакомление учащихся с основными разделами математической логики и теории вычислимости, оказывающими наибольшее влияние на теорию и практику современного программирования.

^ 2. Требования к уровню освоения содержания дисциплины

Процесс изучения дисциплины направлен на формирование следующих компетенций:

-способностью владеть культурой мышления, способностью к обобщению, анализу, восприятию информации, постановке цели и выбору путей ее достижения-ОК-1;

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

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

^ 3. В результате освоения дисциплины обучающийся должен

знать: методы решения задач логического вывода; применение логических систем в качестве формальных языков представления знаний, методов дедуктивного извлечения знаний; моделей вычислений, положенных в основу современных и перспективных систем программирования; понятий универсального алгоритма.

уметь: применять современные теоретические и экспериментальные методы исследования,

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

4. Общая трудоемкость дисциплины составляет 180 часов, 5 зачетных единиц.

5. Вид промежуточной аттестации: экзамен


6. Основные разделы дисциплины:

1- Основные понятия математической логики;

2- Классическое исчисление высказываний;

3- Классическая логика предикатов первого порядка;

4- Модели вычислений;

5- Теория рекурсивных функций;

6- Формальная арифметика;


7. Разработчик(-и): Григорьева Татьяна Анатольевна

Кафедра Управления в технических системах