Електронний каталог науково-технічної бібліотеки ІФНТУНГ
510.6 Математична логіка
Документи:
- Вавіленкова, А. Особливості бази знань системи автоматизованої побудови логіко-лінгвістичних моделей текстових докумкнтів [Текст] / А. Вавіленкова // Вісник Національного університету "Львівська політехніка". Інформаційні системи та мережі. – 2021. – Issue 9. – С. 75-83.
- Информационная технология анализа психологической информации из социальных сетей средствами индуктивного моделировани [Текст] / М. Н. Дубовенко, В. М. Белов, А. С. Булгакова [et al.] // Управляющие системы и машины. – 2012. – № 5. – С. 79-82.
- Обухов, В. Е. Логические уравнения и прикладные задачи [Текст] / В. Е. Обухов, В. В. Павлов. – К. : Наук. думка, 1992. – 188 с.
- Смаглюк, А. К. Моделювання виробничих систем в машинобудуванні [Текст] : конспект лекцій / А. К. Смаглюк. – Івано-Франківськ : ІФНТУНГ, 2003. – 125 с.
- Чивилев, Я. В. Математическое моделирование результатов отклика тербоагрегата ТЭЦ на тестовое воздействие [Текст] / Я. В. Чивилев // Метрология. – 2007. – № 9. – С. 10-15.
- Шкільняк, О. С. Відношення логічного наслідку в логіках квазіарних предикатів [Текст] / О. С. Шкільняк // Проблеми програмування. – 2016. – № 1. – С. 29-43.
|
