СППМ/ЧУМ

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

Версия от 17:23, 21 марта 2009; ESyr01 (Обсуждение | вклад)

(разн.) ← Предыдущая | Текущая версия (разн.) | Следующая → (разн.)

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

Сергей Исаевич Гуров

Некоторые проблемы теории ЧУМ

Объём: 6 часов
Кафедра: методов математического прогнозирования
Лектор: к. ф.-м. н., доцент С. И. Гуров
Программа курса: излагается материал по частично упорядоченным (ч. у.) множествам, мало освещённый в отечественной математической литературе и, как правило, отсутствующий в традиционных курсах математических дисциплин (кроме очень узкоспециальных). Вводятся операции, которые могут производиться над ч. у. множествами и рассматриваются важные понятия полуидеала, размера и замыкания Дедекинда-Макнилла ч. у. множеств. Изучается практически важное понятие размерности, основанное на теоремах Шпильрайна-Дашника-Миллера и Оре. Представлены результаты по данной тематике, полученные в последнее время (как правило, зарубежными исследователями и не опубликованные на русском языке). Отмечаются нерешённые проблемы теории. Обсуждаются вопросы несводимости ч. у. множеств в связи с т. н. «проблемой В. Д. Ногина»

Лекции

* 1-я лекция
* 2-я лекция
* 3-я лекция

Современные проблемы прикладной математики

Математические методы решения биометрических задач	1 2
Некоторые проблемы теории ЧУМ	1 2 3
Систематизация терминологии	1 2

Лекции

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