Основы Кибернетики

Материал из eSyr's wiki.

(Различия между версиями)
Перейти к: навигация, поиск

Версия 12:19, 13 июня 2007

Информация о курсе

Содержание курса

Курс состоит из 3 частей:

  1. Представление функций с помощью дизъюнктивных нормальных форм
  2. Типы управляющих схем, оценка числа преобразований
  3. Синтез, сложность и надёжность управляющих схем

По окончании каждой части будет проводиться контрольная:

  1. 23 марта
  2. 20 апреля
  3. 18 мая

Кроме того, будет проведён тест.

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

Дополнительно, на лекциях раз в две недели будут проводиться текущие тесты длительностью 10—15 минут.

При наличии вопросов можно прийти за 10—15 минут до начала пары и задать их лектору.

Литература

  1. Яблонский С. В. Введение в дискретную математику. М., Наука, 1986. Часть V, гл. I, §§1-6.
  2. Лупанов О. Б. Асимптотические оценки сложности управляющих систем. М., МГУ, 1984.
  3. Дискретная математика и математические вопросы кибернетики. М., Наука, 1974, с.116-117,136-137, 72-74.
  4. Яблонский С. В. Эквивалентные преобразования управляющих систем. М., МГУ, 1986.
  5. Яблонский С. В. Некоторые вопросы надежности и контроля управляющих систем. Сб. «Математические вопросы кибернетики», М., Наука, 1988, с.5-26.
  6. Алексеев В. Б., Ложкин С. А. Элементы теории графов, схем и автоматов. М., МГУ, 2000.
  7. Ложкин С. А. Структурное моделирование и декомпозиция для некоторых классов схем. М., МГУ, 2001.
  8. Ложкин С. А. Основы кибернетики. http://mathcyb.cs.msu.su (учебники)
  9. Сапоженко А. А. Некоторые вопросы сложности алгоритмов. М., МГУ, 2001.
  10. Алексеев В. Б,, Вороненко А. А., Ложкин С. А., Романов Д. С., Сапоженко А. А,, Селезнева С. Н. Задачи по курсу «Основы кибернетики». М., МГУ, 2002.
  11. Нигматуллин Р. Г. Сложность булевых функций. М., Наука, 1991.


Основы Кибернетики


01 02 03 04 05 06 07 08 09 10 11 12 13 14 15 16


Календарь

пт пт пт пт пт
Февраль
09 16 26
Март
02 09 16 23 30
Апрель
06 13 20 27
Май
04 11 18 25

Материалы к экзамену

Экзаменационные вопросы 3 потока 2007 (new!) | Алгоритмы решения задач | Теормин | Определения


Лекции

10 семестр История развития вычислительных технологий в СССР, России | Современные проблемы прикладной математики
9 семестр Формальная спецификация и верификация программ | Теория игры и исследования операций | История и методология прикладной математики | Основы российского права | История религии | Параллельная обработка данных
8 семестр Верификация программ на моделях | Математические основы теории прогнозирования | Основы квантовой физики и квантовых вычислений | Методы оптимизации | Распределённые операционные системы
7 семестр Вычислительные Системы | Объектно-ориентированные Анализ и Проектирование | Искусственный Интеллект | Математическая Логика | Функциональный Анализ | Социология | Параллельная Обработка Данных
6 семестр Основы Кибернетики | Численные Методы | Конструирование Компиляторов | Компьютерные Сети
5 семестр Базы Данных | Языки Программирования | Экономические Науки
3 семестр Операционные системы

Спецкурсы
Осень 2013 Современная криптография | Дизайн и реализация ОС FreeBSD
Весна 2011 Практические аспекты сетевой безопасности | Сетевое администрирование в UNIX
Осень 2010 UNИX | Теория функционального программирования. Язык Haskell | Введение в информационную безопасность | Информационный поиск
Весна 2010 UNИX | Архитектура и программирование массивно-параллельных вычислительных систем | Язык Ада
Осень 2009 UNИX | Введение в парадигмы программирования
Весна 2009 UNИX | Архитектура и программирование массивно-параллельных вычислительных систем
Осень 2008 UNИX | Структурные методы обработки изображений и сигналов
Весна 2008 UNИX | Вопросы организации вычислительных кластеров на основе UNIX-серверов | Философия математики
Осень 2007 UNИX
Весна 2007 UNИX | Практика мультипарадигмального программирования
Осень 2006 Введение в теорию построения оптимизирующих компиляторов

Отдельные лекции Bruce Eckel, The State of The Java Union | Richard Stallman: Free software: ethics and practice, Copyright vs Community in the Age of Computer Networks | Наану Александр, Vim | Erinn Clark, The Tor Project: Anonymity Online
Личные инструменты
Разделы