Електронний каталог науково-технічної бібліотеки ІФНТУНГ

• Класифікатори
• 004.42 Програмування комп'ютерів. Комп'ютерні програми

004.42:51 Комп'ютерна математика

Документи:

• Барна, О. Б. Інформаційні технології [Текст] : практикум / О. Б. Барна. – Івано-Франківськ : ІФНТУНГ, 2017. – 67 с. – (Каф. методів та приладів контролю якості та сертифікації продукції).
• MATLAB в инженерных и научных расчетах [Текст] / А. Ф. Дащенко, В. Х. Кириллов, Л. В. Коломиец, Л. Ф. Оробей. – Одесса : "Астропринт", 2003. – 216 с. – У фонді НТБ відсутній, є електронна копія.
• Дьяконов, В. MATLAB Анализ, идентификация и моделирование систем [Текст] : спец. справочник / В. Дьяконов, В. Круглов. – СПб. : Питер. – 441 с. – У фонді НТБ відсутній, є електронна копія.
• Дьяконов, В. П. MAPLE 7 [Текст] : учебный курс / В. П. Дьяконов. – С.Пб. : Питер, 2002. – 672 с. – У фонді НТБ відсутній, є електронна копія.
• Дьяконов, В. П. MATLAB 6.5 SP1/7+Simulink 5/6 [Текст] : основы применения / В. П. Дьяконов. – М. : СОЛОН-Прес, 2005. – 800 с. : ил. – (Библиотека профессионала). – У фонді НТБ відсутній, є електронна копія.
• Махней, О. В. Математичне забезпечення автоматизації прикладних досліджень [Текст] : навч. посіб. / О. В. Махней, Т. П. Гой. – Івано-Франківськ : Сімик, 2013. – 304 с. – 291-292. – ISBN 978-966-8067-97-6.
• Нікітченко, М. С. Секвенційні числення першопорядкових логік часткових предикатів з розширеними реномінаціями та композицією предикатного доповнення [Текст] / М. С. Нікітченко, О. С. Шкільняк, С. С. Шкільняк // Проблеми програмування. – 2020. – № 2-3. – С. 182-197.
• Попов, Б. О. Розвязування математичних задач у системі комп'ютерної алгебри MAPLE V [Текст] / Б. О. Попов. – К. : ViP, 2001. – 311 с. – 293-294.
• Прохоров, Г. В. Пакет символьных вычислений MAPLE 5 [Текст] / Г. В. Прохоров, М. А. Леденев, В. В. Колбеев. – 203 с. – У фонді НТБ відсутній, є електронна копія.
• Тюрин, Ю. Н. Анализ данных на компьютере [Текст] / Ю. Н. Тюрин, А. А. Макаров ; Фигурнов В. Е., ред. – 3-е изд., перераб. и доп. – М. : ИНФРА-М, 2003. – 544 c. – У фонді НТБ відсутній, є електронна копія. – ISBN 5-16-001316-4.
• Шкільняк, О. С. Відношення логічного наслідку в логіках часткових предикатів з композицією предикатного доповнення [Текст] / О. С. Шкільняк // Проблеми програмування. – 2019. – № 3. – С. 11-27.
• Шкільняк, С. С. Першопорядкові композиційно-номінативні логіки з предикатами слабкої та строгої рівності [Текст] / С. С. Шкільняк // Проблеми програмування. – 2019. – № 3. – С. 28-44.