Zobrazeno 1 - 7
of 7
pro vyhledávání: '"УДК 519.62"'
Solution of the problem of set theory on the basis of algebra of predicates and predicate operations
Publikováno v:
Technology audit and production reserves; Том 2, № 5(22) (2015): Mathematical modeling. Information and control systems; 4-7
Technology audit and production reserves; Том 2, № 5(22) (2015): Математичне моделювання. Інформаційно-керуючі системи; 4-7
Technology audit and production reserves; Том 2, № 5(22) (2015): Математическое моделирование. Информационно-управляющие системы; 4-7
Technology audit and production reserves; Том 2, № 5(22) (2015): Математичне моделювання. Інформаційно-керуючі системи; 4-7
Technology audit and production reserves; Том 2, № 5(22) (2015): Математическое моделирование. Информационно-управляющие системы; 4-7
В статье рассмотрено понятие алгебры предикатов и предикатных операций. Описаны основные понятия и элементарные операции алгебры множ
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=scientific_p::71bf0fb488b3e23653fce0d0760f51a9
http://journals.uran.ua/tarp/article/view/41057
http://journals.uran.ua/tarp/article/view/41057
Publikováno v:
Вестник Южно-Уральского государственного университета. Серия: Математическое моделирование и программирование.
В статье предложены численные методы решения нелинейной краевой задачи для обыкновенного дифференциального уравнения второго порядка
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::b5ee5c20bcd90838e495ce740266d1ce
http://cyberleninka.ru/article/n/an-integral-method-for-the-numerical-solution-of-nonlinear-singular-boundary-value-problems
http://cyberleninka.ru/article/n/an-integral-method-for-the-numerical-solution-of-nonlinear-singular-boundary-value-problems
Autor:
Vaytiev, V. A., Mustafina, S. A.
Проведено исследование влияния неопределенности в кинетических параметрах на результаты решения прямой и обратной задач химической к
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______2425::ba46ca1cbb534b2fb51f4fe309b72ca9
http://dspace.susu.ac.ru/xmlui/handle/0001.74/5220
http://dspace.susu.ac.ru/xmlui/handle/0001.74/5220
Autor:
Butymova, L. N., Modorsky, V. Ya.
В данной работе проводится анализ влияния распараллеливания задачи и параметров расчетной сетки на время выполнения задачи по расчету
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______2425::d4bcfb566aed0c158e2279b835efc971
http://dspace.susu.ac.ru/xmlui/handle/0001.74/5167
http://dspace.susu.ac.ru/xmlui/handle/0001.74/5167
Autor:
Bulatov, M. V., Budnikova, O. S.
При исследованиях в различных областях приложений, если моделируемый процесс обладает последействием, возникает необходимость изучен
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______2425::4209cc3676b3bcf7edec80e066e8efbb
http://dspace.susu.ac.ru/xmlui/handle/0001.74/5268
http://dspace.susu.ac.ru/xmlui/handle/0001.74/5268
Autor:
Panyukov, A. V.
Любой выпуклый полиэдр представим как множество решений некоторой системы линейных неравенств. Алгебраическая сумма по Минковскому вы
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______2425::81263815f6924936b89dcc71dca3e751
http://dspace.susu.ac.ru/handle/0001.74/2536
http://dspace.susu.ac.ru/handle/0001.74/2536
Publikováno v:
Eastern-European Journal of Enterprise Technologies; Том 4, № 2(46) (2010): Information technology; 4-8
Восточно-Европейский журнал передовых технологий; Том 4, № 2(46) (2010): Информационные технологии; 4-8
Східно-Європейський журнал передових технологій; Том 4, № 2(46) (2010): Інформаційні технології; 4-8
Восточно-Европейский журнал передовых технологий; Том 4, № 2(46) (2010): Информационные технологии; 4-8
Східно-Європейський журнал передових технологій; Том 4, № 2(46) (2010): Інформаційні технології; 4-8
This article represents the model of context description with the use of lambda calculus and the mechanism of vocabulary entry calculation, which is based on semantic functions, semantic primitives and the results of analysis of an examined sentence.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=scientific_p::9f23c00874e59395c825d8da4cbc1ae5
http://journals.uran.ua/eejet/article/view/2919
http://journals.uran.ua/eejet/article/view/2919