Математическая логика и теория алгоритмов. Усенко О.А. - 3 стр.

UptoLike

Составители: 

3
1. МЕСТО, ЦЕЛИ и ЗАДАЧИ ДИСЦИПЛИНЫ
В ОБРАЗОВАТЕЛЬНОЙ ПРОФЕССИОНАЛЬНОЙ ПРОГРАММЕ,
реализуемой в университете
1.1. Место дисциплины в реализации основных задач образовательной про-
фессиональной программы (ОПП).
Математическая логика и теория алгоритмов являются необходимой составляющей для ос-
воения большинства дисциплин образовательной программы, реализуемой в университете и, в част-
ности, вносит необходимый вклад в достижение ожидаемых результатов в профессиональной части
программы подготовки системного аналитика на кафедре САиТ. Навыки работы с абстрактным ма-
тематическим аппаратом и правилами логического вывода необходимы
для построения формальных
моделей различных объектов и систем, проведения исследований, основанных на доказательствах, а
знания основ алгоритмической логики и принципов логического программирования лежат в основе
проектирования информационного и программного обеспечения компьютерной техники.
1.2. Место дисциплины в обеспечении образовательных интересов лично-
сти обучающегося студента по данной ОПП.
«Математическая логика и теория алгоритмов» вносит свой вклад в миссию ТРТУ, которая
состоит в удовлетворении потребностей личности в получении высшего образования в избранной
области профессиональной деятельности. Дисциплина «Математическая логика и теория алгорит-
мов» относится к общеобразовательным дисциплинам, изучение которой способствует формирова-
нию у студента инженерного образа мышления, способности к правильному
логическому выводу,
предоставляет схемы доказательства теоретических положений и логического программирования.
Разделы алгоритмической логики, а также нетрадиционных логик (нечеткой, темпоральной», модаль-
ной логик) способствуют расширению инженерного кругозора обучающегося студента.
1.3. Место дисциплины в удовлетворении требований заказчиков выпускни-
ков университета данной ОПП.
Дисциплина «Математическая логика и теория алгоритмов» вносит свой вклад в миссию
ТРТУ по удовлетворению потребности общества в квалифицированных специалистах. Дисциплина
обеспечивает получение студентами следующих знаний и навыков, в которых заинтересованы заказ-
чики выпускников университета: умение применять абстрактный математический аппарат логики
высказываний, логики предикатов, нетрадиционных логик для проведения системного анализа и фор
-
мализации инженерных задачи и проблем, навыки логического программирования и составления
алгоритмов решения различных задач с оценкой их временной и емкостной сложности.
1.4. Знания каких учебных дисциплин должны предшествовать изучению
дисциплины в данной ОПП.
Изучение дисциплины "Математическая логика и теория алгоритмов" использует материал
дисциплин: "Высшая математика", "Информатика", "Алгоритмические языки программирования".
1.5. Для изучения каких дисциплин будет использоваться материал дисцип-
лины при реализации рассматриваемой ОПП.
Дисциплина "Математическая логика и теория алгоритмов" является одной из основ для дис-
циплин "Дискретная математика", "Системотехника", "Организация ЭВМ", "Системы искусственного
интеллекта".
1.6. Цель преподавания дисциплины
Цель дисциплины «Математическая логика и теория алгоритмов» состоит в обеспечении сту-
дентов базовыми знаниями в области логики высказываний, логики предикатов, нечеткой логики и
алгоритмической логики, а также в приобретении навыков использования математического аппарата
для системного анализа проблем, решения практических задач, связанных с формализацией и алго-
ритмизацией процессов получения, переработки информации.