Алгебраические методы в информатике

Дисциплина «Алгебраические методы в информатике» входит в состав вариативной части блока Б1 дисциплин подготовки студентов по направлению подготовки 45.03.04 «Интеллектуальные системы в гуманитарной сфере». Дисциплина реализуется на Отделении интеллектуальные системы в гуманитарной сфере кафедрой математики, логики и интеллектуальных систем в гуманитарной сфере в 5 и 6 семестрах.

Содержание дисциплины охватывает круг вопросов, связанных с приложениями математики в информатике.

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

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

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

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

Знать:

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

Уметь:

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

Владеть:

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

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