Как возможно техническое творчество?

Πηγή: Философская мысль. 2023. № 2. С. 15-25

Θεματικοί όροι: техническое творчество, машинное творчество, аффорданс, философия техники, творчество, парадигмальная непротиворечивость, философия творчества, субъекты, техническая эволюция, логическая непротиворечивость

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: https://vital.lib.tsu.ru/vital/access/manager/Repository/koha:001129818

Improving a method to analyze the requirements for an information system for consistency

Συγγραφείς: Vasiltcova, Nataliya, Panforova, Iryna, Neumyvakina, Olga

Πηγή: Східно-Європейський журнал передових технологій; Том 3, № 2 (105) (2020): Інформаційні технології. Системи управління в промисловості; 17-27
Восточно-Европейский журнал передовых технологий; Том 3, № 2 (105) (2020): Информационные технологии. Системы управления в промышленности; 17-27
Eastern-European Journal of Enterprise Technologies; Том 3, № 2 (105) (2020): Information technology. Industry control systems; 17-27

Θεματικοί όροι: UDC 658.11.05.06, 4. Education, functional requirement, knowledge-oriented description, analysis of requirements, consistency, frame, information system, функциональное требование, знание-ориентированное описание, анализ требований, непротиворечивость, фрейм, информационная система, 0211 other engineering and technologies, 0202 electrical engineering, electronic engineering, information engineering, функціональна вимога, знання-орієнтований опис, аналіз вимог, непротиріччя, інформаційна система, 02 engineering and technology

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: http://journals.uran.ua/eejet/article/download/205518/206914
http://journals.uran.ua/eejet/article/download/205518/206914
http://journals.uran.ua/eejet/article/view/205518
https://cyberleninka.ru/article/n/improving-a-method-to-analyze-the-requirements-for-an-information-system-for-consistency
https://cyberleninka.ru/article/n/improving-a-method-to-analyze-the-requirements-for-an-information-system-for-consistency/pdf
http://journals.uran.ua/eejet/article/view/205518

НЕПРЕРЫВНОЕ ИСПОЛЬЗОВАНИЕ ИСТОРИЧЕСКИХ ИНФОРМАЦИЙ В КУРСАХ ГЕОМЕТРИИ

Θεματικοί όροι: учебники геометрии, исторические данные, приемственность, непротиворечивость

НЕПРЕРЫВНОЕ ИСПОЛЬЗОВАНИЕ ИСТОРИЧЕСКИХ ИНФОРМАЦИЙ В КУРСАХ ГЕОМЕТРИИ

Θεματικοί όροι: учебники геометрии, исторические данные, приемственность, непротиворечивость

НЕПРЕРЫВНОЕ ИСПОЛЬЗОВАНИЕ ИСТОРИЧЕСКИХ ИНФОРМАЦИЙ В КУРСАХ ГЕОМЕТРИИ

Συγγραφείς: Расулова , Гулнозахон

Πηγή: Eurasian Journal of Academic Research; Vol. 2 No. 5 (2022): Eurasian Journal of Academic Research; 546-550 ; Евразийский журнал академических исследований; Том 2 № 5 (2022): Eurasian Journal of Academic Research; 546-550 ; Yevrosiyo ilmiy tadqiqotlar jurnali; Jild 2 Nomeri 5 (2022): Eurasian Journal of Academic Research; 546-550 ; 2181-2020

Θεματικοί όροι: учебники геометрии, исторические данные, приемственность, непротиворечивость

Περιγραφή αρχείου: application/pdf

Relation: https://in-academy.uz/index.php/ejar/article/view/3132/2927

Διαθεσιμότητα: https://in-academy.uz/index.php/ejar/article/view/3132

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

Συγγραφείς: Саидий Саид Болтазода

Πηγή: Science and Education, Vol 3, Iss 3, Pp 865-871 (2022)

Θεματικοί όροι: логичность, последовательность, связность, связь, стройность, разумность, неслучайность, непротиворечивость, обоснованность, логика, закономерность, закон, теория, Science (General), Q1-390, Education (General), L7-991

Relation: https://openscience.uz/index.php/sciedu/article/view/2851; https://doaj.org/toc/2181-0842; https://doaj.org/article/e333e79e563741c88ca0d99ab292a736

Διαθεσιμότητα: https://doaj.org/article/e333e79e563741c88ca0d99ab292a736

Mixed consistency of the data in multicloud systems

Συγγραφείς: Kozina, Olha, Stratiienko, Nataliia

Πηγή: Сучасні інформаційні системи; Том 2 № 2 (2018): Сучасні інформаційні системи; 23-29
Advanced Information Systems; Vol. 2 No. 2 (2018): Advanced Information Systems; 23-29
Современные информационные системы-Sučasnì ìnformacìjnì sistemi; Том 2 № 2 (2018): Современные информационные системы; 23-29

Θεματικοί όροι: mixed consistency, карта несуперечності проекту, багатохмарність, многооблачность, смешанная непротиворечивость, multi-cloud, змішана несуперечність, карта непротиворечивости проекта, map of consistency of the project, 04.052.42

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: http://ais.khpi.edu.ua/article/download/2522-9052.2018.2.04/137481
http://ais.khpi.edu.ua/article/view/2522-9052.2018.2.04

Проблема логической непротиворечивости синтеза парадигм эмпиризма и априоризма в логически формализованной аксиоматической системефилософской эпистемологии

Θεματικοί όροι: ФИЛОСОФСКАЯ ЭПИСТЕМОЛОГИЯ, ИНТЕРПРЕТАЦИЯ, ЛОГИЧЕСКАЯ НЕПРОТИВОРЕЧИВОСТЬ, СИН­ТЕЗ ПАРАДИГМ ЭМПИРИЗМА И АПРИОРИЗМА, МОДЕЛЬ, ЛОГИЧЕСКИ ФОРМАЛИЗОВАННАЯ АКСИОМАТИЧЕСКАЯ ТЕОРИЯ

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: http://elar.urfu.ru/handle/10995/78255

Декларативное определение условий непротиворечивости в ERM-метасхеме

Πηγή: Вестник Томского государственного университета. Управление, вычислительная техника и информатика. 2020. № 51. С. 94-101

Θεματικοί όροι: RM-модели, непротиворечивость репозитория, схема данных, метасхема модели данных, разработка, управляемая моделями

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000722098

Интенсиональный модус в математическом дискурсе: 'прыжок веры' и математическая практика

Πηγή: Вестник Томского государственного университета. Философия. Социология. Политология. 2019. № 48. С. 24-34

Θεματικοί όροι: непротиворечивость, вера, геделево предложение, интенсиональность математики

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000661672

VERIFICATION OF MODELS OF OBJECT-ORIENTED PROGRAMS: CHECKING FOR NON-OPINIONITY AND CONSISTENCY

Πηγή: Технічні науки та технології; № 2(8) (2017): Технічні науки та технології; 110-116
Technical sciences and technology; No. 2(8) (2017): Technical sciences and technologies; 110-116
Технические науки и технологии; № 2(8) (2017): Технические науки и технологии; 110-116

Θεματικοί όροι: модель, верифікація, объектно-ориентированное программное обеспечение, непротиворечивость, UML-диаграмма, несуперечливість, 0211 other engineering and technologies, 02 engineering and technology, узгодженість, 01 natural sciences, об'єктно-орієнтоване програмне забезпечення, верификация, согласованность, UML-діаграма, 0103 physical sciences

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: http://tst.stu.cn.ua/article/view/113051

Бестиповые теории истины и внутренняя доказуемость непротиворечивости: параллели и переплетения

Πηγή: Вестник Томского государственного университета. 2018. № 434. С. 83-87

Θεματικοί όροι: истина (философия), парадокс лжеца, логические парадоксы, Тарский, Альфред 1901-1983, непротиворечивость, Крипке, Сол 1940, теории истины

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000644709

Проблема непротиворечивости схем данных и ее решение в ERM-репозитории

Πηγή: Вестник Томского государственного университета. Управление, вычислительная техника и информатика. 2018. № 43. С. 72-80

Θεματικοί όροι: ERM-модель, непротиворечивость данных, Oracle Designer, репозитории, схемы данных

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000629314

Итерированные модальные операторы и условия выводимости Гильберта-Бернайса

Πηγή: Вестник Томского государственного университета. Философия. Социология. Политология. 2018. № 43. С. 33-43

Θεματικοί όροι: модальные операторы, непротиворечивость, модальная логика, доказательство, интенсиональность

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000644766

О теоремах исчисления высказываний ; Про теореми числення висловлювань ; About the theorems of propositional calculus

Συγγραφείς: В.А. Лещинский, В.О. Лещінський, V.A. Leschinsky

Πηγή: Системи обробки інформації. — 2016. — № 9(146). 97-100 ; Системы обработки информации. — 2016. — № 9(146). 97-100 ; Information Processing Systems. — 2016. — № 9(146). 97-100 ; 1681-7710

Θεματικοί όροι: Обробка інформації в складних організаційних системах, УДК 519.7, исчисление высказываний, теорема исчисления высказываний, законы логики высказываний, непротиворечивость, полнота исчисления высказываний, числення висловлювань, теорема числення висловлювань, закони логіки висловлювань, несуперечність, повнота числення висловлювань, propositional calculus, propositional calculus theorem, expressions logic laws, uncontradiction, propositional calculus plenitude

Περιγραφή αρχείου: application/pdf

Relation: http://www.hups.mil.gov.ua/periodic-app/article/17120/soi_2016_9_23.pdf; http://www.hups.mil.gov.ua/periodic-app/article/17120

Διαθεσιμότητα: http://www.hups.mil.gov.ua/periodic-app/article/17120

О формальных свойствах исчисления высказываний ; Про формальні властивості числення висловлювань ; About formal properties of propositional calculus

Συγγραφείς: В.А. Лещинский, И.А. Лещинская, В.О. Лещінський, І.О. Лещінська, V.A. Leschinskiy, I.A. Leschinska

Πηγή: Системи озброєння і військова техніка. — 2016. — № 3(47). 85-87 ; Системы вооружения и военная техника. — 2016. — № 3(47). 85-87 ; Systems of Arms and Military Equipment. — 2016. — № 3(47). 85-87 ; 1997-9568

Θεματικοί όροι: Теоретичні основи розробки та експлуатації систем озброєння, УДК 519.7, исчисление высказываний, формальная непротиворечивость, полнота, разрешимость, логическое исчисление, независимость аксиом, метод интерпретации, числення висловлювань, формальна несуперечність, повнота, вирішувана, логічне числення, незалежність аксіом, метод інтерпретації, propositional calculus, the formal consistency, completeness, decidability, logical calculus, the independence of the axioms, method of interpretation

Περιγραφή αρχείου: application/pdf

Relation: http://www.hups.mil.gov.ua/periodic-app/article/17067/soivt_2016_3_20.pdf; http://www.hups.mil.gov.ua/periodic-app/article/17067

Διαθεσιμότητα: http://www.hups.mil.gov.ua/periodic-app/article/17067

Component-based Systems Reconfigurations Using Graph Grammars ; Реконфигурирование компонентно-ориентированных систем на базе графовых грамматик

Συγγραφείς: O. Kouchnarenko, J.-F. Weber, О. Б. Кушнаренко, Ж.-Ф. Вебер

Πηγή: Modeling and Analysis of Information Systems; Том 23, № 6 (2016); 804-825 ; Моделирование и анализ информационных систем; Том 23, № 6 (2016); 804-825 ; 2313-5417 ; 1818-1015

Θεματικοί όροι: GROOVE, dynamic reconfigurations, consistency, simulation relation, implementation, динамическое реконфигурирование, непротиворечивость, соответствие, реализация

Περιγραφή αρχείου: application/pdf

Relation: https://www.mais-journal.ru/jour/article/view/416/375; De Lemos R., Giese H., MuЁller H. A., Shaw M., Andersson J., Litoiu M., Schmerl B., Tamura G., Villegas N. M., Vogel T., et al., “Software engineering for self-adaptive systems: A second research roadmap”, Software Engineering for Self-Adaptive Systems II, 2013, 1– 32.; Dwyer M. B., Avrunin G. S., Corbett J. C., “Patterns in property specifications for finite- state verification”, Proceedings of the 1999 International Conference on, Software Engineering, 1999, 411–420.; Dormoy J., Kouchnarenko O., Lanoix A., “Runtime verification of temporal patterns for dynamic reconfigurations of components”, LNCS, 7253, eds. Arbab F., OЁlveczky P., Springer, Berlin Heidelberg, 2012, 115–132.; Trentelman K., Huisman M., “Extending JML specifications with temporal logic”, Algebraic Methodology and Software Technology, 2002, 334–348.; Kouchnarenko O., Weber J. F., “Adapting component-based systems at runtime via policies with temporal patterns”, LNCS, 8348, eds. Fiadeiro J. L., Liu Z., Xue J., Springer, 2014, 234–253.; Kouchnarenko O., Weber J. F., “Decentralised evaluation of temporal patterns over component-based systems at runtime”, LNCS, 8997, eds. Lanese I., Madelaine E., Springer, 2015, 108–126.; Lanoix A., Dormoy J., Kouchnarenko O., “Combining proof and model-checking to validate reconfigurable architectures”, ENTCS, 279 (2011), 43–57.; Dijkstra E. W., “Guarded commands, nondeterminacy and formal derivation of programs”, Communications of the ACM, 18 (1975), 453–457.; Ghamarian A.H., de Mol M., Rensink A., Zambon E., Zimakova M., “Modelling and analysis using GROOVE”, J. on Software Tools for Technology Transfer, 14 (2012), 15–40.; Bruneton E., Coupaye T., Leclercq M., Queґma V., Stefani J. B., “The fractal component model and its support in java”, Softw., Pract. Exper., 36 (2006), 1257–1284.; Schneider S., Treharne H., “Csp theorems for communicating b machines”, Formal Asp. Comput., 17 (2005), 390–422.; Seinturier L., Merle P., Rouvoy R., Romero D., Schiavoni V., Stefani J.B., “A component-based middleware platform for reconfigurable service-oriented architectures”, Software: Practice and Experience, 42 (2012), 559–583.; Dormoy J., Kouchnarenko O., Lanoix A., “Using temporal logic for dynamic reconfigurations of components”, LNCS, 6921, eds. Barbosa L., Lumpe M., Springer, Berlin Heidelberg, 2012, 200–217.; Hamilton A. G., Logic for mathematicians, Cambridge University Press, Cambridge, 1978.; Hoare C. A. R., “An axiomatic basis for computer programming”, Communications of the ACM, 12 (1969), 576–580.; Milner R., Communication and concurrency, Prentice-Hall, Inc., 1989.; Ma X., Baresi L., Ghezzi C., Panzica La Manna V., Lu J., “Version-consistent dynamic reconfiguration of component-based distributed systems”, ACM, Proceedings of the 19th ACM SIGSOFT symposium and the 13th European conference on Foundations of software engineering, 2011, 245–255.; Boyer F., Gruber O., Pous D., “Robust reconfigurations of component assemblies”, Int. Conf. on Software Engineering (ICSE ’13, Piscataway), 2013, 13–22.; Kramer J., Magee J., “The evolving philosophers problem: Dynamic change management”, Software Engineering, IEEE Transactions, 16 (1990), 1293–1306.; Vandewoude Y., Ebraert P., Berbers Y., D’Hondt T., “Tranquility: A low disruptive alternative to quiescence for ensuring safe dynamic updates”, Software Engineering, IEEE Transactions, 33 (2007), 856–868.; Le Metayer D., “Describing software architecture styles using graph grammars”, IEEE Transactions on Software Engineering, 24 (1998), 521–533.; KaЁhkoЁnen K., Lampinen J., Heljanko K., NiemelaЁ I., “The lime interface specification language and runtime monitoring tool”, Int. Wshop on Runtime Verification, RV’09, LNCS, 5779, eds. Bensalem S., Peled D.A., Springer, Berlin Heidelberg, 2009, 93–100.

Διαθεσιμότητα: https://www.mais-journal.ru/jour/article/view/416
https://doi.org/10.18255/1818-1015-2016-6-804-825

Интенсиональность Второй теоремы Геделя о неполноте

Πηγή: Вестник Томского государственного университета. Философия. Социология. Политология. 2017. № 40. С. 98-111

Θεματικοί όροι: непротиворечивость, самореференция, доказательство, интенсиональность, Геделя теорема

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000619364

Системно-правовая непротиворечивость и международно-правовая необходимость и допустимость как принципы криминализации деяний против нормальной деятельности органов и учреждений пенитенциарной службы Украины

Συγγραφείς: Орел, Ю.В.

Θεματικοί όροι: международные стандарты, международно-правовая необходимость и допустимость, пенитенциарная служба Украины, принципы криминализации, системно-правовая непротиворечивость, уголовно-правовая охрана

Relation: http://rour.neicon.ru:80/xmlui/bitstream/rour/202815/1/nora.pdf; 343.36; https://openrepository.ru/article?id=202815

Διαθεσιμότητα: https://openrepository.ru/article?id=202815

ТРЕБОВАНИЯ К ПРАВОВОЙ ДЕФИНИЦИИ

Συγγραφείς: ДУДЫРИН ДЕНИС СЕРГЕЕВИЧ

Θεματικοί όροι: АДЕКВАТНОСТЬ ДЕФИНИЦИИ,ДЕФЕКТНАЯ ПРАВОВАЯ ДЕФИНИЦИЯ,ЛОГИЧНОСТЬ ДЕФИНИЦИИ,МНОЖЕСТВЕННОСТЬ ДЕФИНИЦИЙ,НЕПРОТИВОРЕЧИВОСТЬ ДЕФИНИЦИИ,ОШИБКА,ПОЛНОТА ДЕФИНИЦИИ,ПРАВОВАЯ ДЕФИНИЦИЯ,ЮРИДИЧЕСКАЯ ПРАКТИКА,ЯСНОСТЬ ДЕФИНИЦИИ

Περιγραφή αρχείου: text/html

Διαθεσιμότητα: http://cyberleninka.ru/article/n/trebovaniya-k-pravovoy-definitsii
http://cyberleninka.ru/article_covers/16087305.png