Аннотация дисциплины «Философия» для подготовки бакалавров по направлению 231000. 62 «Программная инженерия» Цели освоения дисциплины
Вид материала | Документы |
- Программа дисциплины Экономика для направления 23100. 62 «Бизнес-информатика» подготовки, 335.25kb.
- Факультет Бизнес Информатика Отделение программной инженерии программа дисциплины, 257.29kb.
- Программа для поступающих на Направления подготовки бакалавров 231000 «Программная, 191.41kb.
- Программа вступительного экзамена вмагистратуру по направлению 231000 "программная, 164.29kb.
- Рабочая программа дисциплины «Web-дизайн» Направление подготовки, 154.39kb.
- Рабочая программа дисциплины «Нечеткая логика» Направление подготовки, 187.17kb.
- Рабочая программа дисциплины «Информатика и программирование» Направление подготовки, 265kb.
- Рабочая программа дисциплины «Дискретная математика» Направление подготовки, 125.26kb.
- Рабочая программа дисциплины «Методы вычислений» Направление подготовки, 210.2kb.
- Рабочая программа дисциплины «Базы данных» Направление подготовки, 236.64kb.
АННОТАЦИЯ ДИСЦИПЛИНЫ
«Социология»
для подготовки бакалавров
по направлению 231000.62 «Программная инженерия»
Цели и задачи дисциплины
Дисциплина «Социология» представляет собой целостную дисциплину направленную на изучение теоретических направлений фундаментального уровня, которые с разных мировоззренческих и научно-теоретических позиций раскрывают вопросы функционирования и самовоспроизводства общества, причины и направленность социальных изменений, сущность и механизмы социального взаимодействия людей в обществе.
Целью преподавания дисциплины «Социология» является формирование у студентов базовых знаний функционирования социологической науки, формирование способных к анализу и прогнозированию сложных социальных проблем личностей.
В ходе изучения дисциплины «Социология» студенты должны усвоить определения и понятия «Социологии»; понимать теоретическое и практическое значение социологии как науки, образовательной дисциплины и практической сферы деятельности; развить умения применить общенаучные и специфически социологические приемы аргументации, моделирования для анализа социальных процессов; иметь представление о процессах глобализации и месте России в мировом сообществе.
В результате изучения дисциплины «Социология» у студентов должны быть сформированы компетенции по:
- представлению о факторах влияющих на социализацию личности;
- определению закономерностей и форм регуляции социального поведения, в том числе и конкретных профессиональных групп;
- пониманию природы социальных общностей, специфики их интересов;
- использованию конкретных методов социологического исследования для решения задач профессиональной деятельности;
- составлению научно-исследовательских отчетов, обзоров и прогнозов;
- определению основных источников возникновения и развития массовых социальных движений.
Виды учебной работы: лекции, семинары, самостоятельная работа студентов.
Общая трудоемкость дисциплины составляет 3 зачетные единицы, 108 часов.
АННОТАЦИЯ ДИСЦИПЛИНЫ
«Профессионально-ориентированный английский язык»
для подготовки бакалавров
по направлению 231000.62 «Программная инженерия»
Цели освоения дисциплины
Дисциплина "Профессионально-ориентированный английский язык" предназначена для студентов третьего курса, обучающихся по направлению 231000.62 «Программная инженерия».
Целью дисциплины является углубленное изучение английского языка в части повышения уровня профессионального общения на английском языке в устной и письменной речи.
Задачами дисциплины являются изучение специфических языковых средств письменной и устной профессиональной речи; освоение дополнительных объемов профессиональной лексики; изучение вспомогательных технических средств поиска и обработки англоязычной информации и перевода.
В результате изучения дисциплины студент должен знать: характерные особенности профессионально-ориентированного и научного стиля в английском языке; основную профессиональную лексику в области информатики и вычислительной техники; функциональные возможности, ограничения, достоинства и недостатки вспомогательных технических средств перевода, методологию и технологию их использования; уметь: письменно переводить профессиональные и научные тексты в области информатик и вычислительной техники; пользоваться вспомогательными техническими средствами перевода; работать с печатными и электронными словарями и справочниками; владеть навыками: чтения профессиональных и научных текстов на английском язык; передачи смысла профессиональных и научных материалов с помощью типовых языковых конструкций; подготовка наиболее распространенных видов профессиональных и научных материалов – рефератов, докладов, статей на английском языке.
Общая трудоемкость дисциплины составляет 3 зачетные единицы, 108 часов.
Содержание дисциплины
Специфика научного стиля. Особенности стиля для профессиональной области «Программная инженерия». Типовые клише, грамматические конструкции и языковые обороты для передачи наиболее распространенных профессиональных и научных выражений. Особенности различных диалектов английского языка. Международный английский язык. Специфика оформления англоязычных публикаций. Англоязычная библиография. Десятичная классификация Дьюи на английском языке. Использование сети Интернет для работы с англоязычными библиотеками.
АННОТАЦИЯ ДИСЦИПЛИНЫ
«Информационная культура»
для подготовки бакалавров
по направлению 231000.62 «Программная инженерия»
Цели и задачи дисциплины
Основная цель изучения дисциплины заключается в формировании общих представлений об информационных процессах в обществе, а также компетенций, связанных с культурой поиска, обработки и использования информации для профессиональной, научной и общественной деятельности.
Задачи дисциплины: определение места информации в системе научных понятий; изучение основ терминологии; знакомство с системами классификации информации и библиотековедения; получение представления о системе образования и системе организации науки в Российской Федерации; изучение классификации и практических приемов оформления различных видов печатных материалов; изучение принципов и процедур патентования в Российской Федерации.
В результате изучения дисциплины студент должен знать: место информации в системе научных понятий; математические принципы создания и функционирования терминосистем; основные классификаторы информации в библиотеках; принципы функционирования системы образования и организации науки в Российской федерации; особенности оформления публикаций различного вида; методологию патентования изобретений и программ ЭВМ; уметь: использовать текстовые редакторы для оформления документов с учетом их вида и возможностей редакторов по автоматизации работы; оформлять заявки на патенты для изобретений и программ ЭВМ; работать в библиотеках с основными классификаторами; искать нужную информацию в каталогах библиотек, информационных изданиях и сети Интернет; владеть навыками: оформления электронных документов; формировать и читать коды основных классификаторов (УДК, ББК); преобразовывать форматы электронных документов.
Общая трудоемкость дисциплины составляет 3 зачетные единицы, 108 часов.
Основные разделы дисциплины
Понятие информации в системе научных понятий: фундаментальность, особенности применения законов природы к информации, информация как наиболее общее свойство для всех явлений окружающего мира. Терминология. Библиотековедение. Классификаторы. Понятие импакт-фактора, индекса цитируемости.
Система образования в РФ. Права специалистов, бакалавров и магистров. Второе высшее образование, дополнительное высшее образование, послевузовское образование. Система организации науки в РФ.
Публикации и их виды. Система стандартов на оформление публикаций. Патентоведение. Система регистрации компьютерных программ. Электронные публикации.
Автоматизированные технологии подготовки текстов в редакторе MS Word. Правила оформления ссылок на литературные источники в зависимости от вида издания. Формирование УДК и ББК для заданного материала, расшифровка УДК и ББК.
АННОТАЦИЯ ДИСЦИПЛИНЫ
«Математический анализ»
для подготовки бакалавров
по направлению 231000.62 «Программная инженерия»
Цели освоения дисциплины
Дисциплина "Математический анализ" предназначена для студентов первого курса, обучающихся по направлению 231000.62 «Программная инженерия».
Целью дисциплины является формирование у будущих специалистов основных представлений в области математического анализа, необходимых для использования в других математических дисциплинах; получение основных навыков решения задач математического анализа. Во время обучения студент изучает теорию пределов и дифференциального исчисления, включая исследование функций и построение их графиков; интегральное исчисления, включая неопределенные интегралы, определенные интегралы, несобственные интегралы; основы дифференциального исчисления функций многих переменных; основы теории дифференциальных уравнений.
Общая трудоемкость дисциплины составляет 11 зачетных единиц, 396 часов.
Содержание дисциплины
Предмет и метод математики. Структура и содержание курса высшей математики, его роль в подготовке современного специалиста высшей квалификации.
Логические высказывания и операции над ними, кванторы, построение отрицания сложных логических высказываний, содержащих кванторы. Математическая теорема как логическое высказывание. Прямое доказательство теоремы и доказательство от противного. Метод математической индукции. Бином Ньютона. Множество, подмножество, равенство множеств, операции над множествами, пустое множество.
Числовые последовательности, способы задания, операции над последовательностями. Предел последовательности. Сходящиеся и расходящиеся последовательности.
Определение предела функции в точке. Предел функции при стремлении аргумента к бесконечности. Бесконечные пределы. Основные теоремы о пределах функций.
Непрерывность функции. Непрерывность суммы, произведения, частного непрерывных функций, непрерывность сложной функции. Точки разрыва и их классификация. Непрерывность функции на интервале и на отрезке.
Дифференциальное исчисление функций одного переменного. Производная функции. Геометрический и механический смысл производной. Уравнения касательной и нормали к плоской кривой. Дифференцируемые функции. Производная суммы, произведения и частного дифференцируемых функций, производная сложной и обратной функции. Таблица производных элементарных функций.
Приложения дифференциального исчисления. Формула Тейлора с остаточным членом в форме Лагранжа и Пеано. Формула Маклорена. Представление по формуле Маклорена некоторых элементарных функций. Применение формулы Тейлора в приближенных вычислениях.
Векторная функция скалярного аргумента со значениями в трехмерном действительном пространстве, ее годограф. Уравнения пространственной кривой.
АННОТАЦИЯ ДИСЦИПЛИНЫ
«Алгебра и геометрия»
для подготовки бакалавров
по направлению 231000.62 «Программная инженерия»
Цели освоения дисциплины
Дисциплина "Алгебра и геометрия" предназначена для студентов первого курса, обучающихся по направлению 231000.62 «Программная инженерия». Целью дисциплины является формирование у будущих специалистов твердых теоретических знаний в области современной алгебры и геометрии, необходимых для использования в других математических дисциплинах, а также в решении различных прикладных задач.
Во время обучения студент изучает векторную алгебру и аналитическую геометрию; основы теории матриц и систем линейных уравнений (включая определители); основы линейной алгебры, включая линейные пространства, евклидовы пространства, квадратичные формы, линейные операторы; основы общей алгебры, включая теорию множеств, теорию упорядоченных множеств, основные алгебраические структуры, булевы функции и реляционную алгебру.
Общая трудоемкость дисциплины составляет 5 зачетных единиц, 180 часов.
Содержание дисциплины
Векторная алгебра. Скалярные и векторные величины. Связанные, скользящие и свободные векторы. Линейные операции над векторами и их свойства. Аналитическая геометрия.
Аффинная система координат в пространстве. Прямоугольная система координат. Прямая на плоскости, различные виды уравнения прямой на плоскости, геометрическое толкование параметров уравнений. Взаимное расположение двух прямых на плоскости. Плоскость, различные виды уравнения плоскости и геометрическое толкование параметров уравнений.
Кривые и поверхности 2-го порядка. Геометрическое определение эллипса, гиперболы, параболы. Вывод их канонических уравнений. Параметры кривых 2-го порядка.
Комплексные числа. Определение. Операции над комплексными числами. Геометрическая интерпретация комплексных чисел. Действительная и мнимая части.
Определители 2-го и 3-го порядков. Перестановки, подстановки, четность. Определители n-то порядка. Свойства. Методы вычисления определителей.
Понятие числовой матрицы. Специальные виды матриц. Линейные операции над матрицами, транспонирование матрицы и их свойства. Умножение матриц и его свойства. Элементарные преобразования матриц.
Системы линейных алгебраических уравнений, их виды и формы их записи. Критерий Кронекера – Капелли совместности СЛАУ. Формулы Крамера. Свойства решений однородной СЛАУ. Фундаментальная система решений и общее решение однородной СЛАУ. Техника решения систем линейных уравнений. Метод Гаусса.
Понятие алгебраической операции. Алгебраические структуры и их классификация. Понятие группы, примеры. Образующие. Конечные группы. Теорема Лагранжа.
АННОТАЦИЯ ДИСЦИПЛИНЫ
«Математическая логика и теория алгоритмов»
для подготовки бакалавров
по направлению 231000.62 «Программная инженерия»
Цели освоения дисциплины
Дисциплина "Логика и теория алгоритмов" предназначена для студентов второго
курса, обучающихся по направлению 231000.62 «Программная инженерия». В результате изучения курса студент должен знать основные понятия математической логики: формальной теории, исчисления; структуру исчислений высказываний и предикатов 1-го порядка; основные понятия теории алгоритмов: интуитивная концепция алгоритма, уточнения понятия алгоритма (машины Тьюринга и нормальные алгоритмы Маркова); основные неразрешимые массовые проблемы.
Студент должен уметь доказывать формулы в исчислении высказываний и предикатов 1-го порядка; составлять программы машин Тьюринга и схемы нормальных алгоритмов для решения простых вычислительных задач.
Общая трудоемкость дисциплины составляет 3 зачетные единицы, 108 часов.
Содержание дисциплины
Логика высказываний (пропозициональная логика). Высказывания и истинностные значения высказываний. Логические операции. Формулы логики высказываний (пропозициональные формулы). Истинностные функции. Тавтологии. Эквивалентность формул. Замена эквивалентным и двойственность. Дизъюнктивная и конъюнктивная нормальные формы.
Классическое исчисление высказываний. Аксиомы и правила вывода. Вывод формул и вывод формул из гипотез. Теорема о дедукции. Теоремы полноты и непротиворечивости.
Исчисление предикатов. Предикаты и кванторы. Предикатные формулы. Интерпретация предикатных формул. Выполнимость, истинность. Логическая общезначимость.
Аксиомы и правила вывода исчисления предикатов 1-го порядка. Структура теории 1-го порядка. Нормальные алгоритмы и машины Тьюринга. Вычисление словарных функций нормальными алгоритмам и и машинами Тьюринга. Принцип нормализации и тезис Тьюринга.
Универсальные алгоритмы. Теоремы сочетания. Разрешимость и перечислимость. Неразрешимые массовые проблемы.
АННОТАЦИЯ ДИСЦИПЛИНЫ
«Дискретная математика»
для подготовки бакалавров
по направлению 231000.62 «Программная инженерия»
Цели освоения дисциплины
Дисциплина "Дискретная математика" предназначена для студентов второго курса, обучающихся по направлению 231000.62 «Программная инженерия».
В результате изучения курса студент должен знать основные теоретические положения двойных и тройных интегралов и приёмы их вычисления; основные понятия числовых рядов; основные понятия теории вероятностей и основные законы распределения, используемые в различных областях техники; основные задачи математической статистики; основные приёмы обработки данных.
Студент должен уметь вычислять кратные интегралы; исследовать на сходимость числовые ряды; применять основные понятия теории вероятностей при решении практических задач; решать стандартные задачи математической статистики.
Общая трудоемкость дисциплины составляет 5 зачетных единиц, 180 часов.
Содержание дисциплины
Предмет теории вероятностей. Понятие пространства элементарных событий. Случайные события. Алгебра случайных событий. Диаграммы Венна. Различные определения вероятности случайного события: классическое, статистическое, геометрическое, аксиоматическое. Основные свойства вероятности.
Условные вероятности. Формула Байеса. Независимые испытания. Биномиальная схема независимых испытаний. Формула Бернулли и следствия из нее (вероятность появления в n испытаниях не менее и не более заданного числа успехов).
Случайные величины. Функция распределения и ее свойства. Дискретные случайные величины, их функции распределения.
Биномиальное распределение. Распределение Пуассона. Непрерывные случайные
величины. Функция плотности вероятности (ФПВ) непрерывной случайной величины и ее свойства. Равномерное распределение. Нормальное распределение. Функция Лапласа и ее свойства.
Функция распределения случайного вектора и ее свойства. Дискретные случайные векторы и их функции распределения. Непрерывные случайные векторы. Свойства функции плотности вероятности непрерывного случайного вектора. Понятие зависимости и независимости случайных величин.
Функциональные преобразования случайных величин.
Числовые характеристики случайных величин: математическое ожидание и его свойства; дисперсия и ее свойства. Ковариация и ее свойства. Коэффициент корреляции и его свойства. Связь между коррелированными и зависимыми случайными величинами. Ковариационная и корреляционная матрицы. Числовые характеристики основных законов распределения.
Двумерный нормальный закон распределения, маргинальные распределения. Условные законы распределения. Условные числовые характеристики.
АННОТАЦИЯ ДИСЦИПЛИНЫ
«Теория вероятностей и математическая статистика»
для подготовки бакалавров
по направлению 231000.62 «Программная инженерия»
Цели освоения дисциплины
Дисциплина «Теория вероятностей и математическая статистика» предназначена для студентов второго курса, обучающихся по направлению 231000.62 «Программная инженерия».
В результате изучения курса студент должен знать основные теоретические положения теории вероятностей и вводные понятия математической статистики.
Студент должен уметь: вычислять основные статистические характеристики случайных событий, случайных величин и случайных процессов; конструировать байесовские решающие правила классификации; синтезировать оценки статистических характеристик и решающих привил классификации, а также находить их свойства.
Общая трудоемкость дисциплины составляет 8 зачетных единиц, 288 часов.
Содержание дисциплины
Предмет теории вероятностей и математической статистики.
Случайные события. Алгебра случайных событий; вероятность события; непосредственный подсчет вероятностей в классическом случае; геометрические вероятности; основные теоремы теории вероятностей; повторение опытов; предельные распределения Лапласа и Пуассона.
Одномерные случайные величины. Ряд распределения; функция распределения; плотность распределения вероятности; интегральные формулы полной вероятности и Байеса; байесовское решающее правило при классификации; основные законы распределения; числовые характеристики; производящая и характеристическая функции.
Многомерные случайные величины. Функция и плотность распределения вероятности; условные законы распределения; законы распределения функции одной и нескольких случайных величин; характеристическая функция и моменты случайного вектора; многомерный нормальный закон распределения; комплексные случайные величины; линейные преобразования случайных величин; линеаризация функций; регрессия; классификация в распознавании образов.
Энтропия и количество информации для дискретных и непрерывных случайных величин.
Предельные теоремы теории вероятностей. Типы сходимости; неравенство Чебышева; закон больших чисел; центральная предельная теорема.
Элементы математической статистики. Статистики; их свойства; неравенства для вариации оценок; оценки статистических характеристик дискретных и непрерывных случайных величин; оценка Розенблатта-Парзена; метод максимального правдоподобия; метод наименьших квадратов при линейной параметризации модели.
Основные понятия теории случайных процессов. Законы распределения; математическое ожидание, дисперсия, корреляционная функция и их свойства; оценки статистических характеристик случайных процессов; линейные преобразования случайных функций; метод канонических разложений; случайные последовательности; марковские случайные процессы.
Стационарные случайные процессы. Основные свойства стационарных случайных процессов; спектральное представление; понятие "белого шума"; стационарные и стационарно связанные случайные процессы; стационарные случайные последовательности.
АННОТАЦИЯ ДИСЦИПЛИНЫ
«Теория автоматов и формальных языков»
для подготовки бакалавров
по направлению 231000.62 «Программная инженерия»
Цели освоения дисциплины
Дисциплина «Основы построения трансляторов» предназначена для студентов третьего курса, обучающихся по направлению 231000.62 «Программная инженерия».
В результате изучения курса студент должен знать основные понятия теории порождающих грамматик (определение, основные свойства, классификация, эквивалентные преобразования грамматик); основные понятия теории КС- языков и МП-автоматов, связь между КС-грамматиками как порождающими моделями КС-языков и МП-автоматами как анализирующими моделями КС-языков, необходимые и достаточные условия принадлежности языка классу КС-языков (леммы о разрастании, лемма Огдена), свойства алгебраической замкнутости класса КС-языков; теоретические основы построения алгоритмов синтаксического анализа КС-языков, включая определение LL(k)-и LR(k)-грамматик, детерминированных МП-анализаторов, как нисходящих (LL-анализаторы), так и восходящих (LR-анализаторы типа «перенос-свертка»).
Студент должен уметь применять алгоритмы эквивалентных преобразований грамматик, включая преобразование грамматик произвольного вида к ОКЗ-форме; неукорачивающих грамматик к КЗ-форме; преобразование КС-грамматики к приведенной форме; анализировать необходимые условия того, что язык является КС-языком, используя лемму о разрастании, лемму Огдена, а также алгебраические свойства класса КС-языков; строить МП-автомат по КС-грамматике и обратно; строить КС-грамматики для суперпозиций КС-языков и для пересечений КС-языков с регулярными языками; анализировать КС-грамматики на выполнение LL- и LR-условий.
Общая трудоемкость дисциплины составляет 4 зачетные единицы, 144 часа.