Buchumschlag

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

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

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Управляющие системы и машины
Datum:	2012
Hauptverfasser:	Никитченко, Н.С., Тимофеев, В.Г.
Format:	Artikel
Sprache:	Russisch
Veröffentlicht:	Міжнародний науково-навчальний центр інформаційних технологій і систем НАН та МОН України 2012
Schlagworte:	Дедуктивные методы
Online Zugang:	https://nasplib.isofts.kiev.ua/handle/123456789/83109
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!
Назва журналу:	Digital Library of Periodicals of National Academy of Sciences of Ukraine
Zitieren:	О применении композиционно-номинативных логик в инсерционном моделировании / Н.С. Никитченко, В.Г. Тимофеев // Управляющие системы и машины. — 2012. — № 6. — С. 57-63. — Бібліогр.: 12 назв. — рос.

Institution

Digital Library of Periodicals of National Academy of Sciences of Ukraine

Ähnliche Einträge

Система доказательного программирования
von: Летичевский, А.А. (мл.), et al.
Veröffentlicht: (2012)

Композиционно-номинативные аспекты адресного программирования
von: Никитченко, Н.С.
Veröffentlicht: (2009)

Система композиционно-номинативного программирования SCRIPT.NET
von: Процик, П.П.
Veröffentlicht: (2008)

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

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

О целенаправленности перебора вариантов моделей при моделировании физических процессов
von: Бабак, О.В., et al.
Veröffentlicht: (2012)

Я. Лукасевич – выдающийся логик ХХ века
von: Тарашилова, Ю.А.
Veröffentlicht: (2007)

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

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

Интеграция аксиоматики дескриптивных логик с реляционной моделью данных
von: Чистякова, И.С.
Veröffentlicht: (2017)

Сопоставительный анализ лексем русского, английского и украинского языков в аспекте антропоцентричности номинативных процессов
von: Кислицына, Н.Н., et al.
Veröffentlicht: (2007)

Интеграция семейства расширенных дескриптивных логик с реляционной моделью данных
von: Резниченко, В.А., et al.
Veröffentlicht: (2016)

Физические и технологические аспекты создания и применений кремниевых планарных детекторов
von: Маслов, Н.И.
Veröffentlicht: (2013)

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

К вопросу о численном моделировании производной дискретного временного ряда с приближенными данными
von: Киселева, Е.М., et al.
Veröffentlicht: (2015)

О моделировании кластеров предприятий
von: Рясная, И.И.
Veröffentlicht: (2011)

Производные правила секвенциальных исчислений для конечнозначных логик с определителем равенства
von: Пынько, А.П.
Veröffentlicht: (2008)

Интеграция дескриптивных логик с операциями над ролями с реляционной моделью данных
von: Чистякова, И.С.
Veröffentlicht: (2016)

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

О применении комбинированного метода выпуклого программирования
von: Кузьменко, В.Н., et al.
Veröffentlicht: (2003)

К вопросу о статистическом моделировании надежности
von: Федухин, А.В., et al.
Veröffentlicht: (2006)

О моделировании диагностики включений в упругом теле
von: Кривонос, Ю.Г., et al.
Veröffentlicht: (2013)

Идентификация коэффициента массообменного возмущения и его учет при моделировании процесса магнитного фильтрования
von: Бомба, А.Я., et al.
Veröffentlicht: (2013)

К вопросу о моделировании кинетики химических процессов в водогрейных котлах
von: Демченко, В.Г., et al.
Veröffentlicht: (2007)

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

О применении грациозной разметки в MPLS-сетях
von: Семенюта, М.Ф., et al.
Veröffentlicht: (2018)

О моделировании сенсорних сетей средствами високого уровня
von: Дорошенко, А.Е., et al.
Veröffentlicht: (2006)

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

О моделировании спектральных характеристик смешанного процесса вибраций
von: Божко, А.Е., et al.
Veröffentlicht: (2008)

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

О моделировании звуковых полей явным разностным методом
von: Гладкий, А.В., et al.
Veröffentlicht: (2011)

О моделировании нелинейных эволюционных функционально-дифференциальных уравнений
von: Шамин, Р.В., et al.
Veröffentlicht: (2006)

О фотоупругом моделировании задач механики ортотропных тел
von: Малежик, М.П., et al.
Veröffentlicht: (2014)

О моделировании седиментации гиперболическим уравнением и его вырождение
von: Кривонос, Ю.Г., et al.
Veröffentlicht: (2014)

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

О применении методов идентификации в задачах технической диагностики
von: Носик, Т.А.
Veröffentlicht: (2012)

О применении квадратичных форм в теории инвариантных многообразий
von: Митропольский, Ю.А., et al.
Veröffentlicht: (1985)

О моделировании регулируемого водного режима в колонке грунта
von: Поляков, В.Л.
Veröffentlicht: (2016)

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

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