Главная Упрощенный режим Описание Шлюз Z39.50
Авторизация
Фамилия
Пароль
 

Базы данных


- результаты поиска

Вид поиска

Область поиска
 Найдено в других БД:Книги фонда НБ СГЮА (2)
Формат представления найденных документов:
полный информационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>K=нотации<.>)
Общее количество найденных документов : 6
Показаны документы с 1 по 6
1.

Вид документа : Статья из журнала
Шифр издания :
Автор(ы) : Гвоздевская Г. (канд. пед. наук, доц.)
Заглавие : Зарубежные исследования проблем преподавания неевропейской музыки
Серия: Обзоры
Место публикации : Alma Mater: Вестник высшей школы. - 2006. - N 7. - С. 37-41
Примечания : Библиогр. в сносках
УДК : 78 + 372.8
ББК : 74.26
Предметные рубрики: Образование. Педагогика-- Методика преподавания учебных предметов, 19 в.
Искусство-- Музыка
Географич. рубрики: Индия
Япония
Корея
США
Австралия
Англия
Ключевые слова (''Своб.индексиров.''): исследования--зарубежные исследования--преподавание--музыкальная культура--культура--западноевропейская музыка--восточная музыка--музыкальный язык--язык музыки--язык музыкальный--пение--концепты метрические--метрические концепты--нотации--звуковые символы--символы звуковые--музыкальное образование--теория музыки--учебники--задания
Аннотация: На протяжении многих веков Запад и Восток существовали как параллельные миры. В силу возникшего противоречия между реалиями многогранного мира современной музыки, все больше осознается необходимость мультикультурного образования.
Найти похожие

2.

Вид документа : Статья из журнала
Шифр издания :
Автор(ы) : Казанцева, Татьяна Генриховна
Заглавие : Певческие рукописи крюковой нотации из собрания Научной библиотеки Иркутского государственного университета
Серия: Книговедение
Место публикации : Библиосфера. - 2010. - N 2 (апрель-июнь). - С.38-41. - ISSN 1815-3186 (Шифр bbsf/2010/2). - ISSN 1815-3186
Примечания : Библиогр.: с. 41 (4 назв. )
УДК : 78(091)
ББК : 85.311/313
Предметные рубрики: Музыка и зрелищные искусства
История музыки --Россия --Российская империя --Сибирь, 17 в.; 18 в.; 19 в.; 20 в. нач.
Ключевые слова (''Своб.индексиров.''): певческие рукописи--древнерусская книжность--археография--древнерусская музыка--музыкальная медиевистика--распев
Аннотация: Характеризуются певческие рукописи знаменной нотации из собрания Научной библиотеки Иркутского государственного университета, включающей памятники первой половины XVII - начала XX в. и отражающей различные формы бытования знаменного распева на позднейшем этапе эволюции данного музыкального стиля.
Найти похожие

3.

Вид документа : Статья из журнала
Шифр издания :
Автор(ы) : Курзыбова Я. В.
Заглавие : Проектирование алгоритма функционирования адаптивных обучающих модулей в нотации UML
Серия: Методическое обеспечение
Место публикации : Открытое образование. - 2011. - N 1. - С.16-21: рис. - ISSN 1818-4243 (Шифр otob/2011/1). - ISSN 1818-4243
Примечания : Библиогр.: с. 21 (6 назв. )
УДК : 378
ББК : 74.58
Предметные рубрики: Образование. Педагогика
Высшее профессиональное образование
Ключевые слова (''Своб.индексиров.''): итеративное обучение--адаптивные обучающие модули--обучающие системы--алгоритмы--обучающие модули--языки программирования--uml
Аннотация: В статье приводится описание алгоритма адаптации к учебной ситуации, основанного на закономерностях итеративного обучения с использованием языка UML. Описывается концептуальная характеристика принципов формирования адаптивного обучающего модуля. Рассматривается статистическая модель алгоритма и взаимодействия.
Найти похожие

4.

Вид документа : Статья из журнала
Шифр издания :
Автор(ы) : Девянин П. Н., Кулямин В. В., Петренко А. К., Хорошилов А. В., Щепетков И. В.
Заглавие : О представлении МРОСЛ ДП-модели в формализованной нотации Event-B
Параллельн. заглавия :Representing MROSL DP-model in Event-B notation
Серия: Методы и средства обеспечения информационной безопасности
Место публикации : Проблемы информационной безопасности. Компьютерные системы. - 2014. - № 3. - С.7-15. - ISSN 2071-8217 (Шифр pinb/2014/3). - ISSN 2071-8217
Примечания : Библиогр.: с. 15 (8 назв.). - Выпуск данного журнала составлен по материалам докладов на конференции "Рускрипто-2014", состоявшейся 25-28 марта 2014 г. в Москве
УДК : 004
ББК : 32.97
Предметные рубрики: Вычислительная техника
Вычислительная техника в целом
Ключевые слова (''Своб.индексиров.''): event-b--безопасность--доклады--информационная безопасность--компьютерная безопасность--конференции--модели безопасности--операционные системы--формализованная нотация
Аннотация: Рассматривается переход от математической нотации представления мандатной сущностно-ролевой ДП-модели (МРОСЛ ДП-модели), ориентированной на реализацию в отечественной защищенной операционной системе специального назначения Astra Linux Special Edition (ОССН), к формализованной нотации Event-B.The paper presents an approach of transforming the mandatory entity-role access control and information flow model for Linux-based operating system from human-readable mathematical representation to machine-readable Event-B notation.
Найти похожие

5.

Вид документа : Статья из журнала
Шифр издания :
Автор(ы) : Баринов, Юрий Григорьевич (доктор технических наук; профессор; заведующий кафедрой)
Заглавие : Системно-креативное решение проблем
Серия: Экономика. Управление
Место публикации : Вестник Псковского государственного университета. Сер.: Экономика, право и управление. - 2017. - № 5. - С.14-23: 1 рис. - ISSN 2413-4708 (Шифр vp03/2017/5). - ISSN 2413-4708
Примечания : Библиогр.: с. 23
УДК : 33 + 658.5
ББК : 65.291.8
Предметные рубрики: Экономика
Организация производства
Ключевые слова (''Своб.индексиров.''): бизнес--графические нотации--креативность--методология idef0--методология функционального моделирования--организации--организационные проблемы--проблемы управления--производства--системно-креативное мышление--системно-креативные методологии--системный подход--структурное проектирование--структурный анализ--управление предприятиями--управленческие проблемы
Аннотация: Применение системно-креативной методологии при решении управленческих проблем. Процессная модель решения проблем в нотации IDEFO на базе системно-креативного подхода.
Найти похожие

6.

Вид документа : Статья из журнала
Шифр издания :
Автор(ы) : Каннер, Андрей Михайлович
Заглавие : Применение TLA+ нотации для описания модели изолированной программной среды субъектов доступа и ее дальнейшей верификации
Серия: Техническая защита информации. Управление доступом
Место публикации : Вопросы защиты информации. - 2021. - № 3. - С.8-11. - ISSN 2073-2600 (Шифр vozi/2021/3). - ISSN 2073-2600
УДК : 004.056
ББК : 32.97
Предметные рубрики: Вычислительная техника
Вычислительная техника в целом
Ключевые слова (''Своб.индексиров.''): лампорта действия--верификация модели--действия лампорта--математические обозначения--метод проверки модели--модели безопасности--модель ipes--спецификация модели
Аннотация: Рассматриваются недостатки проверки математических обозначений моделей безопасности, в частности модель изолированной программной среды субъектов, ее спецификация дана в нотации TLA+ и описаны преимущества проверки этой спецификации с помощью специализированных инструментов.
Найти похожие

 
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)