-
1Academic Journal
Συγγραφείς: 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
-
2Academic Journal
Συγγραφείς: В.А. Лещинский, В.О. Лещінський, 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
-
3Academic Journal
Συγγραφείς: В.А. Лещинский, И.А. Лещинская, В.О. Лещінський, І.О. Лещінська, 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
-
4Academic Journal
Συγγραφείς: О.І. Тимочко, O.I. Tymochko
Πηγή: Системи обробки інформації. — 2014. — № 2(118). 109-115 ; Системы обработки информации. — 2014. — № 2(118). 109-115 ; Information Processing Systems. — 2014. — № 2(118). 109-115 ; 1681-7710
Θεματικοί όροι: Обробка інформації в складних організаційних системах, УДК 621.39, ресурс, правила использования ресурса, запас ресурса, нелогическая аксиома, модель ресурса, контроль корректности, непротиворечивость и полнота описания, целевая установка, правила використання ресурсу, запас ресурсу, нелогічна аксіома, модель ресурсу, контроль коректності, несуперечність і повнота опису, цільова настанова, resource, rules of using of resource, supply of resource, unlogical axiom, model of resource, control of correctness, uncontradiction and plenitude of description, a special purpose
Περιγραφή αρχείου: application/pdf
Relation: http://www.hups.mil.gov.ua/periodic-app/article/11432/soi_2014_2_25.pdf; http://www.hups.mil.gov.ua/periodic-app/article/11432
Διαθεσιμότητα: http://www.hups.mil.gov.ua/periodic-app/article/11432
-
5Academic Journal
Συγγραφείς: О.І. Тимочко, O.I. Tymochko
Πηγή: Системи озброєння і військова техніка. — 2014. — № 1(37). 230-232 ; Системы вооружения и военная техника. — 2014. — № 1(37). 230-232 ; Systems of Arms and Military Equipment. — 2014. — № 1(37). 230-232 ; 1997-9568
Θεματικοί όροι: Теоретичні основи розробки систем озброєння, УДК 621.396, ресурс, контроль корректности, сетевая модель, непротиворечивость графа сетевой модели, полнота графа сетевой модели, целевая установка, контроль коректності, мережева модель, несуперечність графа мережевої моделі, повнота графа мережевої моделі, цільова настанова, resource, control of correctness, network model, uncontradiction of count of network model, plenitude of count of network model, a special purpose
Περιγραφή αρχείου: application/pdf
Relation: http://www.hups.mil.gov.ua/periodic-app/article/2353/soivt_2014_1_51.pdf; http://www.hups.mil.gov.ua/periodic-app/article/2353
Διαθεσιμότητα: http://www.hups.mil.gov.ua/periodic-app/article/2353
-
6Academic Journal
Συγγραφείς: А.А. Кривчикова, Г.О. Кривчікова, A.A. Krivchikova
Πηγή: Системи обробки інформації. — 2013. — № 5(112). 151-153 ; Системы обработки информации. — 2013. — № 5(112). 151-153 ; Information Processing Systems. — 2013. — № 5(112). 151-153 ; 1681-7710
Θεματικοί όροι: Моделювання в економіці, організація виробництва та управління проектами, УДК 7.5, непротиворечивость знаний, интеллектуальный анализ процессов, процессная модель, несуперечність знань, інтелектуальний аналіз процесів, процесна модель, uncontradiction of knowledges, intellectual analysis of processes, process model
Περιγραφή αρχείου: application/pdf
Relation: http://www.hups.mil.gov.ua/periodic-app/article/10885/soi_2013_5_35.pdf; http://www.hups.mil.gov.ua/periodic-app/article/10885
Διαθεσιμότητα: http://www.hups.mil.gov.ua/periodic-app/article/10885
-
7Academic Journal
Συγγραφείς: Ковальчук, Константин, Никитенко, Алексей
Θεματικοί όροι: ЗНАННЯ, ВИДОБУТОК ЗНАНЬ, ХВИЛЯ, ПОВНОТА, НЕСУПЕРЕЧНіСТЬ, ЗНАНИЕ, ДОБЫЧА ЗНАНИЙ, ВОЛНА, ПОЛНОТА, НЕПРОТИВОРЕЧИВОСТЬ
Περιγραφή αρχείου: text/html
-
8Academic Journal
Συγγραφείς: Е.И. Кучеренко, Д.Е. Краснокутский, Є.І. Кучеренко, Д.Є. Краснокутський, Е.I. Kucherenko, D.E. Krasnokutskiy
Πηγή: Збірник наукових праць Харківського національного університету Повітряних Сил. — 2008. — № 1(16). 75-80 ; Сборник научных трудов Харьковского национального университета Воздушных Сил. — 2008. — № 1(16). 75-80 ; Scientific Works of Kharkiv National Air Force University. — 2008. — № 1(16). 75-80 ; 2073-7378
Θεματικοί όροι: Кібернетика та системний аналіз, УДК 519.71, нечеткая модель, нечеткие сети Петри, иерархия, достижимость, непротиворечивость, интеллектуальная система, нечітка модель, нечіткі мережі Петрі, ієрархія, досяжність, несуперечність, інтелектуальна система, unclear model, unclear networks of Petri, hierarchy, attainability, uncontradiction, intellectual system
Περιγραφή αρχείου: application/pdf
Relation: http://www.hups.mil.gov.ua/periodic-app/article/3752/zhups_2008_1_20.pdf; http://www.hups.mil.gov.ua/periodic-app/article/3752
Διαθεσιμότητα: http://www.hups.mil.gov.ua/periodic-app/article/3752