В результате изучения дисциплины студент должен:
знать: основные определения и теоремы теории функций действительного переменного;
уметь: формулировать и доказывать основные классические и современные результаты дисциплины, решать классические задачи;
владеть: математическим аппаратом и методами решения задач теории функций действительного переменного.
Виды учебной работы: аудиторные учебные занятия (лекции), самостоятельная работа (изучение теоретического курса, домашние задачи).
Изучение дисциплины заканчивается экзаменом.
Математика. Адаптационный курс
Общая трудоемкость изучения дисциплины составляет 2 зачетные единицы ( 72 час).
Цели и задачи дисциплины
Цель изучения дисциплины состоит в том, чтобы по возможности быстро подтянуть школьную математическую подготовку первокурсников до уровня, необходимого для успешного освоения таких разделов высшей математики, как математический анализ, линейная алгебра, аналитическая геометрия и др.
Задачей изучения дисциплины является: повторить основные разделы курса элементарной математики.
Структура дисциплины (распределение трудоемкости по отдельным видам аудиторных учебных занятий и самостоятельной работы):
36 часов - практические занятия, 36 часов - самостоятельная работа
Основные дидактические единицы (разделы)
1. Преобразования арифметических и алгебраических выражений;
2. Решения алгебраических уравнений и неравенств;
3. Преобразования тригонометрических выражений;
4. Решение тригонометрических уравнений и неравенств;
5.Преобразование логарифмических и показательных выражений;
6.Решение логарифмических и показательных уравнений и неравенств;
7. Решение задач планиметрии и стереометрии.
В результате изучения дисциплины студент должен:
знать: основные понятия, формулы и теоремы элементарной математики
уметь: применять формулы и теоремы для решения различных задач
алгебры и геометрии
владеть:
1.Методами преобразования арифметических и алгебраических выражений;
2.Методами решения алгебраических уравнений и неравенств;
3.Методами преобразования тригонометрических выражений;
4.Методами решения тригонометрических уравнений и неравенств;
5.Методами преобразования логарифмических и показательных выражений;
6.Методами решения логарифмических и показательных уравнений и неравенств;
7.Методами решения задач планиметрии и стереометрии.
Виды учебной работы: практические занятия, самостоятельная работа.
Изучение дисциплины заканчивается зачетом.
Алгоритмы и рекурсивные функции
Общая трудоемкость изучения дисциплины составляет 3 зачетных единицы (108 час).
Цели и задачи дисциплины
Целью изучения дисциплины является
Введение в современную теорию алгоритмов; представление об алгоритмической неразрешимости массовых задач.
Задачей изучения дисциплины является: Освоение основных понятий и методов теории алгоритмов, получить представление о неразрешимости некоторых массовых задач.
Основные дидактические единицы (разделы): Машины Тьюринга; Рекурсивные функции; Рекурсивные множества.
В результате изучения дисциплины студент должен:
знать: основные понятия и результаты теории алгоритмов
уметь: строить алгоритмы решения
владеть: языком и методами теории алгоритмов
Виды учебной работы: лекционные и практические занятия
Изучение дисциплины заканчивается экзаменом
Базы данных
Общая трудоемкость изучения дисциплины составляет 3,0 зачетных единиц (108 час.).
Цели и задачи дисциплины
Целью изучения дисциплин является:
-
Дать студентам следующие базовые знания по базам данных:
-
основные понятия и принципы построения баз данных и информационных систем,
-
возможности современных систем управления базами данных (СУБД),
-
классические и современные синтаксические модели данных,
-
технологии создания БД и приложений,
-
теоретические основы логического проектирования БД в рамках реляционного подхода.
-
Привить и отработать у студентов умения и навыки создания БД и работы в среде
конкретной системы управления базами данных.
Задачей изучения дисциплин является формирование компетенций:
-
приобретение базовых знаний в области теории баз данных (ИК2);
-
способность применять полученные знания на практике (ОНК1);
-
отработка навыков работы с компьютером (ИК3);
-
умение ориентироваться в постановках задач (ОПК8).
Основные дидактические единицы (разделы):
-
Элементы проблематики баз данных.
-
Инфологическое проектирование баз данных.
-
Синтаксические модели данных.
-
Реляционный подход к созданию баз данных и практические приемы оптимальных
решений.
-
Системы и языки запросов. Элементы реляционной алгебры.
-
Перспективы развития технологии баз данных.
-
СУБД как инструмент создания, ведения и использования баз данных.
-
Физическое проектирование и вопросы эксплуатации баз данных.
В результате изучение дисциплины студент бакалавриата должен
Знать:
-
основные понятия и технологию построения баз данных;
-
модели представления предметной области и правила структуризации предметной области на основе модели «сущность-связь» (ER-модели);
-
классическую реляционную модель данных и ее современные разновидности;
-
правила преобразования ER-диаграммы предметной области в схему базы данных;
-
элементы реляционной алгебры;
-
механизмы контроля целостности баз данных;
-
системы и языки запросов современных СУБД. Языки манипулирования данными
конкретной СУБД и SQL.
Уметь:
-
выполнять анализ предметной области и постановку задачи на разработку базы данных. Создавать ER-диаграмму предметной области и соответствующую ей базу данных в среде конкретной СУБД;
-
записывать запросы к базе данных в форме реляционных выражений и реализовывать их на языке SQL или в виде приложений;
-
формировать пользовательский интерфейс и средства контроля целостности базы данных с использованием инструментов конкретной СУБД.
Владеть:
-
практическими навыками создания баз данных и информационных систем.
Виды учебной работы:
-
лекции – 0,9 зачетных единиц (32 час.);
-
практические занятия – 0,9 зачетных единиц (32 час.);
-
самостоятельная работа – 1,2 зачетных единиц (44 час.).
Изучение дисциплины заканчивается зачет в 6 семестре.
Избранные главы геометрии
Общая трудоемкость изучения дисциплины составляет 2 зачетных единицы (72 час).
Цели и задачи дисциплины
Целью изучения дисциплины является формирование у студентов представления о многообразии геометрических теорий, развитие геометрического мышления и творческого подхода к изучению математических дисциплин в целом и геометрии, в частности.
Задачей изучения дисциплины является изучение аксиоматического метода построения математических теорий, группового принципа оснований геометрии, знакомство с различными типами геометрий: евклидовой, Лобачевского, сферической, аффинной, проективной.
Структура дисциплины (распределение трудоемкости по отдельным видам аудиторных учебных занятий и самостоятельной работы): аудиторные занятия 1 з.е. (36 часов); самостоятельная работа 1 з.е. (36 часов).
Основные дидактические единицы (разделы):
Раздел 1. Евклидова геометрия.
Раздел 2. Сферическая геометрия.
Раздел 3. Геометрия Лобачевского.
Раздел 4. Аффинная геометрия
Раздел 5. Проективная геометрия
Раздел 6. Групповая точка зрения на геометрию.
Компетенции обучающегося, формируемые в результате освоения дисциплины.
Общекультурные компетенции: фундаментальная подготовка по основам профессиональных знаний и готовность к использованию их в профессиональной деятельности (ОК-11).
Профессиональные компетенции: умение формулировать результат (ПК-3), умение строго доказать утверждение (ПК-4), умение грамотно пользоваться языком предметной области (ПК-7), умение ориентироваться в постановках задач (ПК-8), знание корректных постановок классических задач (ПК-9), понимание корректности постановок задач (ПК-10), выделение главных смысловых аспектов в доказательствах (ПК-16).
В результате изучения дисциплины студент должен:
знать
аксиоматический метод построения геометрии Евклида и неевклидовых геометрий;
основные факты геометрии Лобачевского, а также сферической, аффинной, проективной геометрий;
модели геометрии Лобачевского: Кэли-Клейна, Пуанкаре на полуплоскости, конформная модель Пуанкаре, реализация геометрии Лобачевского на поверхности постоянной отрицательной кривизны;
способ введения однородных координат на проективной плоскости;
групповой принцип оснований геометрии.
уметь:
доказывать простейшие свойства геометрических фигур в евклидовом пространстве на основании систем аксиом;
изображать фигуры на плоскости Лобачевского в каждой из моделей: Кэли-Клейна, Пуанкаре на полуплоскости, конформной модели Пуанкаре
доказывать простейшие факты геометрии Лобачевского, а также сферической, аффинной, проективной геометрий;
работать с однородными координатами на проективной плоскости.
владеть основными понятиями неевкидовых геометрий, методами аксиоматического построения геометрий различных типов, способами доказательств элементарных фактов неевклидовой геометрии, навыками работы с кривыми, задаваемыми в однородных координатах на проективной плоскости.
Виды учебной работы: лекции, самостоятельная работа.
Изучение дисциплины заканчивается зачетом.
Основы математической типографии
Общая трудоемкость изучения дисциплины составляет 3 зачетных единиц (108 час).
Цели и задачи дисциплины
Современное научное и образовательное коммуникативное пространство богато нормами и формами представления результатов, классическое представление в форме печатной работы лишь одно из многих. Издательская система ТеХ позволяет эффективно решать задачу хранения и представления накопленной научно-технической информации в единообразном виде, причем это представление (и способ ее хранения) дают возможность как воспроизводить эту информацию в печатном виде с типографским качеством, так и представлять ее в электронной форме, в том числе в интернете. Это мощное инструментальное средство для всевозможных форм презентации деятельности.
Цель изучения дисциплины.
Настоящий курс посвящен изложению возможностей TeX для работы с разными форматами представления информации. Его целью является формирование у студентов умения использовать возможности издательской системы TeX для того, чтобы профессионально оформлять и представлять результаты выполненной работы как для докладов, так и для электронных или печатных публикаций.
Задачи изучения дисциплины:
-
понимание специфики требований к печатным публикациям и возможностей системы TeX/LaTeX.
-
освоение системы Latex как рабочего инструмент для создания выходных документов высокого качества.
Структура дисциплины (распределение трудоемкости по отдельным видам аудиторных учебных занятий и самостоятельной работы): аудиторные занятия 1 з.е. (32 часа); самостоятельная работа 1 з.е. (40 часов); экзамен 1 з.е.
Основные дидактические единицы (разделы):
Раздел 1. LaTeX – технология подготовки научного текста для публикации,
основные возможности по форматированию текста.
Раздел 2. LaTeX – тонкости набора и форматирование документа в целом с использованием пакетов.
Компетенции обучающегося, формируемые в результате освоения дисциплины: навыки работы с компьютером (ОК-12); базовые знания в областях информатики и современных информационных технологий, навыки использования программных средств и навыки работы в компьютерных сетях, умение создавать базы данных и использовать ресурсы Интернет (ОК-13); умение извлекать полезную научно-техническую информацию из электронных библиотек, реферативных журналов, сети Интернет (ПК-17).
В результате изучения дисциплины студент должен:
знать:
-
историю создания TeX и LaTeX, основные форматы представления научной публикации, структуру исходного файла в LaTeX, команды секционирования, базовые классы и пакеты. Знать, как осуществляется поддержка многоязычной среды, как происходит управление шрифтами; виды и принципы работы пакетов LaTeX;
-
основные возможности по набору математики.
уметь: пользоваться существующими пакетами Latex для подготовки печатных и электронных изданий.
владеть: издательской системой TeX и ее современными расширениями на уровне, достаточном для профессионального представления учебных и научных результатов в электронной и печатной формах.
Виды учебной работы: лекции и лабораторные занятия.
Изучение дисциплины заканчивается экзаменом.
Общая теория алгебраических систем
Общая трудоемкость изучения дисциплины составляет 3 зачетных единицы (108 час).
Цели и задачи дисциплины
Целью изучения дисциплины является: освоение основных понятий теории алгебраических систем.
Задачей изучения дисциплины является: освоение таких разделов теории алгебраических систем, как теории модулей, колец и полей, алгебры с делением.
Основные дидактические единицы (разделы): гомоморфизмы и прямые суммы колец и модулей, важнейшие классы колец, характеризация тела кватернионов и алгебры Кэли.
В результате изучения дисциплины студент бакалавриата должен:
знать: определения и теоремы основных классов алгебр, колец и модулей.
уметь: формулировать и доказывать основные теоремы курса;
владеть: важнейшими понятиями курса.
Виды учебной работы: лекции, практические занятия, самостоятельная работа.
Изучение дисциплины заканчивается экзаменом.
Алгебраические системы с дополнительной структурой
Общая трудоемкость изучения дисциплины составляет 5 зачетных единицы (180 час).
Цели и задачи дисциплины
Целью изучения дисциплины является: усвоение системы понятий и теорем теории линейных групп над кольцами и полями, способов характеризации алгебр Ли.
Задачей изучения дисциплины является: ознакомление с основными методами теории линейных групп, алгебр Ли и групп лиева типа.
Основные дидактические единицы (разделы): основные классы линейных групп, алгебры Ли и их подалгебры, группы Вейля, группы Шевалле и группы с BN-парой.
В результате изучения дисциплины студент магистратуры должен:
знать: основные результаты указанных разделов алгебры;
уметь: формулировать и доказывать важнейшие теоремы курса;
владеть: теорией линейных групп и алгебр Ли.
Виды учебной работы: лекции, практические занятия, самостоятельная работа.
Изучение дисциплины заканчивается экзаменом.
Формальные системы в логике и алгебре.
Общая трудоемкость изучения дисциплины составляет 4 зачетных единицы (144 час).
Цели и задачи дисциплины
Целью изучения дисциплины является овладение основными идеями и методами построения формальных теорий в различных областях математики, рассмотрение различных интерпретаций заданных теорий и построение и анализ алгоритмов символьных вычислений в изучаемых теориях.
Задачей изучения дисциплины является: формирование у студентов знаний в области алгебраической семантики нестандартных и классических логик, а так же ознакомление с алгоритмами символьных вычислений как в логике, так и в классической алгебре.
Основные дидактические единицы (разделы): логические матрицы, алгебраические логики, булевы, псевдобулевы и модальные алгебры, теорема о полноте, конгруэнции, идеалы, i-фильтры, теоремы о гомоморфизмах, алгоритмы в разрешимых логиках и классической алгебре.
В результате изучения дисциплины студент магистратуры должен:
знать: основные определения и теоремы указанных дидактических единиц;
уметь: применять основные теоремы к конкретным задачам, проводить преобразования в булевых, псевдобулевых и модальных алгебрах, строить алгоритмы символьных вычислений в классической алгебре и оценивать их сложность;
владеть: системой понятий, необходимых для понимания и решения задач, указанных в предыдущем пункте.
Виды учебной работы: лекции, практические занятия, самостоятельная работа.
Изучение дисциплины заканчивается экзаменом. |