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

Системы 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)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Сравнительный анализ нелинейных резонансов механической системы с несимметричной кусочно-линейной характеристикой восстанавливающей силы
за авторством: Бовсуновский, А.П.
Опубліковано: (2007)

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

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

Сравнительный анализ систем компьютерного моделирования металлургических и литейных процессов
за авторством: Тарасевич, Н.И., та інші
Опубліковано: (2010)

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

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

Комплексная механизация и автоматизация производства вагонов бункерного типа
за авторством: Цыган, Б.Г., та інші
Опубліковано: (2002)

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

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

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

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