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

Базы данных


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

Вид поиска

Область поиска
Формат представления найденных документов:
полныйинформационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>K=верификация<.>)
Общее количество найденных документов : 9
Показаны документы с 1 по 9
1.


    Петряев, В. В.
    Творчество: диалектика конструктивного абстрагирования [Текст] / Петряев В. В. // Российский исторический журнал. - 2007. - N 2. - С. 73-89
УДК
ББК 60.025
Рубрики: Социальная философия
   Деятельность

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


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

2.


    Бессонов, А. В.
    Семантика вероятностных прогнозов [Текст] / А. В. Бессонов, К. Ф. Самохвалов // Философия науки. - 2010. - N 4. - С. 68-74 . - ISSN 1560-7488
УДК
ББК 87.21
Рубрики: Философия
   Метафизика. Онтология

Кл.слова (ненормированные):
верификация -- фальсификация -- безответственные прогнозы -- типы прогнозов -- ответственные прогнозы -- вероятностные прогнозы
Аннотация: В статье дается критический анализ понятия "вероятностный прогноз".


Доп.точки доступа:
Самохвалов, К. Ф.

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

3.


    Власов, Д. Ю.
    Логико-эмпирические основания математики [Текст] / Д. Ю. Власов // Философия науки. - 2012. - № 4. - С. 68-84. - Библиогр.: с. 83-84 (11 назв. ) . - ISSN 1560-7488
УДК
ББК 87.25 + 22.1
Рубрики: Философия
   Философия науки

   Математика

   Общие вопросы математики

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


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

4.


    Майорова-Щеглова, Светлана Николаевна (доктор социологических наук).
    Трансформация воспитательных практик в России: среднесрочный прогноз [Текст] / С. Н. Майорова-Щеглова // Педагогическая диагностика. - 2012. - № 5. - С. 12-24 : 4 табл., 1 схема. - Библиогр. в примеч.: [10 назв. ]. - Примеч. в сносках
УДК
ББК 60.561.9
Рубрики: Социология
   Педагогическая социология--Россия

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


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

5.


    Богданова, Диана Александровна (старший научный сотрудник; кандидат педагогических наук).
    Об одном способе валидирования академических записей в условиях мобильного обучения [Текст] / Диана Александровна Богданова // Народное образование. - 2017. - № 5. - С. 112-114. - Библиогр. в сносках
УДК
ББК 74.204
Рубрики: Образование. Педагогика
   Школоведение

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


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

6.


    Мустафин, А. Р.
    "Ведомости одна с другою никакого сходства не имеют": верификация данных о хлебных ценах в России в VIII в. [Текст] / А. Р. Мустафин // Российская история. - 2017. - № 2. - С. 189-200. - Библиогр. в примеч.
УДК
ББК 63.3(2)5
Рубрики: История
   Россия в XVIII в. - 1917 г., 18 в.

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


Доп.точки доступа:
Миронов (историк) \б. Н.\

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

7.


   
    Формирование информационных ресурсов архивных документов ВАК [Текст] / А. И. Бродовский [и др.] // Научные и технические библиотеки. - 2018. - № 12. - С. 49-63. - Библиогр.: с. 61-63 (10 назв.) . - ISSN 0130-9765
УДК
ББК 78с
Рубрики: Библиотечное дело
   Автоматизация библиотечных процессов

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


Доп.точки доступа:
Бродовский, Александр Иосифович (заведующий отделом); Зайцева, Екатерина Михайловна (кандидат филологических наук; начальник отдела; доцент); Заславский, Юрий Иосифович (заместитель директора; заведующий отделом); Маршак, Борис Исаевич (заместитель генерального директора по науке и стратегическому развитию); Министерство образования и науки России \высшая аттестационная комиссия\; Высшая аттестационная комиссия Министерства образования и науки

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

8.


   
    [Электронное приложение к журналу на CD-диске] [Текст] / М. Б. Виситаева [и др.] // Математика в школе. - 2019. - № 4. - С. 2. - 1; Задачи с параметром в IX классе / Виситаева М. Б. - 1; Верификация гипотезы при решении задачи о трисекции / Корчажкина О. М. - 1; О представлении золотого числа сложным кубическим радикалом / Волотов Н. Н. - 1; Проектируем тематику учебно-поисковой деятельности вместе с учащимися: принцип "домино" / Павлова О. А. - 1; О заданиях на тему "Поворот пространственной фигуры" для учащихся V–VI классов / Артыгалина Р. Д. - 1; Журналу "Математика в школе" 85 лет!
УДК
ББК 74.202 + 74.26
Рубрики: Образование. Педагогика
   Теория и методика обучения

   Методика преподавания учебных предметов

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


Доп.точки доступа:
Виситаева, М. Б. \.\; Корчажкина, О. М. \.\; Волотов, Н. Н. \.\; Павлова, О. А. \.\; Артыгалина, Р. Д. \.\

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

9.


    Корчажкина, Ольга Максимовна (кандидат технических наук; старший научный сотрудник).
    Метод семантической группировки при решении логических задач на уроках информатики [Текст] / О. М. Корчажкина // Информатика в школе. - 2019. - № 5. - С. 57-62 : ил. - Библиогр.: с. 62 (2 назв.) . - ISSN 2221-1993
УДК
ББК 74.26
Рубрики: Образование. Педагогика
   Методика преподавания учебных предметов

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


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

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