Поисковый запрос: (<.>K=верификация<.>) |
Общее количество найденных документов : 8
Показаны документы с 1 по 8 |
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.
|
Богданова, Диана Александровна (старший научный сотрудник; кандидат педагогических наук). Об одном способе валидирования академических записей в условиях мобильного обучения [Текст] / Диана Александровна Богданова> // Народное образование. - 2017. - № 5. - С. 112-114. - Библиогр. в сносках
ББК 74.204 Рубрики: Образование. Педагогика Школоведение Кл.слова (ненормированные): технология блокчейна -- блокчейн биткоина -- виртуальная академическая мобильность -- верификация документов Аннотация: Представлена технология блокчейна в качестве надежного способа подтверждения принадлежности записей конкретному учащемуся.
Найти похожие
|
5.
|
Мустафин, А. Р. "Ведомости одна с другою никакого сходства не имеют": верификация данных о хлебных ценах в России в VIII в. [Текст] / А. Р. Мустафин> // Российская история. - 2017. - № 2. - С. 189-200. - Библиогр. в примеч.
ББК 63.3(2)5 Рубрики: История Россия в XVIII в. - 1917 г., 18 в. Кл.слова (ненормированные): социально-экономическое развитие -- цена на хлеб -- хлеб -- хлебный рынок -- исторические источники -- источниковедческий анализ -- сопоставительный анализ -- монографии -- историки -- справочные ведомости -- финансовая политика -- статистическая отчетность -- верификация -- ведомости -- средние потребительские цены Аннотация: Проведен источниковедческий анализ вопроса о достоверности среднероссийских цен на хлеб в XVIII в.
Доп.точки доступа: Миронов (историк) \б. Н.\ Найти похожие
|
6.
|
Формирование информационных ресурсов архивных документов ВАК [Текст] / А. И. Бродовский [и др.]> // Научные и технические библиотеки. - 2018. - № 12. - С. 49-63. - Библиогр.: с. 61-63 (10 назв.)
. - ISSN 0130-9765ББК 78с Рубрики: Библиотечное дело Автоматизация библиотечных процессов Кл.слова (ненормированные): архивные документы -- информационные системы документов -- оцифровка документов -- поиск документов -- хранение документов -- верификация данных Аннотация: Рассмотрена проблема хранения архивных документов, виды электронных архивов, особенности создаваемой информационной системы архивных документов ВАК. Представлен комплекс работ по созданию и ведению этой информационной системы.
Доп.точки доступа: Бродовский, Александр Иосифович (заведующий отделом); Зайцева, Екатерина Михайловна (кандидат филологических наук; начальник отдела; доцент); Заславский, Юрий Иосифович (заместитель директора; заведующий отделом); Маршак, Борис Исаевич (заместитель генерального директора по науке и стратегическому развитию); Министерство образования и науки России \высшая аттестационная комиссия\; Высшая аттестационная комиссия Министерства образования и науки Найти похожие
|
7.
|
[Электронное приложение к журналу на CD-диске] [Текст] / М. Б. Виситаева [и др.]> // Математика в школе. - 2019. - № 4. - С. 2. - 1; Задачи с параметром в IX классе / Виситаева М. Б. - 1; Верификация гипотезы при решении задачи о трисекции / Корчажкина О. М. - 1; О представлении золотого числа сложным кубическим радикалом / Волотов Н. Н. - 1; Проектируем тематику учебно-поисковой деятельности вместе с учащимися: принцип "домино" / Павлова О. А. - 1; О заданиях на тему "Поворот пространственной фигуры" для учащихся V–VI классов / Артыгалина Р. Д. - 1; Журналу "Математика в школе" 85 лет!
ББК 74.202 + 74.26 Рубрики: Образование. Педагогика Теория и методика обучения Методика преподавания учебных предметов Кл.слова (ненормированные): математика -- задачи с параметром -- неравенства -- решение задач -- геометрические построения -- трисекция угла -- сложные кубические радикалы -- обучение математике -- учебные проекты -- внеурочная деятельность -- тесты -- электронные приложения -- CD -- CD-диски -- статьи -- журналы Аннотация: В электронном приложении к журналу представлены статьи, посвященные обучению математике.
Доп.точки доступа: Виситаева, М. Б. \.\; Корчажкина, О. М. \.\; Волотов, Н. Н. \.\; Павлова, О. А. \.\; Артыгалина, Р. Д. \.\ Найти похожие
|
8.
|
Корчажкина, Ольга Максимовна (кандидат технических наук; старший научный сотрудник). Метод семантической группировки при решении логических задач на уроках информатики [Текст] / О. М. Корчажкина> // Информатика в школе. - 2019. - № 5. - С. 57-62 : ил. - Библиогр.: с. 62 (2 назв.)
. - ISSN 2221-1993ББК 74.26 Рубрики: Образование. Педагогика Методика преподавания учебных предметов Кл.слова (ненормированные): Эйнштейна загадка -- алгоритмизация -- верификация информации -- взаимосвязанные утверждения -- загадка Эйнштейна -- информация -- логические задачи -- логическое мышление -- метод семантической группировки -- методика обучения информатике -- семантические группировки -- таблично-графический метод Аннотация: В статье рассматривается один из способов решения модифицированной загадки А. Эйнштейна, основанный на семантической группировке при верификации условия задачи в виде списка логически взаимосвязанных и не взаимоисключающих утверждений.
Найти похожие
|
|