Перегляд за автором "Львов, М.С."

Результати 1-16 з 16

Алгебраический подход к задаче решения систем линейных неравенств

Львов, М.С. (Кибернетика и системный анализ, 2010)

Викладено алгебраїчний підхід до побудови алгоритму розв’язання системи лінійних нерівностей. Суть цього підходу полягає у тому, що в термінах багатосортних алгебраїчних систем конструктивно визначається спеціальна алгебра ...
Алгоритм и инструменты построения канонических форм линейных полуалгебраических формул

Львов, М.С.; Песчаненко, В.С.; Летичевский, А.А.; Тарасич, Ю.Г.; Баев, А.С. (Кибернетика и системный анализ, 2018)

Получены результаты испытаний инструментов упрощения формул, а также описан алгоритм построения канонических форм линейных полуалгебраических формул (ЛПФ). Основным результатом работы является определение канонической формы ...
Интеллектуальные свойства систем компьютерной математики учебного назначения и методы их реализации

Львов, М.С. (Штучний інтелект, 2011)

В работе сформулированы основные задачи систем компьютерной математики учебного назначения, реализация которых обеспечивает интеллектуальные свойства этих систем. Описаны методы решения задач верификации хода решения учебной ...
Концепция, архитектура и функциональность гибкой распределенной программной среды учебного назначения для средней школы. Рабочее место методиста

Львов, М.С. (Управляющие системы и машины, 2009)

Рассмотрены концепция, архитектура и функциональность программной среды учебного назначения для средней школы на рабочих местах методиста, учителя и учеников. Описан веб-портал «Рабочее место методиста». Предложенный подход ...
Концепция информационной поддержки учебного процесса и ее реализация в педагогических программных средах

Львов, М.С. (2009)

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

Львов, М.С. (Управляющие системы и машины, 2011)

Рассмотрено понятие математического теста, определены его типы и изучены алгоритмические аспекты разработки модулей тестирования процедурных знаний в системах компьютерной математики учебного назначения.
Математичні моделі та методи підтримки ходу розв’язання навчальних задач з аналітичної геометрії

Львов, М.С. (Штучний інтелект, 2010)

Роботу присвячено проблемі проектування автоматичного режиму підтримки ходу розв’язання задач аналітичної геометрії в математичній системі навчального призначення. Автоматичний режим полягає у тому, що на кожному кроці ...
Метод доказательства инвариантности линейных неравенств для линейных циклов

Львов, М.С. (Кибернетика и системный анализ, 2014)

Представлен новый метод доказательства инвариантности системы линейных неравенств для итеративных циклов, определенных над полем рациональных чисел с линейным оператором в теле цикла. Метод учитывает предусловие цикла в ...
Метод трапецоидов решения систем линейных неравенств и его реализация инсерционным моделированием

Львов, М.С.; Песчаненко, В.С. (Кибернетика и системный анализ, 2012)

Викладено новий метод розв’язання системи лінійних нерівностей — метод трапецоїдів, оснований на побудові канонічних форм системи лінійних нерівностей. Канонічні форми представляють розбиття опуклого многогранника розв’язків ...
Нелинейные инварианты линейных циклов и собственные полиномы линейных операторов

Львов, М.С.; Крекнин, В.А. (Кибернетика и системный анализ, 2012)

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

Львов, М.С. (2011)

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

Львов, М.С. (Кибернетика и системный анализ, 2010)

Розглянуто задачу генерації поліноміальних інваріантів спеціального типу ітераційних циклів з лінійним відображенням у тілі циклу. Запропоновано нову техніку побудови таких інваріантів, основану на аналізі характеристичних ...
Распределенные программные среды учебного назначения. Подсистема управления учебным процессом

Львов, М.С. (Управляющие системы и машины, 2010)

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

Львов, М.С. (Управляющие системы и машины, 2010)

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

Львов, М.С. (Проблеми програмування, 2015)

В работе рассматривается класс «физических» программ  т. е. программ, осуществляющих физические вычисления. Некоторые переменные таких программ имеют физический смысл, определяемый их физическими размерностями. Приведен ...
Тригонометрические вычисления в системах компьютерной математики учебного назначения

Львов, М.С. (Штучний інтелект, 2011)

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

Результати 1-16 з 16

Пошук

Розширений пошук

Перегляд

Вся бібліотека

Перегляд за автором "Львов, М.С."

Репозиторій DSpace/Manakin

Перегляд за автором "Львов, М.С."

Пошук

Перегляд

Вся бібліотека

Мій обліковий запис