Про неповноту формальної аксіоматики в задачах ідентифікації структури металу
Уперше використано теорему Геделя про неповноту в ідентифікації структури сталі. Для часткового усунення неповноти твердження про можливу самоорганізацію системи неживої природи, різновиду металів, застосовано принцип зовнішнього доповнення Біра. Впервые используется теорема Геделя о неполноте при и...
Gespeichert in:
| Veröffentlicht in: | Вісник НАН України |
|---|---|
| Datum: | 2014 |
| Hauptverfasser: | Большаков, Вад.І., Большаков, В.І., Дубров, Ю.І. |
| Format: | Artikel |
| Sprache: | Ukrainisch |
| Veröffentlicht: |
Видавничий дім "Академперіодика" НАН України
2014
|
| Schlagworte: | |
| Online Zugang: | https://nasplib.isofts.kiev.ua/handle/123456789/69367 |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Zitieren: | Про неповноту формальної аксіоматики в задачах ідентифікації структури металу / Вад.І. Большаков, В.І. Большаков, Ю.І. Дубров // Вісн. НАН України. — 2014. — № 4. — С. 55-59. — Бібліогр.: 14 назв. — укр. |
Institution
Digital Library of Periodicals of National Academy of Sciences of UkraineÄhnliche Einträge
Часткова компенсація неповноти формальної аксіоматики при ідентифікації структури металу
von: Большаков, Вад.І., et al.
Veröffentlicht: (2014)
von: Большаков, Вад.І., et al.
Veröffentlicht: (2014)
Про можливість ідентифікації обчислювально незвідних систем
von: Большаков, В.І., et al.
Veröffentlicht: (2016)
von: Большаков, В.І., et al.
Veröffentlicht: (2016)
Шляхи ідентифікації антропоморфних систем
von: Большаков, В.І., et al.
Veröffentlicht: (2017)
von: Большаков, В.І., et al.
Veröffentlicht: (2017)
Системний аналіз технології виробництва масивного металевого лиття
von: Большаков, Вад.І., et al.
Veröffentlicht: (2015)
von: Большаков, Вад.І., et al.
Veröffentlicht: (2015)
Етапи ідентифікації багатопараметричних технологій та шляхи їх реалізації
von: Большаков, В.І., et al.
Veröffentlicht: (2013)
von: Большаков, В.І., et al.
Veröffentlicht: (2013)
Про роль конфліктів в еволюційних процесах
von: Большаков, В.І., et al.
Veröffentlicht: (2016)
von: Большаков, В.І., et al.
Veröffentlicht: (2016)
Чи може інтелект бути штучним?
von: Большаков, В., et al.
Veröffentlicht: (2009)
von: Большаков, В., et al.
Veröffentlicht: (2009)
Інтелектуальна мобільність логічної техніки
von: Большаков, В., et al.
Veröffentlicht: (2010)
von: Большаков, В., et al.
Veröffentlicht: (2010)
Незалежність аксіоматики Армстронга та алгебра функціональних залежностей
von: Буй, Д.Б., et al.
Veröffentlicht: (2015)
von: Буй, Д.Б., et al.
Veröffentlicht: (2015)
Чорна металургія і національна безпека України
von: Большаков, В.І., et al.
Veröffentlicht: (2014)
von: Большаков, В.І., et al.
Veröffentlicht: (2014)
ПРО ЗАСТОСУВАННЯ МЕТОДІВ ІДЕНТИФІКАЦІЇ У ЗАДАЧАХ ТЕХНІЧНОЇ ДІАГНОСТИКИ
von: Носик, Татьяна Александровна
Veröffentlicht: (2012)
von: Носик, Татьяна Александровна
Veröffentlicht: (2012)
Неокласична теорія ідентифікації структури ринків енергії
von: Strelkov M.T.
Veröffentlicht: (2000)
von: Strelkov M.T.
Veröffentlicht: (2000)
Застосування методу фрактального аналізу до вивчення структури металу
von: Shyofel, O.O.
Veröffentlicht: (2019)
von: Shyofel, O.O.
Veröffentlicht: (2019)
Вибір формальної моделі оберненої задачі деформівної тонкостінної системи за результатами спостережень
von: Ободан, Н., et al.
Veröffentlicht: (2010)
von: Ободан, Н., et al.
Veröffentlicht: (2010)
Про можливість багатохвильової ідентифікації дефектів у палях
von: Трофимчук, О.М., et al.
Veröffentlicht: (2018)
von: Трофимчук, О.М., et al.
Veröffentlicht: (2018)
Про зображення «ступнів ніг» на антропоморфних стелах доби раннього металу
von: Ричков, М.О.
Veröffentlicht: (1982)
von: Ричков, М.О.
Veröffentlicht: (1982)
Про контроль числових результатів в задачах ідентифікації динамічних об'єктів енергетичного призначення
von: Ключка, Костянтин, et al.
Veröffentlicht: (2022)
von: Ключка, Костянтин, et al.
Veröffentlicht: (2022)
Розробка формальної моделі інтелектуального управління маршрутизацією в конфліктуючих сенсорних мережах варіативної топології
von: Семко, О.В., et al.
Veröffentlicht: (2019)
von: Семко, О.В., et al.
Veröffentlicht: (2019)
Прорив у прогнозуванні просторової структури та обчислювальному дизайні протеїнів, або чи можна вірити передбаченням штучного інтелекту
von: Романюк, С.І., et al.
Veröffentlicht: (2025)
von: Романюк, С.І., et al.
Veröffentlicht: (2025)
Модифікації критеріїв узагальнюючої корисності в задачах ідентифікації багатокритеріального вибору
von: Soboleva, E. V.
Veröffentlicht: (2012)
von: Soboleva, E. V.
Veröffentlicht: (2012)
Рябченко О.Л. Студенти радянської України 1920–1930-х років: практики повсякденності та конфлікти ідентифікації
von: Посохов, С.І.
Veröffentlicht: (2012)
von: Посохов, С.І.
Veröffentlicht: (2012)
Самоорганізація матеріалів: науковий факт чи фантом?
von: Большаков, В., et al.
Veröffentlicht: (2002)
von: Большаков, В., et al.
Veröffentlicht: (2002)
Наука у XXI столітті: проблеми і перспективи
von: Онопрієнко, Ю.І.
Veröffentlicht: (2007)
von: Онопрієнко, Ю.І.
Veröffentlicht: (2007)
СПОСОБИ ЛОКАЛІЗАЦІЇ І ІДЕНТИФІКАЦІЇ ЕЛЕМЕНТІВ ЕЛЕКТРИЧНИХ ПРИСТРОЇВ В ЗАДАЧАХ ДІАГНОСТИКИ
von: Верлань, Андрей Анатольевич
Veröffentlicht: (2012)
von: Верлань, Андрей Анатольевич
Veröffentlicht: (2012)
До питання про розвиток скотарства у степовій смузі Східної Європи в епоху раннього металу
von: Лагодовська, О.Ф.
Veröffentlicht: (1961)
von: Лагодовська, О.Ф.
Veröffentlicht: (1961)
Про рівняння відновлення, які виникають в деяких задачах теорії узагальнених дифузійних процесів
von: Портенко, М.І.
Veröffentlicht: (2005)
von: Портенко, М.І.
Veröffentlicht: (2005)
Про точність наближеного розв’язку задачі
von: Задірака, В.К., et al.
Veröffentlicht: (2022)
von: Задірака, В.К., et al.
Veröffentlicht: (2022)
Динаміка вікової структури кадрового потенціалу НАН України протягом 2021–2023 рр. викликає тривогу
von: Попович, О.С., et al.
Veröffentlicht: (2024)
von: Попович, О.С., et al.
Veröffentlicht: (2024)
До епістемологічного аналізу наукових теорій
von: Кузнєцов, В.І.
Veröffentlicht: (2023)
von: Кузнєцов, В.І.
Veröffentlicht: (2023)
Колекція штамів мікроорганізмів та ліній рослин для харчової і сільськогосподарської біотехнології
von: Корховий, В.І.
Veröffentlicht: (2015)
von: Корховий, В.І.
Veröffentlicht: (2015)
Імперативи глобального мережевого суспільства
von: Онопрієнко, В.І.
Veröffentlicht: (2007)
von: Онопрієнко, В.І.
Veröffentlicht: (2007)
Стратегія сталого розвитку крізь призму соціогуманітарної сфери
von: Куценко, В.І.
Veröffentlicht: (2012)
von: Куценко, В.І.
Veröffentlicht: (2012)
Іван Паславський про заснування Львова
von: Чорновол, І.
Veröffentlicht: (2013)
von: Чорновол, І.
Veröffentlicht: (2013)
Про хід, результати та проблеми оцінювання наукових установ Національної академії наук України у 2023 році
von: Єгоров, І.Ю., et al.
Veröffentlicht: (2024)
von: Єгоров, І.Ю., et al.
Veröffentlicht: (2024)
Про хід, результати та проблеми оцінювання наукових установ Національної академії наук України у 2023 році
von: Єгоров, І.Ю., et al.
Veröffentlicht: (2024)
von: Єгоров, І.Ю., et al.
Veröffentlicht: (2024)
Дослідження адекватності інтервальних нечітких моделей типу 2 в задачах ідентифікації складних об’єктів
von: Kondratenko, Natalia R., et al.
Veröffentlicht: (2019)
von: Kondratenko, Natalia R., et al.
Veröffentlicht: (2019)
ВИЗНАЧЕННЯ ЕНЕРГЕТИЧНИХ ХАРАКТЕРИСТИК ІНФОРМАТИВНИХ СИГНАЛІВ ДЛЯ ЗАБЕЗПЕЧЕННЯ ЇХ СТІЙКОЇ ІДЕНТИФІКАЦІЇ В ЗАДАЧАХ ТЕЛЕМЕДИЦИНИ
von: КУЛИК, АНАТОЛІЙ ЯРОСЛАВОВИЧ, et al.
Veröffentlicht: (2018)
von: КУЛИК, АНАТОЛІЙ ЯРОСЛАВОВИЧ, et al.
Veröffentlicht: (2018)
Определение характеристик качества стали на основании анализа информационной энтропии ее структуры
von: Большаков, В.И., et al.
Veröffentlicht: (2012)
von: Большаков, В.И., et al.
Veröffentlicht: (2012)
Про розкладність матричних многочленів з коефіцієнтами квазіпростої структури
von: Шаваровський, Б.З.
Veröffentlicht: (1992)
von: Шаваровський, Б.З.
Veröffentlicht: (1992)
IT-інфраструктура для персоналізованого мобільного здоров’я
von: Гриценко, В.І., et al.
Veröffentlicht: (2016)
von: Гриценко, В.І., et al.
Veröffentlicht: (2016)
Ähnliche Einträge
-
Часткова компенсація неповноти формальної аксіоматики при ідентифікації структури металу
von: Большаков, Вад.І., et al.
Veröffentlicht: (2014) -
Про можливість ідентифікації обчислювально незвідних систем
von: Большаков, В.І., et al.
Veröffentlicht: (2016) -
Шляхи ідентифікації антропоморфних систем
von: Большаков, В.І., et al.
Veröffentlicht: (2017) -
Системний аналіз технології виробництва масивного металевого лиття
von: Большаков, Вад.І., et al.
Veröffentlicht: (2015) -
Етапи ідентифікації багатопараметричних технологій та шляхи їх реалізації
von: Большаков, В.І., et al.
Veröffentlicht: (2013)