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

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

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

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

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

Объём: 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