Минобрнауки томский государственный университет факультет информатики утверждаю




Скачать 48.32 Kb.
НазваниеМинобрнауки томский государственный университет факультет информатики утверждаю
Дата19.01.2013
Размер48.32 Kb.
ТипЗадача
МИНОБРНАУКИ

ТОМСКИЙ ГОСУДАРСТВЕННЫЙ УНИВЕРСИТЕТ

ФАКУЛЬТЕТ ИНФОРМАТИКИ


УТВЕРЖДАЮ

Декан факультета

С.П. Сущенко

« » 2010 г.


ТЕОРЕТИЧЕСКИЕ И МАТЕМАТИЧЕСКИЕ ОСНОВЫ ИНФОРМАТИКИ И КОМПЬЮТЕРНОЙ БЕЗОПАСНОСТИ

(СДМ.01)

РАБОЧАЯ ПРОГРАММА

трудоемкость дисциплины 4 зачетные единицы


НАПРАВЛЕНИЕ 010400 – ИНФОРМАЦИОННЫЕ ТЕХНОЛОГИИ

МАГИСТЕРСКАЯ ПРОГРАММА 010400.68.05 – КОМПЬЮТЕРНЫЕ НАУКИ


Томск

2010




УТВЕРЖДЕНО

кафедрой теоретических основ информатики.

Протокол №5/10 от 01.09.2010 г.

Зав. кафедрой, профессор

Ю.Л. Костюк


СОСТАВИТЕЛЬ

д.т.н., зав. кафедрой теоретических основ информатики

Ю.Л. Костюк


д.т.н., профессор кафедры прикладной информатики

В.В. Поддубный



I.Организационно-методический раздел


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

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

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

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


II.Содержание дисциплины

II.1.Лекционный курс

Тема 1. Дискретные структуры и вычислительные алгоритмы.


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

Тема 2. Формальные языки и автоматы.


Формальные языки и грамматики, алгебраическая теория языков. Порождающие грамматики. Конечный автомат. Магазинный автомат. Теория переключательных схем. Теория параллельных процессов. Асинхронные клеточные автоматы. Элементы теории волновых процессов. Нейронные сети.

Тема 3. Теория информации.


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

Тема 4. Прикладная теория чисел и компьютерная безопасность.


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

III.Распределение часов курса по темам и видам работ


№№ пп

Наименование тем

Всего часов

Аудиторные занятия (час),

в том числе

Самостоятельная

работа










лекции

семинары

лабораторные занятия




1

Дискретные структуры и вычислительные алгоритмы

34

16







18

2

Формальные языки и автоматы

42

20







22

3

Теория информации

40

18







22

4

Прикладная теория чисел и компьютерная безопасность

34

16







18

ИТОГО




150

70







80



IV.Учебно-методическое обеспечение курса

IV.1. Основная литература


  1. Ахо А., Ульман Дж. Теория синтаксического анализа, перевода и компиляции. Т. 1. Синтаксический анализ. – М.: Мир, 1978.

  2. Галлагер Р. Теория информации и надежная связь. – М.: Советское радио, 1974.

  3. Колмогоров А.Н., Драгалин А.Г. Введение в математическую логику. – М., изд-во МГУ, 1982.

  4. Кормен Т., Ч. Лейзерсон, Р. Ривест. Алгоритмы: построение и анализ. – М.: МЦНМО, 2000. - 960 с.

  5. Лавров И.А., Максимова Л.Л. Задачи по теории множеств, математической логике и теории алгоритмов. – М., Наука, 1984.

  6. Лекции по теории графов/ Емеличев В.А. и др. – Наука, Гл. ред. физ-мат. лит., 1990.

  7. Чень Ч., Ли Р. Математическая логика и автоматическое доказательство теорем. – М., Наука, 1983.

  8. Шнайер Б. Прикладная криптография. Издательский дом “Вильямс”, 2000.



IV.2. Дополнительная литература


  1. Колмогоров А.Н., Драгалин А.Г. Математическая логика. Дополнительные главы. – М., изд-во МГУ, 1984.

  2. Лавров И.А., Максимова Л.Л. Задачи по теории множеств, математической логике и теории алгоритмов. – М., Наука, 1984.

  3. Молдовян А.А., Молдовян Н.А., Советов Б.Я. Криптография. – СПб.: «Лань», 2000.

Похожие:

Минобрнауки томский государственный университет факультет информатики утверждаю iconМинобрнауки томский государственный университет факультет информатики утверждаю
Требования к уровню освоения дисциплины – владение методами математического анализа
Минобрнауки томский государственный университет факультет информатики утверждаю iconМинобрнауки томский государственный университет факультет информатики утверждаю
Цель курса – изучение методов объектно-ориентированного анализа и проектирования
Минобрнауки томский государственный университет факультет информатики утверждаю iconМинобрнауки томский государственный университет факультет информатики утверждаю
Цель курса – изучение методов объектно-ориентированного анализа и проектирования
Минобрнауки томский государственный университет факультет информатики утверждаю iconМинобрнауки томский государственный университет факультет информатики утверждаю
Цель курса – изучение математических основ и алгоритмов представления и обработки изображений
Минобрнауки томский государственный университет факультет информатики утверждаю iconМинобрнауки томский государственный университет факультет информатики утверждаю
Цель курса – изучение теории формальных языков, автоматов и методов построения трансляторов
Минобрнауки томский государственный университет факультет информатики утверждаю iconМинобрнауки томский государственный университет факультет информатики утверждаю
Цель курса – ознакомить студентов с основными задачами компьютерной графики и методами их решения
Минобрнауки томский государственный университет факультет информатики утверждаю iconМинобрнауки томский государственный университет факультет информатики утверждаю
Задача учебного курса – ознакомление с основными понятиями и методами неклассических логик с ориентацией на их использование в практической...
Минобрнауки томский государственный университет факультет информатики утверждаю iconМинобрнауки томский государственный университет факультет информатики утверждаю
Задача учебного курса – ознакомление с основными понятиями и методами неклассических логик с ориентацией на их использование в практической...
Минобрнауки томский государственный университет факультет информатики утверждаю iconМинобрнауки томский государственный университет факультет информатики утверждаю
Цель курса – формирование основ знаний по теории информации, принципам кодирования, изучение важнейших алгоритмов в этой области
Минобрнауки томский государственный университет факультет информатики утверждаю iconМинобрнауки томский государственный университет факультет информатики утверждаю
Задача учебного курса – ознакомление с основными понятиями и методами математической логики и теории алгоритмов с ориентацией на...
Разместите кнопку на своём сайте:
Библиотека


База данных защищена авторским правом ©lib.znate.ru 2014
обратиться к администрации
Библиотека
Главная страница