Рабочая программа дисциплины «Философия» для подготовки бакалавров по направлению 231000 «Программная инженерия» (аннотация)
Скачать 1 Mb.
|
РАБОЧАЯ ПРОГРАММА ДИСЦИПЛИНЫ «Теория вероятностей и математическая статистика» для подготовки бакалавров по направлению 231000 «Программная инженерия» (аннотация) Цели освоения дисциплины Дисциплина «Теория вероятностей и математическая статистика» предназначена для студентов второго курса, обучающихся по направлению 231000 «Программная инженерия». В результате изучения курса студент должен знать основные теоретические положения теории вероятностей и вводные понятия математической статистики. Студент должен уметь: вычислять основные статистические характеристики случайных событий, случайных величин и случайных процессов; конструировать байесовские решающие правила классификации; синтезировать оценки статистических характеристик и решающих привил классификации, а также находить их свойства. Общая трудоемкость дисциплины составляет 8 зачетных единицы, 288 часов. Содержание дисциплины Предмет теории вероятностей и математической статистики. Случайные события. Алгебра случайных событий; вероятность события; непосредственный подсчет вероятностей в классическом случае; геометрические вероятности; основные теоремы теории вероятностей; повторение опытов; предельные распределения Лапласа и Пуассона. Одномерные случайные величины. Ряд распределения; функция распределения; плотность распределения вероятности; интегральные формулы полной вероятности и Байеса; байесовское решающее правило при классификации; основные законы распределения; числовые характеристики; производящая и характеристическая функции. Многомерные случайные величины. Функция и плотность распределения вероятности; условные законы распределения; законы распределения функции одной и нескольких случайных величин; характеристическая функция и моменты случайного вектора; многомерный нормальный закон распределения; комплексные случайные величины; линейные преобразования случайных величин; линеаризация функций; регрессия; классификация в распознавании образов. Энтропия и количество информации для дискретных и непрерывных случайных величин. Предельные теоремы теории вероятностей. Типы сходимости; неравенство Чебышева; закон больших чисел; центральная предельная теорема. Элементы математической статистики. Статистики; их свойства; неравенства для вариации оценок; оценки статистических характеристик дискретных и непрерывных случайных величин; оценка Розенблатта-Парзена; метод максимального правдоподобия; метод наименьших квадратов при линейной параметризации модели. Основные понятия теории случайных процессов. Законы распределения; математическое ожидание, дисперсия, корреляционная функция и их свойства; оценки статистических характеристик случайных процессов; линейные преобразования случайных функций; метод канонических разложений; случайные последовательности; марковские случайные процессы. Стационарные случайные процессы. Основные свойства стационарных случайных процессов; спектральное представление; понятие "белого шума"; стационарные и стационарно связанные случайные процессы; стационарные случайные последовательности. РАБОЧАЯ ПРОГРАММА ДИСЦИПЛИНЫ «Теория автоматов и формальных языков» для подготовки бакалавров по направлению 231000 «Программная инженерия» (аннотация) Цели освоения дисциплины Дисциплина «Основы построения трансляторов» предназначена для студентов третьего курса, обучающихся по направлению 231000 «Программная инженерия». В результате изучения курса студент должен знать основные понятия теории порождающих грамматик (определение, основные свойства, классификация, эквивалентные преобразования грамматик); основные понятия теории КС- языков и МП-автоматов, связь между КС-грамматиками как порождающими моделями КС-языков и МП-автоматами как анализирующими моделями КС-языков, необходимые и достаточные условия принадлежности языка классу КС-языков (леммы о разрастании, лемма Огдена), свойства алгебраической замкнутости класса КС-языков; теоретические основы построения алгоритмов синтаксического анализа КС-языков, включая определение LL(k)-и LR(k)-грамматик, детерминированных МП-анализаторов, как нисходящих (LL-анализаторы), так и восходящих (LR-анализаторы типа «перенос-свертка»). Студент должен уметь применять алгоритмы эквивалентных преобразований грамматик, включая преобразование грамматик произвольного вида к ОКЗ-форме; неукорачивающих грамматик к КЗ-форме; преобразование КС-грамматики к приведенной форме; анализировать необходимые условия того, что язык является КС-языком, используя лемму о разрастании, лемму Огдена, а также алгебраические свойства класса КС-языков; строить МП-автомат по КС-грамматике и обратно; строить КС-грамматики для суперпозиций КС-языков и для пересечений КС-языков с регулярными языками; анализировать КС-грамматики на выполнение LL- и LR-условий. Общая трудоемкость дисциплины составляет 3 зачетных единиц, 144 часа. Содержание дисциплины Введение. Исторические сведения. Происхождение, первоначальные ожидания от теории формальных грамматик (в анализе естественного языка). Отказ от изначальных применений и переход к приложениям в формальных языках. Основные понятия теории автоматов. Алфавиты, слова, языки. Операции над словами и языками. Задача синтаксического анализа. Основные понятия формальных грамматик. Терминальные и нетерминальные символы. Правила вывода. Грамматический вывод. Классификация формальных грамматик. Иерархия Хомского формальных грамматики и языков. Конечные автоматы. Детерминированные конечные автоматы (ДКА). Диаграммы Мура (системы переходов). Вычисления ДКА. Язык ДКА. Недетерминированные конечные автоматы (НКА). Язык НКА. Теорема о детерминизации НКА. Пример экспоненциального увеличения размеров автомата при построении эквивалентного детерминированного. Конечные автоматы с пустыми переходами. Теорема об устранении пустых переходов. Операции над конечными автоматами. Эквивалентность и минимизация конечных автоматов. Проверка эквивалентности состояний. Алгоритм минимизации ДКА. Регулярные выражения. Операторы регулярных выражений. Регулярные выражения. Языки регулярных выражений. Построение регулярных выражений. Построение регулярного выражения по ДКА. Алгоритм преобразования регулярных выражений в ДКА. Теорема Клини. Лексический анализ. Применение регулярных выражений для решения задач лексического анализа. Алгебра Клини регулярных выражений. Основные законы алгебры Клини. Регулярные языки. Свойства замкнутости регулярных языков относительно теоретико-множественных операций, конкатенации, обращения, гомоморфизма. Различные способы задания регулярных языков. Теорема о совпадении классов регулярных языков, языков ДКА и языков регулярных выражений. Проверка пустоты регулярных языков и алгоритмы ее решения. Проблема принадлежности слова регулярному языку и алгоритмы ее решения. Лемма накачки. Применение леммы накачки для доказательства нерегулярности языков. Контекстно-свободные грамматики (КСГ) и языки и автоматы с магазинной памятью. Определение КСГ. Контекстно-свободный грамматический вывод. Примеры контекстно-свободных-языков (КСЯ). Деревья разбора. Взаимосвязь грамматического вывода и дерева разбора. Определение автомата с магазинной памятью (МПА). Вычисления МПА. Языки МПА. Допустимость по заключительному состоянию и по пустому магазину. Эквивалентность двух определений допустимости МПА. Преобразование КСГ в МПА. Построение КСГ по МПА. Детерминированные МПА (ДМПА). Теорема о дополнении детерминированного КСЯ. Соотношение между регулярными языками, КСЯ и языками ДМПА. Свойства КСГ. Нормальные формы КСГ. Приведение КСГ к нормальной форме Хомского. Лемма накачки для КСЯ. Примеры языков, не являющихся контекстно-свободными. Замкнутость КСЯ относительно подстановки, объединения, пересечения, гомоморфизма. Замкнутость КСЯ относительно пересечения с регулярными языками. Проблема неоднозначности для языков и грамматик. Определения. Формальные ряды. Примеры однозначных грамматик и языков. Примеры неоднозначной грамматики и неоднозначного языка с доказательствами. Языки и грамматики в целом. Линейные грамматики. Рекурсивно-перечислимые языки и грамматики. Алгоритмически разрешимые проблемы автоматов и формальных грамматик. Алгоритм проверки пустоты КС-языков. Алгоритм Кока-Янгера-Касами проверки принадлежности КСЯ произвольной строки. LL(k)-, LR(k)-грамматики. Алгоритмически неразрешимые проблемы автоматов и формальных грамматик. Неразрешимость проблемы минимизации для магазинного автомата. Эквивалентность автомата с двумя магазинами машине Тьюринга. Алгоритмическая неразрешимость проблемы однозначности. Примеры применений. Синтаксические анализаторы. Генераторы синтаксических анализаторов. Прикладные алгоритмы синтаксического анализа. Применения к комбинаторным проблемам. РАБОЧАЯ ПРОГРАММА ДИСЦИПЛИНЫ «Физика» для подготовки бакалавров по направлению 231000 «Программная инженерия» (аннотация) Цели освоения дисциплины Дисциплина "Физика" предназначена для студентов первого и второго курса,обучающихся по направлению 231000 «Программная инженерия». В результате изучения курса студент должен знать основные физические явления и основные законы физики, границы их применимости, использование физических знаний в важнейших практических приложениях; базовые физические величины и физические константы; их определение, смысл, способы и единицы их измерения; фундаментальные физические опыты и их роль в развитии физической науки; назначение и принципы действия важнейших физических приборов. Студент должен уметь правильно использовать законы физики твердого тела в научных исследованиях и разработках; проводить адекватное физическое и математическое моделирование; применять методы физико-математического анализа к решению конкретных естественно-научных и технических проблем Общая трудоемкость дисциплины составляет 8 зачетных единиц, 288 часов. Основные разделы дисциплины Физические основы механики Колебания и волны. Релятивистская механика Физическая термодинамика Электростатика Постоянный электрический ток Магнитостатика Электромагнитная индукция Электромагнитные волны Оптика РАБОЧАЯ ПРОГРАММА ДИСЦИПЛИНЫ «Информатика» для подготовки бакалавров по направлению 231000 «Программная инженерия» (аннотация) Цель освоения дисциплины Целью преподавания дисциплины «Информатика» является освоение студентами теоретических и практических основ информатики, умение использовать компьютерную технику в режиме пользователя для решения задач После изучения материала данного курса студент должен иметь представление об информации, методах её хранения, обработки и передачи; о роли информатики в научных исследованиях; о математическом моделировании; об основных направлениях развития ЭВМ и компьютерных технологий; о разнообразных типах операционных систем и о разнообразных типах программного обеспечения; основные типы алгоритмов; языки программирования; о принципах построения компьютерных сетей; организации работы в сети Internet. Студент приобретает знания и умения использовать: понятие информации, способы её хранения и обработки; систематизировать и обобщать информацию; структуру, принципы работы и основные возможности ЭВМ; создавать, редактировать программное обеспечение; создавать и работать с простейшими базами данных. Общая трудоемкость дисциплины составляет 4 зачетных единицы, 144 часа. Содержание дисциплины Основные понятия и методы теории информатики и кодирования. Сигналы, данные, информация. Раскрытие понятий: сообщения, данные, сигнал, атрибутивные свойства информации, показатели качества информации, формы представления информации. Системы передачи информации. Меры и единицы количества и объема информации. Общая характеристика процессов сбора, передачи, обработки и накопления информации. Изучение процессов сбора, передачи, хранения информации. Общие сведения о системах счисления и более детальное изучение позиционных систем счисления. Изучение логических основ ЭВМ. Технические средства реализации информационных процессов. История развития ЭВМ. Понятие и основные виды архитектуры ЭВМ. Состав и назначение основных элементов персонального компьютера, их характеристики. Запоминающие устройства: классификация, принцип работы, основные характеристики. Устройства ввода/вывода данных, данных, их разновидности и основные характеристики. Программные средства реализации информационных процессов. Понятие системного и служебного (сервисного) программного обеспечения: назначение, возможности, структура. Операционные системы. Файловая структура операционных систем. Операции с файлами. Технологии обработки текстовой информации. Электронные таблицы. Технологии обработки графической информации. Средства электронных презентаций. Модели решения функциональных и вычислительных задач. Моделирование как метод познания. Классификация и формы представления моделей. Методы и технологии моделирования. Информационная модель объекта. Алгоритмизация и программирование. Понятие алгоритма и его свойства. Блок-схема алгоритма. Основные алгоритмические конструкции. Базовые алгоритмы. Программы линейной структуры. Операторы ветвления. Операторы цикла. Технологии программирования и языки программирования высокого уровня. Этапы решения задач на компьютерах. Понятие о структурном программировании. Модульный принцип программирования. Подпрограммы. Принципы проектирования программ сверху-вниз и снизу-вверх. Объектно-ориентированное программирование. Эволюция и классификация языков программирования. Основные понятия языков программирования. Структуры и типы данных языка программирования. Трансляция, компиляция и интерпретация. Основные этапы компиляции, лексический семантический анализ выражения, формальная грамматика, компилятор формулы, дерево синтаксического разбора. Формальные грамматики. Базы данных. Локальные и глобальные сети ЭВМ. Основы баз данных и знаний. Системы управления базами данных. Сетевые технологии обработки данных. Основы компьютерной коммуникации. Принципы организации и основные топологии вычислительных сетей. Компьютерные коммуникации и коммуникационное оборудование. Сетевой сервис и сетевые стандарты. Программы для работы в сети Интернет. Защита информации в локальных и глобальных компьютерных сетях Шифрование данных. Электронная подпись. РАБОЧАЯ ПРОГРАММА ДИСЦИПЛИНЫ «Основы электроники» для подготовки бакалавров по направлению 231000 «Программная инженерия» (аннотация) Предмет изучения курса "Основы электроники" – основные понятия и законы теории электрических цепей; методы анализа линейных и нелинейных цепей; принцип действия и характеристики компонентов и узлов электронной аппаратуры; основы аналоговой и цифровой схемотехники. Целью изучения дисциплины " Основы электроники " является изучение принципов действия и особенностей функционирования типовых электронных устройств, основ элементной базы ЭВМ, методов анализа и расчета аналоговых и цифровых электронных схем. В задачи дисциплины входит изучение методов анализа и расчета линейных и нелинейных электрических цепей при действии сигналов различной формы; методов расчета установившихся и переходных процессов; принципов действия, характеристик, моделей и особенностей использования основных типов электронных приборов; принципов построения и основ анализа аналоговых и цифровых электронных схем и функциональных узлов цифровой аппаратуры. Дисциплина "Основы электроники" входит в вариативную часть математического и естественнонаучного цикла образовательной программы бакалавра. Ее изучение базируется на следующих курсах: Физика, Математический анализ, Алгебра и геометрия. Изучение дисциплины направлено на формирование следующих компетенций:
В результате изучения дисциплины студент должен знать:
|
Похожие:
 | Минобрнауки России от 19 декабря 2013 г. N 1367. Рабочая программа дисциплины предназначена для бакалавров всех форм обучения |  | Программа дисциплины предназначена для студентов, обучающихся по направлению 030900. 62 «Юриспруденция» (программа подготовки бакалавров).... |
| Программа предназначена для преподавателей, ведущих дисциплину «Английский язык» для студентов, обучающихся по направлению 09. 03.... | | Рабочая программа по дисциплине «Экологическое право» для бакалавров дневного отделения, обучающихся по направлению подготовки –... |
| Программа предназначена для преподавателей, ведущих дисциплину «Английский язык» для студентов, обучающихся по направлению 09. 03.... | | Рабочая программа предназначена для преподавания дисциплины по выбору «Законодательство о банкротстве: современная практика применения»... |
| Учебно-методическое пособие составлено в соответствии с программой дисциплины «Маркетинг» и предназначено для практических занятий... | | Цель геодезической практики развитие профессиональных компетенций и навыков их реализации у студентов в соответствии с требованиями... |
| Рабочая программа предназначена для преподавания дисциплины вариативной части профессионального цикла студентами очной формы обучения... | | П. П. Рабочая программа производственной практики для студентов, обучающихся по направлению подготовки 230700. 62 «Прикладная информатика»,... |