Основная образовательная программа высшего профессионального образования Направление подготовки 230100 Информатика и вычислительная техника (стр. 7 )

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

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

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

· осваивать методики использования программных средств для решения практических задач (ПК-2);

· разрабатывать компоненты программных комплексов и баз данных, использовать современные инструментальные средства и технологии программирования (ПК-5);

· обосновывать принимаемые проектные решения, осуществлять постановку и выполнять эксперименты по проверке их корректности и эффективности (ПК-6).

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

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

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

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

Дисциплина включает следующие разделы:

· Введение;

· Понятие функции. Базовые функции языка Лисп;

· Определение функций. Вычисления в Лиспе;

· Внутренне представление списков;

· Основы рекурсии;

· Функционалы;

· Общий обзор языка Пролог. Синтаксис и семантика;

· Списки, арифметика, операторы. Управление перебором;

· Операции над структурами данных. Основные стратегии решения задач;

· И-ИЛИ-графы. Экспертные системы. Игры.

Аннотация примерной программы дисциплины

«Теория языков программирования и методы трансляции»

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

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

Дисциплина входит в вариативную часть профессионального цикла образовательной программы бакалавра. Дисциплина тесно связана с такими дисциплинами как «Программирование», «Структуры и алгоритмы обработки данных», «Дискретная математика», «Теория автоматов» и другие.

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

· осваивать методики использования программных средств для решения практических задач (ПК-2);

· разрабатывать модели компонентов информационных систем, включая модели баз данных (ПК-4);

· разрабатывать компоненты программных комплексов и баз данных, использовать современные инструментальные средства и технологии программирования (ПК-5);

· обосновывать принимаемые проектные решения, осуществлять постановку и выполнять эксперименты по проверке их корректности и эффективности (ПК-6).

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

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

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

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

Дисциплина включает следующие разделы:

· Введение;

· Формальные языки и грамматики;

· Регулярные языки и грамматики;

· Контекстно-свободные языки и грамматики;

· Нисходящий синтаксический анализ;

· Восходящий синтаксический анализ;

· Включение действий и семантики в синтаксис;

· Проверка типов;

· Генерация промежуточного кода.

Аннотация примерной программы дисциплины

«Системы управления базами данных»

Цель дисциплины: формирование у студентов знаний основ теории баз данных и выработка практических навыков проектирования прикладного программного обеспечения на базе современных СУБД.

Задачи дисциплины: изучить принципы построения и функционирования систем управления базами данных (СУБД), методы проектирования прикладного программного обеспечения на базе современных СУБД.

Дисциплина входит в вариативную часть профессионального цикла образовательной программы бакалавра.

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

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

Уметь: применять на практике формальные методы построения БД, основанные на реляционной модели данных, использовать средства СУБД.

Владеть: методами проектирования прикладного программного обеспечения на базе современных СУБД.

Дисциплина включает следующие разделы:

· Основные концепции баз данных;

· Реляционная модель данных;

· Теоретические основы проектирования баз данных;

· Создание и корректировка базы данных;

· Упорядочение записей файла БД. Поиск в БД;

· Реализация основных операций реляционной алгебры.

Аннотация примерной программы дисциплины

«Технология разработки программного обеспечения»

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

Задачи дисциплины: формирование цельного представления о разработке программного обеспечения (ПО) как инженерной науке; выработка представлений о базовых технологиях, используемых на различных этапах разработки программного обеспечения сложных компьютерных систем; развитие навыков применения различных средств функционального моделирования; получение представления о современных CASE-средствах и системах; получение опыта профессионального проектирования программного обеспечения в рамках курсового проекта по индивидуальному заданию.

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

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

· осваивать методики использования программных средств для решения практических задач (ПК-2);

· разрабатывать компоненты программных комплексов и баз данных, использовать современные инструментальные средства и технологии программирования (ПК-5);

· обосновывать принимаемые проектные решения, осуществлять постановку и выполнять эксперименты по проверке их корректности и эффективности (ПК-6).

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

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

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

Владеть: инструментальными средствами анализа, проектирования и разработки программного обеспечения в рамках современных CASE-систем.

Дисциплина включает следующие разделы:

· Введение;

· Жизненный цикл программного обеспечения;

· Основы анализа и синтеза программных систем;

· Структурный подход к проектированию программного обеспечения;

· Основы объектно-ориентированного представления программных систем;

· Унифицированный язык моделирования;

· Процесс разработки объектно-ориентированных программных систем;

· Управление проектом.

Аннотация примерной программы дисциплины

«Архитектура вычислительных систем»

Цель дисциплины: знакомство со способами организации и типами вычислительных систем, RISC-архитектурами, конвейерами, технологиями параллельной обработки ин­формации, суперскалярными и VLIW-архитектурами, организацией памяти, многомашинными и многопроцессорными структурами, матричными и векторными системами, технологиями распре­делённой обработки данных.

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

Дисциплина входит в вариативную часть профессионального цикла образовательной программы бакалавра.

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

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

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

Владеть: методами и средствами оценивания характеристик вычислительных систем.

Дисциплина включает следующие разделы:

· Введение;

· Классификация вычислительных систем и оценка производительности;

· Архитектура CISC- и RISC-процессоров;

· Конвейерная организация вычислительного процесса;

· Машины с суперскалярной обработкой;

· Архитектура организации памяти;

· Многопроцессорные архитектуры.

Аннотация примерной программы дисциплины

«Системное программирование»

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

Задачи дисциплины: выработать представление о принципах построения и алгоритмах использования системных служб ядра для создания приложений по управлению файлами, вводом-выводом, памятью, использованием исключением и применением политики безопасности; сформировать умение правильно выбирать и использовать функции интерфейса прикладного программирования API при управлении файлами, вводом-выводом, памятью с целью создания высококачественных и высокопроизводительных системных и прикладных программ; обеспечить получение практического опыта использования среды программирования Microsoft Visual C++ и библиотечных функций программного интерфейса API, а также разработки системных и прикладных программ на языке С++ обработки файлов, каталогов, реестра, использования ввода-вывода, управления динамической памятью.

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

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

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

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

Владеть: методами разработки и реализации системных и прикладных программ на языке Visual C++ обслуживания файлов, управления реестром, использующих ввод-вывод, обрабатывающих исключения, управления памятью в интерактивной среде программирования Microsoft Visual C++.

Дисциплина включает следующие разделы:

· Ознакомление с Win32 и Win64;

· Использование файловой системы и символьного ввода-вывода Win32 и Win64;

· Дополнительные методы работы с файлами и каталогами и реестр;

· Структурная обработка исключений;

· Безопасность объектов Win32 и Win64;

· Управление памятью, отображаемые в память файлы, динамические библиотеки;

Аннотация примерной программы дисциплины

«Распределенные базы данных»

Цель дисциплины: формирование у студентов знаний основ теории распределенных баз данных и распределенной обработки данных. Выработка практических навыков проектирования прикладного программного обеспечения на базе СУБД Oracle.

Задачи дисциплины: изучить основы теории распределенных баз данных и распределенной обработки данных; выработать практические навыки проектирования прикладного программного обеспечения на базе СУБД Oracle.

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

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

Знать: принципы построения и функционирования распределенных систем управления базами данных (СУБД), методы проектирования прикладного программного обеспечения на базе современных СУБД, методику проектирования распределенных баз данных, основные возможности СУБД ORACLE, а также категории стандартов и состав документов, используемых при проектировании баз данных; другие (сетевые и иерархические) модели данных.

Уметь: применять на практике формальные методы построения БД, основанные на реляционной модели данных, использовать средства СУБД ORACLE для реализации прикладного ПО, пользоваться стандартной терминологией и определениями.

Владеть: методами проектирования БД, методами организации среды хранения данных в распределенных СУБД.

Дисциплина включает следующие разделы:

· Введение;

· Архитектура распределенных систем обработки данных;

· Конфигурирование сетевых компонент Oracle, Создание таблиц;

· Выборка данных из базы данных, Основы команды SQL;

· Словарь данных Oracle;

· Представления. Последовательности;

· Безопасность и санкционирование доступа;

· Программирование в PL/SQL;

· Обработка транзакций.

Аннотация учебной программы дисциплины

«Архитектура графических систем»

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

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

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

Дисциплина является предшествующей для выполнения квалификационной работы бакалавра.

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

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

¾ разрабатывать компоненты программных комплексов и баз данных, использовать современные инструментальные средства и технологии программирования;

¾ обосновывать принимаемые проектные решения, осуществлять постановку и выполнять эксперименты по проверке их корректности и эффективности;

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

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

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

Уметь: применять графические системы для решения различных задач САПР и АСТПП, определять необходимые средства для решения поставленной задачи, обмениваться результатами проектирования между системами разных классов и типов, писать программы на языке современных графических систем.

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

Дисциплина включает следующие разделы:

· Современные графические системы;

· Архитектура графических систем;

· Форматы хранения графической информации;

· Растровая и векторная графика;

· Геометрическое моделирование, преобразования растровых и векторных изображений;

· Растровые, векторные редакторы, программы верстки;

· Цветовые модели;

· Язык программирования графических систем (язык программирования шейдеров GLSL)

· Специальные типы данных, встроенные функции и переменные;

· Современные проблемы компьютерной графики и подходы в их решении.

Аннотация примерной программы дисциплины

«Теоретические основы компьютерной безопасности»

Цель дисциплины: обучить студентов принципам и методам защиты информации, комплексного проектирования, построения, обслуживания и анализа защищенных автоматизированных систем (АС).

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

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

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

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

Уметь: проводить анализ АС с точки зрения обеспечения компьютерной безопасности; разрабатывать модели и политику безопасности, используя известные подходы, методы, средства и их теоретические основы; применять стандарты по оценке защищенности АС при анализе и проектировании систем защиты информации в АС; реализовывать системы защиты информации в АС в соответствии со стандартами по оценке защищенности АС.

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

Дисциплина включает следующие разделы:

· Структура теории компьютерной безопасности;

· Методология построения систем защищенных АС;

· Политика безопасности;

· Основные критерии защищенности АС. Классы защищенности АС.

Аннотация примерной программы дисциплины

«Визуальное программирование»

Цель дисциплины: знакомство с основами визуального программирования на примере изучения среды программирования Visual Studio 2008, изучение языка программирования C#, приобретение знаний и навыков, необходимых для разработки профессиональных приложений для операционной системы Windows.

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

Дисциплина тесно связана с такими дисциплинами специальности как «Программирование на языке высокого уровня», «Базы данных», «Объектно-ориентированное программирование» и другие.

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

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

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

Владеть: методами построения приложений в визуальных средах программирования; технологией.NET и ADO.NET.

Дисциплина включает следующие разделы:

· технология. NET;

· среда разработки Visual Studio 2008;

· язык C#;

· технология .

Лабораторный практикум содержит работы по созданию различных приложений в Visual Studio 2008 на языке C#.

Аннотация примерной программы дисциплины

«Программирование на языке Java»

Цель дисциплины: подготовка специалистов, способных создавать интерактивные приложения в сети Интернет.

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