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

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

(Различия между версиями)
Перейти к: навигация, поиск
(Новая: <noinclude> = Систематизация терминологии = </noinclude> * '''Объём''': 4 часа * '''Кафедра''': кафедра алгоритмических я...)
Строка 5: Строка 5:
* '''Кафедра''': кафедра алгоритмических языков
* '''Кафедра''': кафедра алгоритмических языков
* '''Лектор''': д. ф.-м. н., профессор Словьёв Сергей Юрьевич
* '''Лектор''': д. ф.-м. н., профессор Словьёв Сергей Юрьевич
 +
* '''Форма отчётности''': реферат
* '''Программа курса''':
* '''Программа курса''':
** ''[[СППМ/Терминология, 01 лекция (от 21 марта)|Лекция 1]]''. Систематизация терминологии
** ''[[СППМ/Терминология, 01 лекция (от 21 марта)|Лекция 1]]''. Систематизация терминологии

Версия 17:44, 21 марта 2009

Систематизация терминологии

  • Объём: 4 часа
  • Кафедра: кафедра алгоритмических языков
  • Лектор: д. ф.-м. н., профессор Словьёв Сергей Юрьевич
  • Форма отчётности: реферат
  • Программа курса:
    • Лекция 1. Систематизация терминологии
      • Наука «Терминоведение»
      • Словари, глоссарии, энциклопедии
      • Служба тематических толковых словарей
      • Универсальное терминологическое пространство
      • Технология формирования технологического пространства
      • Свойства терминологического пространства
      • Интернет0проект универсальной системы терминологии
      • «Интеллектуальные» преобразования терминологических структур
    • Лекция 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
Личные инструменты
Разделы