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

Базы данных


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

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


    Каравашкин, А. (д-р филол. наук, проф.).
    Библейские тематические ключи: пределы верификации [Текст] / А. Каравашкин // Россия XXI. - 2006. - N 1. - С. . 64-85. - Библиогр. в сносках. - s, 2006, , rus. - RUMARS-rxxi06_000_001_0064_1. - Библиотека Белорусского государственного экономического университета. - N 1. - С. 64-85. - rxxi06_000_001_0064_1, 1, 64-85
УДК
^a882.09
^a808
^a80(09)
^a281.2
ББК 86.372
Рубрики: Религия--Православие, 14-15 вв.
   Языкознание--История языкознания
   Языкознание--Славянские языки
   Литературоведение--Русская литература
   Древняя Русь
Кл.слова (ненормированные):
памятники литературы -- памятники словесности -- древнерусские литературные памятники -- древнерусские тексты -- средневековые источники -- средневековая православная культура -- православная культурная общность -- толкование текста -- нравственно-религиозное содержание -- язык древнерусской литературы -- язык текста -- смысл текста -- библейские цитаты -- коды выражения -- способы верификации -- исследователи
Аннотация: Статья посвящена двум стратегиям истолкования средневековых источников. Автор не соглашается с теорией итальянского слависта Рикардо Пиккио, исследующего так называемые "библейские тематические ключи" древнерусских текстов. По его мнению, единственный путь реконструкции мысли средневекового книжника - анализ текста как выразительного и содержательного единства. Примеры такого прочтения и содержатся в предлагаемой вниманию читателей статье.


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

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


    Быстрянцев, Сергей Борисович (канд. философ. наук, проф., зав. каф. политологии С. -Петербург. гос. ун-та экономики и финансов).
    Научные понятия как подсказка концептуализирующему мышлению [Текст] / С. Б. Быстрянцев // Вестник Челябинского государственного университета. - 2009. - N 29. - С. 94-99. - Библиогр. в примеч. . - ISSN 1994-2796
УДК
^a1
ББК 87
Рубрики: Философия
   Общие вопросы философии
Кл.слова (ненормированные):
дефиниция -- формулировки -- способы верификации
Аннотация: Формулировка дефиниции - логическая процедура строгой фиксации смысла, содержания. На основные моменты формулировки дефиниций обращается внимание в данной работе. В статье формулируются некоторые принципы способов верификации терминов (определений), то есть суждений о специфике субъекта, а также в отношении операций, при помощи которых термины вводятся в анализ, определяются.

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

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


    Быстрянцев, Сергей Борисович (канд. философ. наук, проф., зав. каф. политологии С. -Петербург. гос. ун-та экономики и финансов).
    Научные понятия как подсказка концептуализирующему мышлению [Текст] / С. Б. Быстрянцев // Вестник Челябинского государственного университета. - 2009. - N 29. - С. 94-99. - Библиогр. в примеч. . - ISSN 1994-2796
УДК
^a1
ББК 87
Рубрики: Философия
   Общие вопросы философии
Кл.слова (ненормированные):
дефиниция -- формулировки -- способы верификации
Аннотация: Формулировка дефиниции - логическая процедура строгой фиксации смысла, содержания. На основные моменты формулировки дефиниций обращается внимание в данной работе. В статье формулируются некоторые принципы способов верификации терминов (определений), то есть суждений о специфике субъекта, а также в отношении операций, при помощи которых термины вводятся в анализ, определяются.

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

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


    Каннер, Татьяна Михайловна (руководитель обучающего центра).
    Адаптация существующих способов верификации для программно-аппаратных СЗИ [Текст] / Т. М. Каннер // Вопросы защиты информации. - 2018. - № 1. - С. 13-19. - Библиогр.: с. 19 (8 назв. ) . - ISSN 2073-2600
УДК
^a004.056
ББК 32.97
Рубрики: Вычислительная техника
   Вычислительная техника в целом
Кл.слова (ненормированные):
безопасность -- классификация обнаруженных ошибок -- критичность ошибок -- программно-аппаратные СЗИ -- программное обеспечение -- способы верификации -- средства защиты -- средства защиты информации -- функции безопасности
Аннотация: Рассматриваются особенности верификации программно-аппаратных средств защиты информации. Предложен адаптированный способ верификации программно-аппаратных СЗИ, реализующий процедуры формальной оценки критичности выявленных в ходе тестирования ошибок в их функциях безопасности и алгоритмы расчета критичности ошибок, используемые перед внедрением СЗИ в информационную систему. Описана программная реализация предложенного способа, представляющая собой систему поддержки принятия решений, позволяющую автоматически оценить критичность выявленных в таких средствах защиты ошибок.

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

Найти похожие
 
Стандартный
Расширенный
Профессиональный
Распределенный
По словарю
ГРНТИ-навигатор
УДК-навигатор
ББК-навигатор
Тематический навигатор
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)