Г. Р. Державина университетский образовательный стандарт

Вид материала

Содержание

2.Шипачев В.С. Основы высшей математики. М., 1998.
ДПВ Математическая логика
ДПВ История и методология информатики
3.Информатика. Учебное пособие для студентов педагогических ВУЗов /Могилев А.В., Пак Н.И., Хеннер Е.К. – М.: Изд. Академия, 2000
5.Информатика в понятиях и терминах / Г.А.Бордовский, В.А.Извозчиков, Ю.В.Исаев, В.В.Морозов. – М.: Просвещение, 1991.

Подобный материал:

1 2 3 4 5 6 7 8 9 10 ... 19

2 2.Шипачев В.С. Основы высшей математики. М., 1998.

ЕН.ДПВ

Дисциплины и курсы по выбору студентов

200

ЕН.07

ДПВ Математическая логика

Программа: Тенденции развития математической логики и теории алгоритмов: Роль математической логики и теории алгоритмов для современного развития математики и ее приложений. Исчисление высказываний: Высказывания и логические операции над ними. Правила вывода. Формулы алгебры высказываний и их истинное значение. Законы и виды формул. Формы формул. Основные равносильности. Приложение алгебры высказываний к логико-математической практики. Исчисление предикатов: N-местный предикат и его основные виды. Логические операции над предикатами и их свойства. Кванторы, Связанные и свободные переменные. Формулы алгебры предикатов и их основные виды. Эквивалентные формы предикатных формул. Приложение алгебры предикатов к логико-математической практике. Алгоритмы: Понятие алгоритма и его характерные черты. Уточнение понятия алгоритма. Машины Тьюринга. Нормальные алгоритмы Маркова. Тезис Черча. Основные математические приложения теории алгоритмов.

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

Основная литература:

1.Игошин В.И. Математическая логика и теория алгоритмов. – Саратов, 1991.

2.Ершов Ю.Л., Палютин Е.А. Математическая логика – М.: 1979.

3.Новиков П.С. Элементы математической логики. – М.: 1973.

4.Эдельман С.Л. Математическая логика. – М.: 1975.

Дополнительная литература:

1.Столл Р.Р. Множества. Логика, Аксиоматические теории. – М.: 1968.

114

ЕН.08

ДПВ История и методология информатики

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

86

1

2

3

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

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

Основная литература:

1.Белова Е.Б. и др. Историческая информатика/ под ред. Л.И.Бородкина, И.М.Гарсковой. М.: Мосгорархив, 1996.

2.Информатика: Учебник / под ред. Н.В.Макаровой. М.: Финансы и статистика, 1997.

3.Информатика. Учебное пособие для студентов педагогических ВУЗов /Могилев А.В., Пак Н.И., Хеннер Е.К. – М.: Изд. Академия, 2000.

4.Информатика: Энциклопедический словарь для начинающих / Сост. Д.А. Поспелов. – М.: Педагогика-Пресс, 1994.

5.Информатика в понятиях и терминах / Г.А.Бордовский, В.А.Извозчиков, Ю.В.Исаев, В.В.Морозов. – М.: Просвещение, 1991.

Дополнительная литература:

1.Бешенков С.А., Гейн А. Г., Григорьев С. Г. Информатика и информационные технологии.

2.Острейковский В.А. Информатика: Учебник для вузов. – М.: Высш. Шк., 1999.

3.Журнал «Информатика и образование» 1995-2002 г.г.

4.Информатика. – Приложение к газете «1 сентября».

ЕН.09

ДПВ Теория информации

Программа: Информация, сообщение и сигнал. Физические источники сообщений. Дискретные и непрерывные источники. Преобразование сообщений в сигнал. Модуляция и кодирование. Каналы передачи. Теорема дискретизации. Квантование непрерывных сигналов. Представление случайных сигналов рядами Фурье и Котельникова. Дискретные ансамбли и источники. Классификация дискретных источников. Количество информации в сообщении. Энтропия. Условная информация. Энтропия на сообщение стационарного источника. Избыточность источников. Задача кодирования дискретного источника.

114

1

2

3

Высоковероятные множества источников без памяти. Скорость создания информации источником без памяти при равномерном кодировании. Прямая и обратная теоремы Шенона. Неравномерное кодирование дискретных источников. Оптимальные неравномерные коды. Количество информации между дискретными источниками. Свойства взаимной информации между дискретными ансамблями. Классификация каналов связи. Модели каналов. Задача кодирования в дискретном канале. Прямая и обратная теоремы кодирования. Пропускная способность каналов. Прямая теорема кодирования Шенона для дискретных каналов без памяти. Метод случайного кодирования. Обратная теорема Шенона. Информационные пределы избыточности. Реализуемые принципы помехоустойчивого кодирования. Методика построения кодов. Непрерывные каналы и источники. Относительная энтропия. Непрерывные каналы с дискретным временем; пропускная способность канала. Задача кодирования с заданным критерием качества. Эпсилон-энтропия и ее свойства. Возможности информационного подхода к оценке качества функционирования систем связи. Предельная эффективность системы передачи информации. Эффективность аналоговых и цифровых систем. Многопозиционные сигналы и помехоустойчивые коды. Устранение избыточности реальных источников сообщений.

Требования: специалист должен иметь представление об основах теории информации в трактовке ее создателей; о методах доказательства основных теорем кодирования;

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

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

иметь навыки решения простейших задач теории информации.

Основная литература:

1. Колесник В.Д., Полтырев Г.Ш. Курс теории информации.–М.: Наука, 1982.

2. Яглом А.М., Яглом И.М. Вероятность и информация.– М.: Наука, 1973.

3. Теория электрической связи /Под ред. Д.Д.Кловского.- М.: Радио и связь, 1999.

4. Зюко А.Г. Помехоустойчивость и эффективность систем

1

2

3

передачи информации.– М.: Радио и связь, 1985

Дополнительная литература:

1. Тихонов В.И. Статистическая радиотехника.– М.: Сов. радио, 1966.

2. Финк Л.М. Теория передачи дискретных сообщений.– М.: Сов. радио, 1970.

ЕН.10

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

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

Основные уровни защиты информации. Защита машинных носителей информации (МНИ). Защита средств взаимодействия с МНИ. Защита представления информации. Защита содержания информации.

Классификация основных атак на АС и вредоносных программ.

Организационно режимные меры. Защита от НСД. Построение парольных систем. Криптографические методы защиты. Защита от угрозы нарушения конфиденциальности на уровне содержания информации.

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

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

Сокрытие характеристик носителей. Мониторинг использования систем защиты. Защита параметров представления и содержания информации.

Применение иерархического метода для построения защищенной АС. Исследование корректности реализации и методы верификации АС. Теория безопасных систем (TCB). Политика (стратегия) безопасности. Дискреционная политика разграничения доступа. Мандатная (полномочная) политика разграничения доступа. Разработка и реализация политики безопасности.

Описание систем защиты с помощью матрицы доступа. Модель Харрисона-Руззо-Ульмана (HRU). Разрешимость проблемы безопасности. Модель распространения прав доступа Take-Grant. Расширенная модель Take-Grant, анализ информационных каналов. Описание модели Белла-Лападулы (BL). Основная теорема безопасности модели Белла-Лападулы. Эквивалентные подходы к определению безопасности модели Белла-Лападулы.

Критерии и классы защищенности средств вычислительной

86

1

2

3

техники и автоматизированных систем. Стандарты по оценки защищенности АС.

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

Основная литература:

1. Гостехкомиссия России. Руководящий документ: Защита от несанкционированного доступа к информации. Термины и определения. -М.: ГТК - 1992. - 13 с.

2. Грушо А.А., Тимонина Е.Е. Теоретические основы защиты информации. - М.: Издательство Агентства «Яхтсмен», - 1996. - 192 с.

3. Девянин П.Н., Михальский О.О., Правиков Д.И., Щербаков А.Ю. Теоретические основы компьютерной безопасности. - М.: Радио и связь, 2000. – 192 с.

4. Зегжда Д.П., Ивашко А.М. Как построить защищенную информационную систему. – СПб., Мир и семья-95, 1997. – 312 с.

5. Теория и практика обеспечения информационной безопасности. Под редакцией Зегжды П.Д. - М.: Издательство агентства «Яхтсмен», - 1996. - 192 с.

Дополнительная литература:

3. Расторгуев С.П. Философия информационной войны. М. – 2000. – 446 с.

ОПД.00

Общие профессиональные дисциплины

3640

ОПД.01

Blog