+
Действующая цена700 499 руб.
Товаров:
На сумму:

Электронная библиотека диссертаций

Доставка любой диссертации в формате PDF и WORD за 499 руб. на e-mail - 20 мин. 800 000 наименований диссертаций и авторефератов. Все авторефераты диссертаций - БЕСПЛАТНО

Расширенный поиск

Методические основы представления и контроля знаний в области информатики с использованием адаптивных семантических моделей

  • Автор:

    Шихнабиева, Тамара Шихгасановна

  • Шифр специальности:

    13.00.02

  • Научная степень:

    Докторская

  • Год защиты:

    2009

  • Место защиты:

    Москва

  • Количество страниц:

    355 с. : ил.

  • Стоимость:

    700 р.

    499 руб.

до окончания действия скидки
00
00
00
00
+
Наш сайт выгодно отличается тем что при покупке, кроме PDF версии Вы в подарок получаете работу преобразованную в WORD - документ и это предоставляет качественно другие возможности при работе с документом
Страницы оглавления работы


ОГЛАВЛЕНИЕ
Теоретические основания исследования и системный анализ его проблематики
Теоретические основания исследования
Системный анализ интеллектуальных моделей представления
знаний
Выбор основной модели для представления и контроля
знаний
Методологические аспекты представления и контроля
знаний
Анализ методов структуризации знаний на основе
адаптивных семантических моделей
Общие модели представления и контроля знаний в области
информатики
Анализ учебных задач в области информатики
Основные методологические положения по представлению и контролю знаний в области информатики на основе
адаптивных семантических моделей
Методические основы представления и контроля знаний
в области информатики
Педагогические возможности адаптивных семантических моделей при подготовке будущих учителей
информатики
Методические положения по разработке адаптивных семантических моделей в области информатики

Методика контроля знаний, основанная на использовании
адаптивных семантических моделей
Принципы и критерии структуризации знаний по информатике на основе адаптивных семантических моделей
для различных форм учебных занятий
Разработка семантических моделей по дисциплинам
предметной подготовки учителей информатики
Разработка семантических моделей по основным темам
учебной дисциплины “Программирование”
Разработка семантических моделей по основным темам
учебной дисциплины “Программное обеспечение ”
Разработка семантических моделей по основным темам
учебной дисциплины “Компьютерное моделирование”
Разработка семантических моделей по основным темам
учебной дисциплины “Архитектура компьютера”
Разработка семантических моделей по основным темам
учебной дисциплины “ Теоретические основы информатики ” Разработка семантических моделей по основным темам
учебной дисциплины “Математическая логика ”
Разработка семантических моделей по основным темам
учебной дисциплины “Компьютерные сети”
Разработка семантических моделей по основным темам
учебной дисциплины “Основы искусственного интеллекта”... Обобщенные данные по созданным образовательным
моделям в области информатики
Экспериментальные исследования и оценка
эффективности рекомендаций диссертации
Программные средства автоматизированного обучения

4.2. Принципы построения автоматизированной обучающей системы “КАСПИЙ”
4.3. Методика использования в обучении системы “КАСПИЙ”
4.4 Педагогический эксперимент и оценка эффективности
основных результатов диссертационного исследования
Заключение
Библиография
Приложения
A. Примерные учебные планы по специальности 030100 -учитель информатики
Б. Методическое пособие для преподавателей информатики “Методика создания и использования адаптивных семантических моделей в области информатики”
B. Акты о внедрении результатов диссертационного исследования

в экспертных системах, отличаются от формальных продукционных систем (см. п. 1.2) тем, что они используют более сложные конструкции правил, а также содержат эвристическую информацию о специфике проблемной среды, выражаемую часто в виде семантических структур. Далее охарактеризуем коротко каждую из моделей представления знаний.
Логические модели представления знаний
В основе логических моделей лежит понятие формальной теории, задаваемой четверкой множественных факторов [75]:
8= <В, ¥, А, К>,
где В - счетное множество базовых символов (алфавит) теории Э;
Б - подмножество выражений теории Б, называемых формулами теории (под выражениями понимаются конечные последовательности базовых символов теории Э). Обычно существует эффективная процедура (множество синтаксических правил), позволяющая строить из В синтаксически правильные выражения - формулы;
А - выделенное множество формул, называемых аксиомами теории Б, т.е. множество априорно истинных формул;
В. - конечное множество отношений { п
Для каждого п существует целое положительное число ], такое, что для каждого множества, состоящего из ] формул, и для каждой формулы £ эффективно решается вопрос о том, находятся ли данные ] формул в отношении Г; с формулой £ Если отношение Г; выполняется, то Г называется непосредственным следствием данных ] формул по правилу п. Следствием (выводом)) формулы 1'п в теории Б называется всякая последовательность Е

Рекомендуемые диссертации данного раздела

Время генерации: 0.196, запросов: 962