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

Направление 230100 "Информатика и вычислительная техника"
Профессионально-образовательная программа "Вычислительные машины, комплексы, системы и сети"

Дисциплина относится к вариативной части математического и естественнонаучного цикла дисциплин (Б2). Шифр дисциплины в рабочем учебном плане – Б2.В.ОД.2.

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

  • ОК-1. Владеет культурой мышления, способен к обобщению, анализу, восприятию информации, постановке цели и выбору путей ее достижения.
  • ОК-2. Умеет логически верно, аргументировано и ясно строить устную и письменную речь.
  • ОК-10. Использует основные законы естественнонаучных дисциплин в профессиональной деятельности, применяет методы математического анализа и моделирования, теоретического и экспериментального исследования.
  • ПК-2. Осваивать методики использования программных средств для решения практических задач.

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

знать:

  • основы логики высказываний, логики предикатов и теории алгоритмов;
  • основные методы и алгоритмы математической логики, связанные с моделированием и оптимизацией систем различной природы;

уметь:

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

владеть навыками:

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

Направление 010300 «Фундаментальная информатика и информационные технологии»
Профессионально-образовательная программа «Супервычисления»

Дисциплина относится к вариативной части математического и естественнонаучного цикла дисциплин (Б2). Шифр дисциплины в рабочем учебном плане – Б2.Б.4.

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

  • ПК-4. Способность понимать и применять в исследовательской и прикладной деятельности современный математический аппарат, фундаментальные концепции и системные методологии, международные и профессиональные стандарты в области информационных технологий, способность использовать современные инструментальные и вычислительные средства (в соответствии с профилем подготовки).
  • ПК-8. Способность профессионально владеть базовыми математическими знаниями и информационными технологиями, эффективно применять их для решения научно-технических задач и прикладных задач, связанных с развитием и использованием информационных технологий.
  • ПК-15.Понимание концепций и абстракций, способность использовать на практике базовые математические дисциплины, включая: Математический анализ I; Математический анализ II; Алгебра и геометрия; Теория функций комплексной переменной; Функциональный анализ; Математическая логика и теория алгоритмов; Теория автоматов и формальных языков; Дифференциальные и разностные уравнения; Теория вероятностей и математическая статистика; Вычислительные методы; Методы оптимизации и исследование операций; 
  • ПК-16. Понимание концепций и основных законов естествознания, в частности, физики.

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

знать:

  • основы логики высказываний, логики предикатов и теории алгоритмов;
  • основные методы и алгоритмы математической логики, связанные с моделированием и оптимизацией систем различной природы;

уметь:

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

владеть навыками:

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

Преподаватель: Самохвалов Климентий Фёдорович