СППМ/ЧУМ

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

Версия от 17:24, 21 марта 2009; ESyr01 (Обсуждение | вклад)
(разн.) ← Предыдущая | Текущая версия (разн.) | Следующая → (разн.)
Перейти к: навигация, поиск
Сергей Исаевич Гуров
Сергей Исаевич Гуров

[править] Некоторые проблемы теории ЧУМ

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


[править] Лекции


Современные проблемы прикладной математики
Математические методы решения биометрических задач 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
Личные инструменты
Разделы