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

Базы данных


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

Вид поиска

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


    Гвоздевская, Г. (канд. пед. наук, доц.).
    Зарубежные исследования проблем преподавания неевропейской музыки [Текст] / Г. Гвоздевская // Alma Mater: Вестник высшей школы. - 2006. - N 7. - С. 37-41. - Библиогр. в сносках
УДК
ББК 74.26
Рубрики: Образование. Педагогика--Методика преподавания учебных предметов, 19 в.
   Искусство--Музыка

   Индия
    Япония

    Корея

    США

    Австралия

    Англия

Кл.слова (ненормированные):
исследования -- зарубежные исследования -- преподавание -- музыкальная культура -- культура -- западноевропейская музыка -- восточная музыка -- музыкальный язык -- язык музыки -- язык музыкальный -- пение -- концепты метрические -- метрические концепты -- нотации -- звуковые символы -- символы звуковые -- музыкальное образование -- теория музыки -- учебники -- задания
Аннотация: На протяжении многих веков Запад и Восток существовали как параллельные миры. В силу возникшего противоречия между реалиями многогранного мира современной музыки, все больше осознается необходимость мультикультурного образования.


Найти похожие

2.


    Казанцева, Татьяна Генриховна.
    Певческие рукописи крюковой нотации из собрания Научной библиотеки Иркутского государственного университета [Текст] / Т. Г. Казанцева // Библиосфера. - 2010. - N 2 (апрель-июнь). - С. 38-41. - Библиогр.: с. 41 (4 назв. ) . - ISSN 1815-3186
УДК
ББК 85.311/313
Рубрики: Музыка и зрелищные искусства
   История музыки--Россия--Российская империя--Сибирь, 17 в.; 18 в.; 19 в.; 20 в. нач.

Кл.слова (ненормированные):
певческие рукописи -- древнерусская книжность -- археография -- древнерусская музыка -- музыкальная медиевистика -- распев
Аннотация: Характеризуются певческие рукописи знаменной нотации из собрания Научной библиотеки Иркутского государственного университета, включающей памятники первой половины XVII - начала XX в. и отражающей различные формы бытования знаменного распева на позднейшем этапе эволюции данного музыкального стиля.


Доп.точки доступа:
Научная библиотека Иркутского государственного университета; НБ ИрГУ; РГНФ; Российский гуманитарный научный фонд
Нет сведений об экземплярах (Источник в БД не найден)

Найти похожие

3.


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

Кл.слова (ненормированные):
итеративное обучение -- адаптивные обучающие модули -- обучающие системы -- алгоритмы -- обучающие модули -- языки программирования -- UML
Аннотация: В статье приводится описание алгоритма адаптации к учебной ситуации, основанного на закономерностях итеративного обучения с использованием языка UML. Описывается концептуальная характеристика принципов формирования адаптивного обучающего модуля. Рассматривается статистическая модель алгоритма и взаимодействия.

Нет сведений об экземплярах (Источник в БД не найден)

Найти похожие

4.


   
    О представлении МРОСЛ ДП-модели в формализованной нотации Event-B [Текст] = Representing MROSL DP-model in Event-B notation / П. Н. Девянин [и др.] // Проблемы информационной безопасности. Компьютерные системы. - 2014. - № 3. - С. 7-15. - Библиогр.: с. 15 (8 назв.). - Выпуск данного журнала составлен по материалам докладов на конференции "Рускрипто-2014", состоявшейся 25-28 марта 2014 г. в Москве . - ISSN 2071-8217
УДК
ББК 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 рис. - Библиогр.: с. 23 . - ISSN 2413-4708
УДК
ББК 65.291.8
Рубрики: Экономика
   Организация производства

Кл.слова (ненормированные):
бизнес -- графические нотации -- креативность -- методология IDEF0 -- методология функционального моделирования -- организации -- организационные проблемы -- проблемы управления -- производства -- системно-креативное мышление -- системно-креативные методологии -- системный подход -- структурное проектирование -- структурный анализ -- управление предприятиями -- управленческие проблемы
Аннотация: Применение системно-креативной методологии при решении управленческих проблем. Процессная модель решения проблем в нотации IDEFO на базе системно-креативного подхода.

Нет сведений об экземплярах (Источник в БД не найден)

Найти похожие

6.


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

Кл.слова (ненормированные):
Лампорта действия -- верификация модели -- действия Лампорта -- математические обозначения -- метод проверки модели -- модели безопасности -- модель IPES -- спецификация модели
Аннотация: Рассматриваются недостатки проверки математических обозначений моделей безопасности, в частности модель изолированной программной среды субъектов, ее спецификация дана в нотации TLA+ и описаны преимущества проверки этой спецификации с помощью специализированных инструментов.

Нет сведений об экземплярах (Источник в БД не найден)

Найти похожие

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