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

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

Перейти к: навигация, поиск

[править] Информация о курсе

[править] Содержание курса

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

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

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

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

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

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

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

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

Положение дел во время весеннего семестра 2011-2012 учебного года на третьем потоке и кафедре маткибернетики(лекции вместе с 3 потоком):

  • Курс состоит из 4 частей:
  1. Вопросы представления функций алгебры логики;
  2. Основные классы управляющих систем, верхние оценки числа схем, эквивалентные преобразования, системы "основных" множеств, их полнота;
  3. Синтез управляющих систем, нижние оценки функции Шеннона, оценки сложности;
  4. Надежность и контроль схем (тесты таблиц, самокоррекция).
  • Лектор выкладывает курс на сайте кафедры в электронном виде в 4 главах (в каждой по 1 части курса - см. ссылку в разделе Литература) , при этом корректируя курс в течение семестра, так что, например, версии 2011 и 2012 года различаются по количеству материала и последовательности тем. При этом он всегда обращает внимание на то, что методичка изменилась, и выкладывает новый вариант. Методичку читать можно, но в неё нужно вникать. Всё равно стоит слушать лектора - он может менять материал от года к году, также он рассказывает главный смысл теорем и приводит примеры задач, а не просто теоремы вводит/доказывает, как в книге. Вместе с методичкой лежат ссылки на программу курса, список экзаменационных вопросов и таблицы успеваемости и посещений.
  • По окончании рассмотрения главы проводится тест и контрольная. Тест - 2-3 вопроса одновременно и на знание определений(не доказательств!), и на некоторые методы решения, которые были на семинарах. На всё про всё - 15 минут. Примерно через неделю после теста проходит контрольная - сначала задачи по материалу семинаров, потом - теоретические вопросы. На то и на другое отводится 45 минут, всего же контрольная занимает пару. В 2012 году результаты тестов и контрольных по 3 и 4 главам к экзамену учитывали вместе.

Система оценок:

  1. За тест можно получить до 1 балла.
  2. За каждую задачу или теоретический вопрос - по 1 баллу.
  3. за пропуски могут снять 1 балл (пропуски см. ниже)

Итого: суммарно число баллов сравнивается с максимально возможным. 0%-30% -- оценка "2", 30%-50% -- оценка "3-", 50%-65% -- оценка "3", 65%-80% -- оценка "4", 80%-100% -- оценка "5". "3-" отличается от "2" только возможностью сдать экзамен по упрощённой схеме(см. ниже), а так это по большому счёту всё-равно двойка.

  • Лектор проводит проверки посещаемости часто, почти на каждой лекции, но не всех.

Проверяют тех, кто пропускает семинары(по любой причине), тех, у кого до этого много пропусков(4 и больше), тех, кто получил "2" на контрольной, очень редко проверяют весь поток или полностью некоторые группы (например, 320,321 и 322) - в общем, кого будут проверять в следующий раз решает лектор, но его систему легко понять. Фактически, тех, кто пишет контрольные хорошо, практически не проверяют на лекциях после 1 контрольной.

  • В конце курса после всех контрольных выводится предварительная оценка. На ней основывается экзамен. ПРЕДВАРИТЕЛЬНУЮ ОЦЕНКУ В ЛЮБОМ СЛУЧАЕ МОЖНО УЛУЧШИТЬ ТОЛЬКО НА 1 БАЛЛ.

Лектор давал возможность переписать 1 (худшую/пропущенную) работу с целью поднабрать баллов на лушую предварительную оценку, но только тем, кого к моменту переписи (почти конец зачётной сессии) допустили к экзаменам. Получившие предварительную пять приглашаются на предэкзамен в конце зачётной сессии, если у них уже будет печать допуска к экзаменам в зачётке. Не попавшие на предэкзамен отличники и остальные с оценками от "3-" и выше могли выбрать 2 варианта экзамена:

  1. быстрый экзамен за 5 минут(ВРЕМЕНИ НА ПОДУМАТЬ НЕ ДАДУТ!!!) с ответами по определениям теории и идеям доказательств, за который либо поставят предварительную оценку(за "3-" ставят удовл.), либо отправят на пересдачу - получить оценку выше/ниже (кроме двойки) при таком экзамене нельзя.
  2. "стандартный" экзамен с билетом, временем на подготовку, задачами, доказательствами, ответом экзаменатору. Можно получить любую оценку, но не выше чем на 1 балл от предварительной(т.е. при предварительной тройке получить пять уже невозможно ! ).

Получившие предварительную "2" пишут письменный экзамен - по 1 задаче на главу, теория(определения, формулировки, идеи доказательств) по всему курсу. После проверки могут спросить ещё. За этот экзамен поставят либо три, либо два.

Задачи в совокупности учитывались отдельно. "5" по задачам на контрольной освобождает от задачи на эту тему на экзамене, если она выпадает.

[править] Литература

  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
Личные инструменты
Разделы