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

Вид материала

Документы

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

Подобный материал:

• Рабочей программы дисциплины Микроконтроллеры и микропроцессоры в системах управления, 19.08kb.
• Основная образовательная программа высшего профессионального образования Направление, 660.25kb.
• Рабочей программы дисциплины Методы управления развитием сложных технических систем, 23.23kb.
• Рабочей программы дисциплины телемеханика по направлению подготовки 220400 Управление, 23.18kb.
• Рабочей программы дисциплины Электромеханические системы по направлению подготовки, 24.18kb.
• Рабочей программы дисциплины «Метрология и измерительная техника» по направлению подготовки, 25.83kb.
• Рабочей программы дисциплины Автоматизированные информационно-управляющие системы, 23.35kb.
• Рабочей программы дисциплины Технические средства автоматизации и управления по направлению, 31.14kb.
• Рабочей программы дисциплины Теория автоматического управления по направлению подготовки, 19.98kb.
• Рабочая программа учебной дисциплины " технические средства автоматизации и управления", 221.12kb.

АННОТАЦИЯ

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

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


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

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

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

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

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

бакалавр

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

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

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

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

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

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

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

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

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

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

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

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

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


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

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

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

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

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

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

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


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

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