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

О применении композиционно-номинативных логик в инсерционном моделировании

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

Повний опис

Збережено в:

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

Репозитарії

Digital Library of Periodicals of National Academy of Sciences of Ukraine

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

Система доказательного программирования
за авторством: Летичевский, А.А. (мл.), та інші
Опубліковано: (2012)

Композиционно-номинативные аспекты адресного программирования
за авторством: Никитченко, Н.С.
Опубліковано: (2009)

Система композиционно-номинативного программирования SCRIPT.NET
за авторством: Процик, П.П.
Опубліковано: (2008)

О моделировании симметрии в комбинаторной оптимизации
за авторством: Тимофеева, Н.К.
Опубліковано: (2018)

О применении интеллектуальных технологий в мониторинге компьютерных сетей
за авторством: Шыхалиев, Р.Г.
Опубліковано: (2011)

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

Я. Лукасевич – выдающийся логик ХХ века
за авторством: Тарашилова, Ю.А.
Опубліковано: (2007)

Теоретические предпосылки выявления системообразующих параметров номинативных подсистем языков разного строя
за авторством: Айвазова, Э.Р.
Опубліковано: (2009)

Полные асимптотики приближений некоторыми сингулярными интегралами в математическом моделировании
за авторством: Жигалло, К.Н.
Опубліковано: (2020)

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

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

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

Физические и технологические аспекты создания и применений кремниевых планарных детекторов
за авторством: Маслов, Н.И.
Опубліковано: (2013)

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

К вопросу о численном моделировании производной дискретного временного ряда с приближенными данными
за авторством: Киселева, Е.М., та інші
Опубліковано: (2015)

О моделировании кластеров предприятий
за авторством: Рясная, И.И.
Опубліковано: (2011)

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

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

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

О применении комбинированного метода выпуклого программирования
за авторством: Кузьменко, В.Н., та інші
Опубліковано: (2003)

К вопросу о статистическом моделировании надежности
за авторством: Федухин, А.В., та інші
Опубліковано: (2006)

О моделировании диагностики включений в упругом теле
за авторством: Кривонос, Ю.Г., та інші
Опубліковано: (2013)

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

К вопросу о моделировании кинетики химических процессов в водогрейных котлах
за авторством: Демченко, В.Г., та інші
Опубліковано: (2007)

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

О применении грациозной разметки в MPLS-сетях
за авторством: Семенюта, М.Ф., та інші
Опубліковано: (2018)

О моделировании сенсорних сетей средствами високого уровня
за авторством: Дорошенко, А.Е., та інші
Опубліковано: (2006)

О применении знакопостоянных функций в теории интегральных многообразий
за авторством: Лыкова, О.Б., та інші
Опубліковано: (1987)

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

О моделировании зоны предразрушения у фронта трещины
за авторством: Каминский, А.А.
Опубліковано: (2015)

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

О моделировании нелинейных эволюционных функционально-дифференциальных уравнений
за авторством: Шамин, Р.В., та інші
Опубліковано: (2006)

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

О моделировании седиментации гиперболическим уравнением и его вырождение
за авторством: Кривонос, Ю.Г., та інші
Опубліковано: (2014)

Изучение механизмов йодирования 5'-О-защищенных пиримидиннуклеозидов в условиях реакции Арбузова
за авторством: Костина, В.Г., та інші
Опубліковано: (1998)

О применении методов идентификации в задачах технической диагностики
за авторством: Носик, Т.А.
Опубліковано: (2012)

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

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

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

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