Зображення обкладинки

Системы Theorema и автоматизация дедукции: сравнительный анализ

Рассмотрены основные парадигмы обработки математических знаний и обозначено место среди них систем Theorema и автоматизация дедукции. Описаны сравнительный анализ систем, общие черты их построения и различие в методах обработки данных. Basic paradigms of the mathematical knowledge processing are con...

Повний опис

Збережено в:

Бібліографічні деталі
Опубліковано в: :	Управляющие системы и машины
Дата:	2011
Автори:	Анисимов, А.В., Джебелян, Т., Лялецкий, А.В., Попов, Н.
Формат:	Стаття
Мова:	Російська
Опубліковано:	Міжнародний науково-навчальний центр інформаційних технологій і систем НАН та МОН України 2011
Теми:	Организационные и методические аспекты обеспечения непрерывного образования
Онлайн доступ:	https://nasplib.isofts.kiev.ua/handle/123456789/82950
Теги:	Додати тег Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:	Digital Library of Periodicals of National Academy of Sciences of Ukraine
Цитувати:	Системы Theorema и автоматизация дедукции: сравнительный анализ / А.В. Анисимов, Т. Джебелян, А.В. Лялецкий. Н. Попов // Управляющие системы и машины. — 2011. — № 4. — С. 59-63, 77. — Бібліогр.: 20 назв. — рос.

Репозитарії

Digital Library of Periodicals of National Academy of Sciences of Ukraine

Схожі ресурси

Практические аспекты построения отказоустойчивых распределенных систем на базе конвергентных технологий
за авторством: Войченко, А.П.
Опубліковано: (2011)

Методика рационального выбора комплекса авторских средств разработки курсов дистанционного обучения
за авторством: Рябцев, В.В., та інші
Опубліковано: (2011)

Применение текстометрических исследований при разработке специализированных интерпретаторов
за авторством: Митев, М.М., та інші
Опубліковано: (2011)

Архитектурные и программные решения построения коллаборативного электронного учебного пространства
за авторством: Глибовец, Н.Н.
Опубліковано: (2011)

Модель прогнозирования параметров управления индивидуализированным обучением
за авторством: Мазурок, Т.Л.
Опубліковано: (2011)

Модель современного библиографа (практический взгляд на актуальную тему)
за авторством: Ситник, С.М.
Опубліковано: (2003)

Компьютерная подготовка библиотекарей-профессионалов
за авторством: Паршукова, Г.Б.
Опубліковано: (2003)

Интенсивное обучение новым технологиям на базе Сибирского регионального библиотечного центра непрерывного образования
за авторством: Соболева, Е.Б., та інші
Опубліковано: (2003)

Детермінанти ефективності вивчення теоретичних дисциплін студентами медичного університету
за авторством: Барінов, Е.Ф., та інші
Опубліковано: (2013)

Презентация как визуальная форма представления информации в образовательном процессе
за авторством: Бешуля, О.А., та інші
Опубліковано: (2013)

Успеваемость студентов и формы контроля на кафедре анатомии человека
за авторством: Чилингариди, С.Н., та інші
Опубліковано: (2013)

Роль клініко-біологічних об’єктів в навчальному процесі вищої медичної школи
за авторством: Кобзар, О.Б., та інші
Опубліковано: (2013)

Мобильные плазменные системы. Варианты исполнения, использования и сравнительный анализ
за авторством: Моссэ, А.Л., та інші
Опубліковано: (2012)

Анализ экономической эффективности модельной системы по управлению безопасностью мяса птицы
за авторством: Малыгина, В.Д., та інші
Опубліковано: (2012)

Сопоставительный анализ категории прошедшего времени глагола на занятиях немецкого языка в крымскотатарской школе
за авторством: Джербинова, Л.М.
Опубліковано: (2005)

KAIRYO-KAIZEN- и PCM-DM–системы: сравнительный анализ. Часть I
за авторством: Севастьянов, А.К.
Опубліковано: (2013)

KAIRYO-KAIZEN- И PCM-DM-системы: сравнительный анализ. Часть 2
за авторством: Севастьянов, А.К.
Опубліковано: (2013)

Академічна мобільність майбутніх фахівців у контексті іноваційних методологічних підходів
за авторством: Циганаш, А.В.
Опубліковано: (2013)

Ремифологизация общества: гносеологический аспект
за авторством: Ставицкий, А.В.
Опубліковано: (2013)

Сравнительный анализ графических методов проектирования информационных систем
за авторством: Валькман, Ю.Р., та інші
Опубліковано: (2009)

Коммуникативная профессиограмма менеджера
за авторством: Клепикова, А.В.
Опубліковано: (2012)

Автоматизация проектно-конструкторских работ
за авторством: Грубой, А.П., та інші
Опубліковано: (2012)

Автоматизация определения результатов тестирования
за авторством: Бахрушин, В.Е., та інші
Опубліковано: (2010)

Сравнительный анализ результатов лечения рубцовых деформаций шейки матки
за авторством: Чурилов, А.В., та інші
Опубліковано: (2011)

Сравнительный анализ методов эволюционного поиска
за авторством: Субботин, С.А., та інші
Опубліковано: (2008)

Долголетие академиков: сравнительный анализ
за авторством: Кандрычын, С.
Опубліковано: (2014)

CASE-инструментарий UFO-toolkit. Автоматизация построения УФО-моделей
за авторством: Маторин, В.С., та інші
Опубліковано: (2004)

Механизация и автоматизация сварочного производства от компании «ДельтаСвар»
за авторством: Веснин, А.В.
Опубліковано: (2012)

Сравнительный анализ моделей знаний обучаемого в интеллектуальных обучающих системах
за авторством: Валькман, Ю.Р., та інші
Опубліковано: (2011)

Семинар «Автоматизация сварочных процессов»
за авторством: Липодаев, В.Н.
Опубліковано: (2014)

Автоматизация деятельности морских брокеров
за авторством: Антонова, Е.И., та інші
Опубліковано: (2008)

Автоматизация управления предприятиями с целью создания системы стратегического управления национальной экономикой
за авторством: Ведута, Е.Н., та інші
Опубліковано: (2014)

Автоматизация построения бизнес-правил в процессе реинжиниринга программных legacy-систем на этапе анализа их функциональных структур
за авторством: Гриценко, В.И., та інші
Опубліковано: (2009)

Углубленное изучение делового общения студентами негуманитарных специальностей в рамках курса "Русский язык и культура речи"
за авторством: Анисимова, А.В.
Опубліковано: (2004)

Парадоксы взаимодействия рынка образовательных ресурсов и рынка труда в эпоху глобализации
за авторством: Кочемазов, А.В., та інші
Опубліковано: (2012)

Сравнительный анализ различных оценок вероятности распознавания
за авторством: Капустий, Б.Е., та інші
Опубліковано: (2006)

Сравнительный анализ моделей конвективной теплоотдачи
за авторством: Байда, Е.И.
Опубліковано: (2011)

Автоматизация, доведенная до совершенства
Опубліковано: (2015)

Автоматизация деятельности туристической фирмы
за авторством: Шевчук, Л.Е.
Опубліковано: (2012)

Сравнительный анализ методик количественного определения окалины на поверхности катанки
за авторством: Парусов, В.В., та інші
Опубліковано: (2008)