СППМ/Терминология

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

(Различия между версиями)
Перейти к: навигация, поиск
Текущая версия (18:38, 6 сентября 2011) (править) (отменить)
(Систематизация терминологии)
 
(1 промежуточная версия не показана)
Строка 4: Строка 4:
* '''Объём''': 4 часа
* '''Объём''': 4 часа
* '''Кафедра''': кафедра алгоритмических языков
* '''Кафедра''': кафедра алгоритмических языков
-
* '''Лектор''': д. ф.-м. н., профессор Словьёв Сергей Юрьевич
+
* '''Лектор''': д. ф.-м. н., профессор Словьёв Сергей Юрьевич (mailto:soloviev@jscc.ru)
-
* '''Форма отчётности''': реферат
+
* '''Форма отчётности''': [www.park.glossary.ru/reports.htm реферат]
* '''Программа курса''':
* '''Программа курса''':
** ''[[СППМ/Терминология, 01 лекция (от 21 марта)|Лекция 1]]''. Систематизация терминологии
** ''[[СППМ/Терминология, 01 лекция (от 21 марта)|Лекция 1]]''. Систематизация терминологии
Строка 14: Строка 14:
*** Технология формирования технологического пространства
*** Технология формирования технологического пространства
*** Свойства терминологического пространства
*** Свойства терминологического пространства
-
*** Интернет0проект универсальной системы терминологии
+
*** Интернет-проект универсальной системы терминологии
*** «Интеллектуальные» преобразования терминологических структур
*** «Интеллектуальные» преобразования терминологических структур
** ''[[СППМ/Терминология, 02 лекция (от 28 марта)|Лекция 2]]''. Системы поддержки творческой деятельности
** ''[[СППМ/Терминология, 02 лекция (от 28 марта)|Лекция 2]]''. Системы поддержки творческой деятельности
Строка 24: Строка 24:
<noinclude>
<noinclude>
 +
== Ссылки ==
 +
* http://www.glossary.ru/
 +
{{Курс СППМ}}
{{Курс СППМ}}
{{Лекции}}
{{Лекции}}
</noinclude>
</noinclude>

Текущая версия

[править] Систематизация терминологии

  • Объём: 4 часа
  • Кафедра: кафедра алгоритмических языков
  • Лектор: д. ф.-м. н., профессор Словьёв Сергей Юрьевич (mailto:soloviev@jscc.ru)
  • Форма отчётности: [www.park.glossary.ru/reports.htm реферат]
  • Программа курса:
    • Лекция 1. Систематизация терминологии
      • Наука «Терминоведение»
      • Словари, глоссарии, энциклопедии
      • Служба тематических толковых словарей
      • Универсальное терминологическое пространство
      • Технология формирования технологического пространства
      • Свойства терминологического пространства
      • Интернет-проект универсальной системы терминологии
      • «Интеллектуальные» преобразования терминологических структур
    • Лекция 2. Системы поддержки творческой деятельности
      • Личные картотеки
      • Психологические механизмы ведения картотек
      • Архитектура систем поддержки творческой деятельности
      • Структуры данных для представления электронных картотек
      • Функциональное наполнение систем поддержки творческой деятельности


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


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