Рабочая программа дисциплины «Философия» для подготовки бакалавров по направлению 231000 «Программная инженерия»



страница2/6
Дата01.06.2016
Размер1 Mb.
ТипРабочая программа
1   2   3   4   5   6

РАБОЧАЯ ПРОГРАММА ДИСЦИПЛИНЫ

«Алгебра и геометрия»

для подготовки бакалавров

по направлению 231000 «Программная инженерия»

(аннотация)
Цели освоения дисциплины

Дисциплина "Алгебра и геометрия" предназначена для студентов первого курса, обучающихся по направлению 231000 «Программная инженерия». Целью дисциплины является формирование у будущих специалистов твердых теоретических знаний в области современной алгебры и геометрии, необходимых для использования в других математических дисциплинах, а также в решении различных прикладных задач.

Во время обучения студент изучает векторную алгебру и аналитическую геометрию; основы теории матриц и систем линейных уравнений (включая определители); основы линейной алгебры, включая линейные пространства, евклидовы пространства, квадратичные формы, линейные операторы; основы общей алгебры, включая теорию множеств, теорию упорядоченных множеств, основные алгебраические структуры, булевы функции и реляционную алгебру.
Общая трудоемкость дисциплины составляет 5 зачетных единиц, 180 часов.
Содержание дисциплины

Векторная алгебра. Скалярные и векторные величины. Связанные, скользящие и свободные векторы. Линейные операции над векторами и их свойства. Аналитическая геометрия.

Аффинная система координат в пространстве. Прямоугольная система координат. Прямая на плоскости, различные виды уравнения прямой на плоскости, геометрическое толкование параметров уравнений. Взаимное расположение двух прямых на плоскости. Плоскость, различные виды уравнения плоскости и геометрическое толкование параметров уравнений.

Кривые и поверхности 2-го порядка. Геометрическое определение эллипса, гиперболы, параболы. Вывод их канонических уравнений. Параметры кривых 2-го порядка.

Комплексные числа. Определение. Операции над комплексными числами. Геометрическая интерпретация комплексных чисел. Действительная и мнимая части.

Определители 2-го и 3-го порядков. Перестановки, подстановки, четность. Определители n-то порядка. Свойства. Методы вычисления определителей.

Понятие числовой матрицы. Специальные виды матриц. Линейные операции над матрицами, транспонирование матрицы и их свойства. Умножение матриц и его свойства. Элементарные преобразования матриц.

Системы линейных алгебраических уравнений, их виды и формы их записи. Критерий Кронекера – Капелли совместности СЛАУ. Формулы Крамера. Свойства решений однородной СЛАУ. Фундаментальная система решений и общее решение однородной СЛАУ. Техника решения систем линейных уравнений. Метод Гаусса.

Понятие алгебраической операции. Алгебраические структуры и их классификация. Понятие группы, примеры. Образующие. Конечные группы. Теорема Лагранжа.
РАБОЧАЯ ПРОГРАММА ДИСЦИПЛИНЫ

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

для подготовки бакалавров

по направлению 231000 «Программная инженерия»

(аннотация)
Цели освоения дисциплины

Дисциплина "Логика и теория алгоритмов" предназначена для студентов второго

курса, обучающихся по направлению 231000 «Программная инженерия». В результате изучения курса студент должен знать основные понятия математической логики: формальной теории, исчисления; структуру исчислений высказываний и предикатов 1-го порядка; основные понятия теории алгоритмов: интуитивная концепция алгоритма, уточнения понятия алгоритма (машины Тьюринга и нормальные алгорифмы Маркова), понятия вычислимости, разрешимости, перечислимости; основные неразрешимые массовые проблемы.

Студент должен уметь доказывать формулы в исчислении высказываний и предикатов 1-го порядка; составлять программы машин Тьюринга и схемы нормальных алгорифмов для решения простых вычислительных задач.


Общая трудоемкость дисциплины составляет 3 зачетных единицы, 108 часов.
Содержание дисциплины

Логика высказываний (пропозициональная логика). Высказывания и истинностные значения высказываний. Логические операции. Формулы логики высказываний (пропозициональные формулы). Истинностные функции. Тавтологии. Эквивалентность формул. Замена эквивалентным и двойственность. Дизъюнктивная и конъюнктивная нормальные формы.

Классическое исчисление высказываний. Аксиомы и правила вывода. Вывод формул и вывод формул из гипотез. Теорема о дедукции. Теоремы полноты и непротиворечивости.

Исчисление предикатов. Предикаты и кванторы. Предикатные формулы. Интерпретация предикатных формул. Выполнимость, истинность. Логическая общезначимость.

Аксиомы и правила вывода исчисления предикатов 1-го порядка. Структура теории 1-го порядка. Нормальные алгорифмы и машины Тьюринга. Вычисление словарных функций нормальными алгорифмам и и машинами Тьюринга. Принцип нормализации и тезис Тьюринга.

Универсальные алгоритмы. Теоремы сочетания. Разрешимость и перечислимость.Неразрешимые массовые проблемы.



РАБОЧАЯ ПРОГРАММА ДИСЦИПЛИНЫ

«Дискретная математика»

для подготовки бакалавров

по направлению 231000 «Программная инженерия»

(аннотация)
Цели освоения дисциплины

Дисциплина "Дискретная математика" предназначена для студентов второго курса, обучающихся по направлению 231000 «Программная инженерия».

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

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


Общая трудоемкость дисциплины составляет 5 зачетных единиц, 180 часов.
Содержание дисциплины

Предмет теории вероятностей. Понятие пространства элементарных событий. Случайные события. Алгебра случайных событий. Диаграммы Венна. Различные определения вероятности случайного события: классическое, статистическое, геометрическое, аксиоматическое. Основные свойства вероятности.

Условные вероятности. Формула Байеса. Независимые испытания. Биномиальная схема независимых испытаний. Формула Бернулли и следствия из нее (вероятность появления в n испытаниях не менее и не более заданного числа успехов).

Случайные величины. Функция распределения и ее свойства. Дискретные случайные величины, их функции распределения.

Биномиальное распределение. Распределение Пуассона. Непрерывные случайные

величины. Функция плотности вероятности (ФПВ) непрерывной случайной величины и ее свойства. Равномерное распределение. Нормальное распределение. Функция Лапласа и ее свойства.

Функция распределения случайного вектора и ее свойства. Дискретные случайные векторы и их функции распределения. Непрерывные случайные векторы. Свойства функции плотности вероятности непрерывного случайного вектора. Понятие зависимости и независимости случайных величин.

Функциональные преобразования случайных величин.

Числовые характеристики случайных величин: математическое ожидание и его свойства; дисперсия и ее свойства. Ковариация и ее свойства. Коэффициент корреляции и его свойства. Связь между коррелированными и зависимыми случайными величинами. Ковариационная и корреляционная матрицы. Числовые характеристики основных законов распределения.

Двумерный нормальный закон распределения, маргинальные распределения. Условные законы распределения. Условные числовые характеристики.



РАБОЧАЯ ПРОГРАММА ДИСЦИПЛИНЫ

«Теория вероятностей и математическая статистика»

для подготовки бакалавров

по направлению 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 «Программная инженерия»

(аннотация)
Предмет изучения курса "Основы электроники" – основные понятия и законы теории электрических цепей; методы анализа линейных и нелинейных цепей; принцип действия и характеристики компонентов и узлов электронной аппаратуры; основы аналоговой и цифровой схемотехники.

Целью изучения дисциплины " Основы электроники " является изучение принципов действия и особенностей функционирования типовых электронных устройств, основ элементной базы ЭВМ, методов анализа и расчета аналоговых и цифровых электронных схем.

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

Дисциплина "Основы электроники" входит в вариативную часть математического и естественнонаучного цикла образовательной программы бакалавра. Ее изучение базируется на следующих курсах: Физика, Математический анализ, Алгебра и геометрия.

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


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

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

  • сопряжение аппаратных и программных средств в составе информационных и автоматизированных систем;

  • инсталляция программного и аппаратного обеспечения для информационных и автоматизированных систем;

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

  • основы теории линейных и нелинейных электрических цепей;

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

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

  • классификацию и назначение функциональных узлов ЭВМ;

  • принципы построения структурных, функциональных и принципиальных схем узлов ЭВМ.


Каталог: sites -> edu.sfu-kras.ru -> files
files -> Дисциплины Современные проблемы науки и образования
files -> Дисциплины Современные проблемы науки и образования
files -> Дисциплины «История» Общая трудоемкость изучения дисциплины составляет 3 зач ед. ( 108 часов). Цели и задачи дисциплины
files -> «Философия образования и науки» Цели и задачи дисциплины: Цель
files -> Дисциплины «История» Общая трудоемкость изучения дисциплины составляет 3 зач ед. ( 108 часов). Цели и задачи дисциплины
files -> Федеральное государственное автономное образовательное
files -> Программа 080200. 68. 00. 18 Управление конфликтом
files -> Дисциплины Безопасность жизнедеятельности Общая трудоемкость изучения дисциплины составляет 5 зачетных единиц (180 часов). Цели и задачи дисциплины
files -> 2 з е.*36=72 час. Цели и задачи дисциплины
files -> Дисциплины Философия Общая трудоемкость изучения дисциплины составляет 4 зачетных единицы ( 144 часа)


Поделитесь с Вашими друзьями:
1   2   3   4   5   6


База данных защищена авторским правом ©psihdocs.ru 2017
обратиться к администрации

    Главная страница