Ранее читавшиеся курсы

"Алгоритмы оптимизации, основанные на методе проб и ошибок" (Костенко В.А.)

"Верификация программ на моделях"
Курс читает к.ф.-м.н. Савенков К.О.
В курсе излагается один из наиболее распространённых подходов к формальной проверке правильности программ – верификация программ на моделях (model checking). Слушателям даются навыки моделирования и абстракции программ, формального рассуждения о свойствах программ. Излагается математическая модель описания программы (графы программ), поведения программы (размеченные системы переходов), функционирования программы (операционная семантика), описания требований к программе (свойства линейного времени). В курсе речь идёт как о последовательных программах, так и о параллельных. Практикум по курсу выполняется при помощи инструментальной системы SPIN.
"Архитектура современных ЭВМ"
Лектор: асс. Волканов Д.Ю.
Курс читается в осеннем семестре и является обязательным для групп 307, 501, 502, 507 и 509 групп
В курсе рассматриваются современные архитектуры вычислительных систем (Core I7, ARM) на всех уровнях от уровня вентилей до уровня языка верхнего уровня. Материалы 2014 года.

Список вопросов
Список рефератов

Лекция 1 (04.09.2014)
Лекция 2 (11.09.2014)
Лекция 3 (18.09.2014)
Лекция 4 (25.09.2014)
Лекция 5 (09.10.2014)
Лекция 6 (16.10.2014)
Лекция 7 (23.10.2014)
Лекция 8 (30.10.2014)
Лекция 9 (06.11.2014)
Лекция 10 (13.11.2014)
Лекция 11 (20.11.2014)
Лекция 12 (27.11.2014)

"Введение в информационную безопасность"
Курс читают: с.н.с., к.ф.-м.н. Гамаюнов Д. Ю., м.н.с. Андрей Петухов, Владимир Иванов (Яндекс)
Курс знакомит слушателей с практическими аспектами такой мультидисциплинарной области как информационная
безопасность, даёт представление о том, как разрабатывать защищенное программного обеспечение, защищать
уже существующие вычислительные системы или исследовать их защищенность.
В программу вводного курса входит изучение следующих разделов: основные задачи защиты информации и
методы их решения, программные уязвимости и их эксплуатация, основы криптографии и криптоанализа, формальные
модели безопасности и их реализации в современных операционных системах.
"Практические аспекты сетевой безопасности"
Курс читают: с.н.с., к.ф.-м.н. Гамаюнов Д. Ю., м.н.с. Андрей Петухов, Владимир Иванов (Яндекс)
Курс предназначен для студентов, желающих получить знания и навыки, связанные с практикой информационной безопасности.
В курсе рассмотрены основные проблемы защиты информации в современных компьютерных сетях и способы их решения, методы
решения практических задач, связанных с информационной безопасностью. Основной акцент практической составляющей сделан на
ОС семейства Linux и стеке протоколов TCP/IP. В программу курса входит изучение следующих разделов: «компьютер это сеть» -
особенности защиты информации в сетях, контроль доступа в сетях, безопасность веб-приложений, примеры прикладных задач, связанных с сетевой безопасностью.