UNИX, осень 2007

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

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

Лектор: Георгий Владимирович Курячий
E-mail: mailto:george@po.cs.msu.su
Сайт: http://uneex.cs.msu.su
Официальная страница, посвящённая курсу: http://uneex.cs.msu.su/uneex/LecturesDistro2007
Спецкурс проводится кафедрой АСВК, лабораторией Программного Оборудования.
Данный спецкурс является математическим спецкурсом
В конце курса будет устный экзамен
- Для получения возможности сдачи экзамена необходимо отправить письмо на адрес mailto:george@po.cs.msu.su, в качестве темы указать «Экзамен», в качестве тела письма — свои имя, фамилию, группу.
Спецкурс проходит по пятницам в 16:20 в аудитории П-12

[править] Структура курса

UNИX, осень 2007

Календарь

Октябрь	05	12	19	26
Ноябрь	02	09	16	23	30
Декабрь	07	14

Экзамены
21 декабря: информация, конспект
11 января: информация, конспект, быстрые вопросы

Лекции

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