Заглавная страница

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

(Различия между версиями)

Версия 09:45, 14 ноября 2007

Добро пожаловать на страницы Wiki eSyr'а. Здесь есть:

Лекции для тех, кто за ними пришёл сюда
Соглашения по правкам для тех, кто решил не только читать, но и писать
Портал об операционной системе Linux

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

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

Актуальное

Осенний семестр 2013 года

Конспекты лекций	5 курс	Формальная спецификация и верификация программ \| Теория игры и исследования операций \| История и методология прикладной математики \| Основы российского права \| История религии \| Параллельная обработка данных
	4 курс	Вычислительные Системы \| Объектно-ориентированные Анализ и Проектирование \| Искусственный Интеллект \| Математическая Логика \| Функциональный Анализ \| Социология \| Параллельная Обработка Данных
	3 курс	Базы Данных \| Языки Программирования \| Экономика
	2 курс	Операционные системы
Дополнительно	Собрания	5 курса (2009) \| аспирантов (2009)