Віртуальна довідка Тематичний інтернет-навігатор Наукова електронна бібліотека Автореферати дисертацій Реферативна база даних Книжкові видання та компакт-диски Журнали та продовжувані видання
|
Для швидкої роботи та реалізації всіх функціональних можливостей пошукової системи використовуйте браузер "Mozilla Firefox" |
|
|
Формат представлення знайдених документів: | повний | стислий |
Пошуковий запит: (<.>U=В122$<.>) |
Загальна кількість знайдених документів : 2
Представлено документи з 1 до 2
|
| | | | |
1. |
Дьоміна В.М. Методи та моделі оцінювання знань в автоматизованих системах тестування: Автореф. дис... канд. техн. наук: 05.13.06 / В.М. Дьоміна ; Харк. нац. ун-т радіоелектрон. — Х., 2002. — 19 с. — укp.Запропоновано підхід до побудови математичного забезпечення автоматизованої системи тестування, до основи якого покладено логіко-алгебричні методи та моделі оцінювання знань, що моделюють логіку викладача під час виставлення оцінки. Наведені методи дозволяють оцінювати знання респондента, коригувати оцінку в помежовій області між близькими балами, а також запобігати угадуванню респондентом відповідей на запитання тесту. Це дозволяє підвищити точність виміру знань і покращити якість підготовки фахівців, особливо у разі дистанційної освіти. Розроблено метод оцінки впливу суб'єктивних факторів на якість вимірювання знань. Доведено гіпотезу про невелику розбіжність результатів оцінювання у викладачів-експертів та автоматизованої системи тестування. Скачати повний текст Індекс рубрикатора НБУВ: з970.826 + В122,022 Шифр НБУВ: РА319004 Пошук видання у каталогах НБУВ
Рубрики:
|
| | | | |
2. |
Лялецький О.О. Неперервність функції в інтенсіональних моделях лямбда-подібних числень: автореф. дис... канд. фіз.-мат. наук: 01.05.01 / О.О. Лялецький ; Київ. нац. ун-т ім. Т.Шевченка. — К., 2009. — 16 с. — укp.Розглянуто нові природні визначення збіжності спрямованості над частково впорядкованою множиною з "достатньою кількістю" супремумів і інімумів. На підставі цих визначень введено поріднені, але різні поняття неперервної функції через властивість функції зберігати відповідні ліміти спрямованостей. Проведено порівняльний аналіз цих понять з їх загально відомими аналогами, такими як неперервність за Скоттом, (о)-неперервність і топологічна неперервність. Наведено абстрактні теоретико-порядкові характеризації властивості функції "бути неперервною" в контексті кожного з нових понять. На основі нових понять неперервної функції за допомогою характеризаційних теорем досліджено можливість побудови за методом К. Койманса нових моделей теорії лямбда. Встановлено, що одне з цих понять призводить лише до тривіальних лямбда-моделей, в той час як інші два нові поняття індукують нові "неперервні" лямбда-моделі. Побудовано приклади "неперервних", але нетопологізуючих моделей теорії лямбда. Скачати повний текст Індекс рубрикатора НБУВ: З973-018.210 + В122 + Шифр НБУВ: РА368702
Рубрики:
|
|
|