Електронний каталог науково-технічної бібліотеки Вінницького національного технічного університету
предикат
Підтеми:
Документи:
- Александров, В. В. Автоматизированная обработка информации на языке предикатов [Текст] / В. В. Александров, Г. А. Булкин, А. О. Поляков. – М. : Наука, 1982. – 104с.
- Розв'язання задачі структурної оптимізації фрези на основі мультиагентного підходу (Англ. мова) [Текст] / В. Л. Аносов, Л. М. Богданова, В. М. Колодяжний, В. Д. Літовка // Проблеми машинобудування. – 2019. – Т. 22, № 1. – С. 53-59.
- Бісікало, О. В. База знань інтелектуальної інформаційної системи прогнозування фазової стабільності твердих розчинів [Текст] / О. В. Бісікало, О. В. Кудрик // Інформаційні технології та комп'ютерна інженерія. – 2023. – № 1 (56). – С. 13-21. – DOI: https://doi.org/10.31649/1999-9941-2023-56-1-13-21.
- Бісікало, О. В. База знань інтелектуальної інформаційної системи прогнозування фазової стабільності твердих розчинів [Електронний ресурс] / О. В. Бісікало, О. В. Кудрик // Інформаційні технології та комп'ютерна інженерія. – 2023. – Т. 55, № 1. – С. 13-21. – DOI: https://doi.org/10.31649/1999-9941-2023-56-1-13-21.
- Головинский, И. А. Непротиворечивость операций в многоуровневых дискретных моделях электрических сетей. II [Текст] / И. А. Головинский // Электронное моделирование. – 2007. – 29, № 1. – 19-36.
- Давидюк, А. В. Застосування логіки предикатів для верифікації артефактів кіберзахисту під час проектування систем критичного призначення [Текст] / А. В. Давидюк, В. Ю. Зубок // Реєстрація, зберігання і обробка даних. – 2021. – Т. 23, № 4. – С. 37-46.
- Денисов, А. С. Выполнимость ярких формул [Текст] / А. С. Денисов // Український математичний журнал. – 2007. – 59, № 10. – 1432-1435.
- Михайлюк, В. А. Реоптимизация обобщенных проблем о выполнимости с аппроксимационно-устойчивыми предикатами [Текст] / В. А. Михайлюк, И. В. Сергиенко // Кибернетика и системный анализ. – 2012. – Т. 48, № 1. – С. 89-104.
- Никитченко, Н. С. Пропозициональные композиции частичных предикатов [Текст] / Н. С. Никитченко // Кибернетика и системный анализ. – 2000. – № 2. – 3-19.
- Николаевская, Е. А. Программно-алгоритмические методы повышения точности компютерных решений [Текст] / Е. А. Николаевская, Т. В. Чистякова // Кибернетика и системный анализ. – 2009. – Т. 45, № 6. – С. 172-176.
- Нікітченко, М. С. Алгебри еквітонних предикатів та їх застосування [Текст] / М. С. Нікітченко // Кибернетика и системный анализ. – 2003. – № 1. – 115-133.
- Нікітченко, М. С. Композиційно-номінативні логіки із спеціальними предикатами наявності значення для змінних [Текст] / М. С. Нікітченко, С. С. Шкільняк // Вісник Київського національного університету імені Тараса Шевченка / КНУ ім. Т. Шевченка. – Київ : КНУ ім. Т. Шевченка, 2013. – С. 128-133. – (Серія "Фізико-математичні науки").
- Охріменко, В. М. Застосування алгебри предикатів для моделювання електричних мереж [Текст] / В. М. Охріменко, М. В. Збітнева, К. Б. Сухонос // Вісник ВПІ. – 2003. – № 6. – 317-321.
- Салапатов, В. І. Порядок опису і обробки графа автоматної моделі програми [Текст] / В. І. Салапатов // Математичні машини і системи. – 2021. – № 3. – С. 121-125.
- Степанов, Ю. С. Имена, предикаты, предложения [Текст] : Семиологическая грамматика / Ю. С. Степанов ; АН СССР. Ин-т языкознания. – М. : Наука, 1981. – 360 с.
- Шкільняк, О. С. Модальні логіки немонотонних часткових предикатів [Текст] / О. С. Шкільняк // Вісник Київського національного університету імені Тараса Шевченка / КНУ ім. Т. Шевченка. – Київ : КНУ ім. Т. Шевченка, 2015. – С. 141-148. – (Серія "Фізико-математичні науки").
- Шкільняк, О. С. Секвенційні числення логік часткових предикатів з розширеними реномінаціями [Текст] / О. С. Шкільняк // Вісник Київського національного університету імені Тараса Шевченка / КНУ ім. Т. Шевченка. – Київ : КНУ ім. Т. Шевченка, 2013. – С. 199-204. – (Серія "Фізико-математичні науки").
|