Поисковый запрос: (<.>K=верификация<.>) |
Общее количество найденных документов : 8
Показаны документы с 1 по 8 |
1. 
|
Вид документа : Статья из журнала
Шифр издания :
Автор(ы) : Петряев В. В.
Заглавие : Творчество: диалектика конструктивного абстрагирования
Серия: Теория и методология
Место публикации : Российский исторический журнал. - 2007. - N 2. - С.73-89
УДК : 1:316
ББК : 60.025
Предметные рубрики: Социальная философия
Деятельность
Ключевые слова (''Своб.индексиров.''): творчество--критерии творчества--атрибутивный творческий потенциал--творческое самодистанцирование--творческое абстрагирование--конструктивность--конструктивное абстрагирование--творческая свобода--диалектика творчества--развитие творчества--принципы диалектики творчества--внутренняя достоверность--объективная верификация
Аннотация: Рассмотрены отправные критерии творчества как целостной системы. Сформулированы базовые принципы атрибутивно-конструктивной диалектики творчества: свобода дистанцирования субъекта, внутренняя достоверность, конструктивация атрибутивного и объективная верификация, атрибутивно-конструктивное достраивание.
Найти похожие
|
2.
|
Вид документа : Статья из журнала
Шифр издания :
Автор(ы) : Бессонов А. В., Самохвалов К. Ф.
Заглавие : Семантика вероятностных прогнозов
Серия: Проблемы логики и методологии науки
Место публикации : Философия науки. - 2010. - N 4. - С.68-74. - ISSN 1560-7488. - ISSN 1560-7488
УДК : 11/12
ББК : 87.21
Предметные рубрики: Философия
Метафизика. Онтология
Ключевые слова (''Своб.индексиров.''): верификация--фальсификация--безответственные прогнозы--типы прогнозов--ответственные прогнозы--вероятностные прогнозы
Аннотация: В статье дается критический анализ понятия "вероятностный прогноз".
Найти похожие
|
3.
|
Вид документа : Статья из журнала
Шифр издания : 1/В 581
Автор(ы) : Власов Д. Ю.
Заглавие : Логико-эмпирические основания математики
Серия: Проблемы логики и методология науки
Место публикации : Философия науки. - 2012. - № 4. - С.68-84. - ISSN 1560-7488. - ISSN 1560-7488
Примечания : Библиогр.: с. 83-84 (11 назв. )
УДК : 1 + 510
ББК : 87.25 + 22.1
Предметные рубрики: Философия
Философия науки
Математика
Общие вопросы математики
Ключевые слова (''Своб.индексиров.''): логика--языки--верификация--компьютерные языки--логико-эмпирические основания--философские проблемы
Аннотация: Предлагается рассматривать машинную верификацию формальных доказательств, записанных на некотором компьютерном языке, как логико-эмпирическое основание математики. Анализируются возникающие при этом философские проблемы.
Найти похожие
|
4.
|
Вид документа : Статья из журнала
Шифр издания :
Автор(ы) : Богданова, Диана Александровна (старший научный сотрудник; кандидат педагогических наук)
Заглавие : Об одном способе валидирования академических записей в условиях мобильного обучения
Серия: Технология и практика обучения
Место публикации : Народное образование. - 2017. - № 5. - С.112-114
Примечания : Библиогр. в сносках
УДК : 371
ББК : 74.204
Предметные рубрики: Образование. Педагогика
Школоведение
Ключевые слова (''Своб.индексиров.''): технология блокчейна--блокчейн биткоина--виртуальная академическая мобильность--верификация документов
Аннотация: Представлена технология блокчейна в качестве надежного способа подтверждения принадлежности записей конкретному учащемуся.
Найти похожие
|
5.
|
Вид документа : Статья из журнала
Шифр издания : 9/М 917
Автор(ы) : Мустафин А. Р.
Заглавие : "Ведомости одна с другою никакого сходства не имеют": верификация данных о хлебных ценах в России в VIII в.
Место публикации : Российская история. - 2017. - № 2. - С.189-200
Примечания : Библиогр. в примеч.
УДК : 9 + 94(470+571)"17/1917"
ББК : 63.3(2)5
Предметные рубрики: История
Россия в XVIII в. - 1917 г., 18 в.
Ключевые слова (''Своб.индексиров.''): социально-экономическое развитие--цена на хлеб--хлеб--хлебный рынок--исторические источники--источниковедческий анализ--сопоставительный анализ--монографии--историки--справочные ведомости--финансовая политика--статистическая отчетность--верификация--ведомости--средние потребительские цены
Аннотация: Проведен источниковедческий анализ вопроса о достоверности среднероссийских цен на хлеб в XVIII в.
Найти похожие
|
6.
|
Вид документа : Статья из журнала
Шифр издания :
Автор(ы) : Бродовский, Александр Иосифович, Зайцева, Екатерина Михайловна, Заславский, Юрий Иосифович, Маршак, Борис Исаевич
Заглавие : Формирование информационных ресурсов архивных документов ВАК
Серия: 60-летию ГПНТБ России посвящается
Место публикации : Научные и технические библиотеки. - 2018. - № 12. - С.49-63. - ISSN 0130-9765. - ISSN 0130-9765
Примечания : Библиогр.: с. 61-63 (10 назв.)
УДК : 02:004.3
ББК : 78с
Предметные рубрики: Библиотечное дело
Автоматизация библиотечных процессов
Ключевые слова (''Своб.индексиров.''): архивные документы--информационные системы документов--оцифровка документов--поиск документов--хранение документов--верификация данных
Аннотация: Рассмотрена проблема хранения архивных документов, виды электронных архивов, особенности создаваемой информационной системы архивных документов ВАК. Представлен комплекс работ по созданию и ведению этой информационной системы.
Найти похожие
|
7.
|
Вид документа : Статья из журнала
Шифр издания :
Заглавие : [Электронное приложение к журналу на CD-диске]
Серия: Методический семинар
.
Вне урока
.
Задачи
.
Хроники
Разночтения заглавия :: Задачи с параметром в IX классе: Верификация гипотезы при решении задачи о трисекции: О представлении золотого числа сложным кубическим радикалом: Проектируем тематику учебно-поисковой деятельности вместе с учащимися: принцип "домино": О заданиях на тему "Поворот пространственной фигуры" для учащихся V–VI классов: Журналу "Математика в школе" 85 лет!
Место публикации : Математика в школе. - 2019. - № 4. - С.2
УДК : 371.3 + 372.8
ББК : 74.202 + 74.26
Предметные рубрики: Образование. Педагогика
Теория и методика обучения
Методика преподавания учебных предметов
Ключевые слова (''Своб.индексиров.''): математика--задачи с параметром--неравенства--решение задач--геометрические построения--трисекция угла--сложные кубические радикалы--обучение математике--учебные проекты--внеурочная деятельность--тесты--электронные приложения--cd--cd-диски--статьи--журналы
Аннотация: В электронном приложении к журналу представлены статьи, посвященные обучению математике.
Найти похожие
|
8.
|
Вид документа : Статья из журнала
Шифр издания :
Автор(ы) : Корчажкина, Ольга Максимовна (кандидат технических наук; старший научный сотрудник)
Заглавие : Метод семантической группировки при решении логических задач на уроках информатики
Серия: Задачи
Место публикации : Информатика в школе. - 2019. - № 5. - С.57-62: ил. - ISSN 2221-1993. - ISSN 2221-1993
Примечания : Библиогр.: с. 62 (2 назв.)
УДК : 372.8
ББК : 74.26
Предметные рубрики: Образование. Педагогика
Методика преподавания учебных предметов
Ключевые слова (''Своб.индексиров.''): эйнштейна загадка--алгоритмизация--верификация информации--взаимосвязанные утверждения--загадка эйнштейна--информация--логические задачи--логическое мышление--метод семантической группировки--методика обучения информатике--семантические группировки--таблично-графический метод
Аннотация: В статье рассматривается один из способов решения модифицированной загадки А. Эйнштейна, основанный на семантической группировке при верификации условия задачи в виде списка логически взаимосвязанных и не взаимоисключающих утверждений.
Найти похожие
|
|
|
Главная
Описание
Шлюз Z39.50
Электронный каталог НТГСПИ
Стандартный