x-uni.com
x-uni.com
x-uni.com
Математика
Биология
Литература
Русский язык
География
Физика
Химия
История
Английский
Информатика
География
Информатика
Объектно-ориентированный подход в логических моделях, Монография, Ульянов В.С., 2014

Объектно-ориентированный подход в логических моделях, Монография, Ульянов В.С., 2014

Объектно-ориентированный подход в логических моделях, Монография, Ульянов В.С., 2014.

   Монография посвящена проблеме моделирования объектных структур данных в рамках дескриптивной логик. В работе исследуется построение информационных систем, ориентированных на создание баз данных и знаний, в которых эффективная обработка структур данных на уровне объектной модели сочетается с интеллектуальной обработкой знаний на логическом уровне. Исследуется попытка интеграции математической логики и объектно-ориентированного программирования. Одно из основных приложений данного подхода – использование для разработки распределенных систем знаний в глобальной информационной среде, а также метаописания информационных ресурсов, разработки интеллекуализированных образовательных систем и систем поддержки научных исследований.
Монография предназначена для специалистов и исследователей в области построения систем на основе распределенных баз знаний. Работа также будет интересна для исследователей в области математической логики, а также для исследований фундаментальных принципов объектно-ориентированного программирования.

Основные понятия дескриптивных логик.
Дескриптивными логиками [33] принято называть класс формализмов, предназначенных для представления и обработки знаний (KR-формализмов). В рамках дескриптивных логик знания о предметной области (о мире) представляются через выстраивание отношений между понятиями предметной области. На основе этих понятий, которые еще называют терминологией, определяются свойства объектов в домене. Данную совокупность знаний называют описанием предметной области.

Дескриптивные логики являются распространенным инструментом, на котором базируются системы описаний знаний. Доказательством этому служит то, что дескриптивные логики занимают ключевую позицию как система формализации знаний в концепции Интернета нового поколения семантическом вебе (Semantic Web [83]).

Дескриптивные логики являются подклассом широкого класса логик первого порядка. Данные логики характеризуются особым балансом между между выразительностью и алгоритмической эффективностью.

Словарь дескриптивных логик состоит из концептов (понятий) и ролей (отношений). Понятия обозначают множества объектов («индивидуалов»), а роли представляют бинарные отношения между объектами предметной области.

Оглавление
Введение
1. Дескриптивные логики и семантический веб
1.1. Логические методы и информационные пространства
1.2. Основные понятия дескриптивных логик
1.3. Блок терминологии (Т-бокс)
1.4. Блок утверждений (А-бокс)
2. Логические архитектуры и объектно-ориентированное программирование
2.1. Логические архитектуры
2.2. Объектно-ориентированные проекции
2.3. Абстрактный объектно-ориентированный язык
2.4. Отображение
2.5. Мультиметоды
3. Построение интерфейсов для онтологий на базе оо-проекций
3.1. Общая концепция интерфейсов для онтологий
3.2. Представление семантических сетей в виде деревьев
3.3. Ленивые бесконечные деревья
3.4. Правила построения дерева
3.5. μ-изоморфизм деревьев
3.5.1. Примеры правил
3.5.2. Логический подход
3.5.3. Функциональный подход
3.6. Обзор системы Meta2
3.6.1. Архитектура клиентской части системы Meta2
3.6.2. Механизм построения деревьев
3.6.3. Формы для работы с объектами
3.6.4. Модульность и система проектов
3.6.5. Приложения системы Meta2
Заключение  
Приложение.

Предложения интернет-магазинов

Обновление содержания школьного математического образования. Социокультурный подход. Монография

Автор(ы): Подаева Наталия Георгиевна, Подаев Михаил Валерьевич   Издательство: Лань, 2014 г.  Серия: Учебники для вузов. Специальная литература

Цена: 533 руб.   Купить

Монография содержит изложение основных линий социокультурной концепции математического образования, отдельные главы посвящены коммуникации-трансляции и социокультурной адаптации при обучении геометрии младших подростков. Адресовано специалистам, работающим в образовательной сфере, а также студентам и аспирантам, обучающимся по направлению подготовки "Педагогическое образование".


Модель методических систем обучения информатике. Монография

Автор(ы): Минькович Татьяна Владимировна   Издательство: Логос, 2011 г.

Цена: 547 руб.   Купить

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


Формирование речевой культуры младших школьников в условиях воздействия СМИ. Монография

Автор(ы): Серегина Дария Александровна   Издательство: Прометей, 2013 г.

Цена: 202 руб.   Купить

Монография посвящена проблеме формирования культуры речи младших школьников в условиях воздействия средств массовой информации. На основании проведенного исследования разработана и научно обоснована методика формирования культуры речи младших школьников в условиях воздействия современных СМИ. Программа экспериментально проверена в системе дополнительных занятий к урокам русского языка и чтения в четвертом классе получила положительную оценку учителей-практиков.


Математика. 1 класс. Тренажер

Автор(ы): Ульянов Д. В.   Издательство: Литера Гранд, 2017 г.  Серия: Тренажер

Цена: 82 руб.   Купить

Тренажёр - это современное учебное пособие, предназначенное для комплексного усвоения учениками школьной программы по математике. Благодаря многочисленным оригинальным примерам и задачам он позволяет закреплять и совершенствовать полученные математические знания, вырабатывает автоматические навыки правильной работы с числами.