91快活林

  1. Образование
  2. Учебный план 02.03.02, 2026, (4.0), Фундаментальная информатика и информационные технологии
  3. Математическая логика и теория алгоритмов

Математическая логика и теория алгоритмов

PDF Программа дисциплины
Цели и задачи дисциплины
Целью дисциплины является знакомство обучающегося с базой математической логики и теории алгоритмов. Основные задачи дисциплины: изучение основ математической логики, в том числе логики высказываний и логики предикатов; освоение способов задания и анализа формальных языков; получение теоретических и практических навыков по формализации и разработке различных алгоритмов и оценке их сложности.
Краткое содержание дисциплины
В курсе рассматриваются следующие вопросы: введение в математическую логику, алгебра логики, булева алгебра и булевы функции, полнота в логике высказываний; основные понятия и свойства в логике предикатов, префиксная нормальная форма; виды и способы задания формальных языков; введение в теорию алгоритмов, исчисляемые функции, способы задания алгоритмов; виды оценок сложности алгоритма, правила вычисления оценки; структуры данных, используемые в алгоритмах, и базовые операции над ними, оценка сложности базовых операций, примеры алгоритмов, работающих с различными структурами данных; алгоритмы внутренней и внешней сортировки, особенности и примеры.
Компетенции обучающегося, формируемые в результате освоения дисциплины
Выпускник должен обладать:
  • ПК-1 Способен проводить анализ предметной области и формулировать требования к разработке программного обеспечения для решения задач профессиональной деятельности, применять современные методы и средства проектирования программного обеспечения с учетом архитектуры вычислительных систем (включая многопроцессорные вычислительные системы), использовать инструментальные и вычислительные средства при разработке алгоритмических и программных решений
You are reporting a typo in the following text:
Simply click the "Send typo report" button to complete the report. You can also include a comment.