Про неповноту формальної аксіоматики в задачах ідентифікації структури металу
Уперше використано теорему Геделя про неповноту в ідентифікації структури сталі. Для часткового усунення неповноти твердження про можливу самоорганізацію системи неживої природи, різновиду металів, застосовано принцип зовнішнього доповнення Біра. Впервые используется теорема Геделя о неполноте при и...
Saved in:
| Published in: | Вісник НАН України |
|---|---|
| Date: | 2014 |
| Main Authors: | Большаков, Вад.І., Большаков, В.І., Дубров, Ю.І. |
| Format: | Article |
| Language: | Ukrainian |
| Published: |
Видавничий дім "Академперіодика" НАН України
2014
|
| Subjects: | |
| Online Access: | https://nasplib.isofts.kiev.ua/handle/123456789/69367 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Journal Title: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Cite this: | Про неповноту формальної аксіоматики в задачах ідентифікації структури металу / Вад.І. Большаков, В.І. Большаков, Ю.І. Дубров // Вісн. НАН України. — 2014. — № 4. — С. 55-59. — Бібліогр.: 14 назв. — укр. |
Institution
Digital Library of Periodicals of National Academy of Sciences of UkraineSimilar Items
Часткова компенсація неповноти формальної аксіоматики при ідентифікації структури металу
by: Большаков, Вад.І., et al.
Published: (2014)
by: Большаков, Вад.І., et al.
Published: (2014)
Про можливість ідентифікації обчислювально незвідних систем
by: Большаков, В.І., et al.
Published: (2016)
by: Большаков, В.І., et al.
Published: (2016)
Шляхи ідентифікації антропоморфних систем
by: Большаков, В.І., et al.
Published: (2017)
by: Большаков, В.І., et al.
Published: (2017)
Системний аналіз технології виробництва масивного металевого лиття
by: Большаков, Вад.І., et al.
Published: (2015)
by: Большаков, Вад.І., et al.
Published: (2015)
Етапи ідентифікації багатопараметричних технологій та шляхи їх реалізації
by: Большаков, В.І., et al.
Published: (2013)
by: Большаков, В.І., et al.
Published: (2013)
Про роль конфліктів в еволюційних процесах
by: Большаков, В.І., et al.
Published: (2016)
by: Большаков, В.І., et al.
Published: (2016)
Чи може інтелект бути штучним?
by: Большаков, В., et al.
Published: (2009)
by: Большаков, В., et al.
Published: (2009)
Інтелектуальна мобільність логічної техніки
by: Большаков, В., et al.
Published: (2010)
by: Большаков, В., et al.
Published: (2010)
Незалежність аксіоматики Армстронга та алгебра функціональних залежностей
by: Буй, Д.Б., et al.
Published: (2015)
by: Буй, Д.Б., et al.
Published: (2015)
Чорна металургія і національна безпека України
by: Большаков, В.І., et al.
Published: (2014)
by: Большаков, В.І., et al.
Published: (2014)
ПРО ЗАСТОСУВАННЯ МЕТОДІВ ІДЕНТИФІКАЦІЇ У ЗАДАЧАХ ТЕХНІЧНОЇ ДІАГНОСТИКИ
by: Носик, Татьяна Александровна
Published: (2012)
by: Носик, Татьяна Александровна
Published: (2012)
Неокласична теорія ідентифікації структури ринків енергії
by: Strelkov M.T.
Published: (2000)
by: Strelkov M.T.
Published: (2000)
Вибір формальної моделі оберненої задачі деформівної тонкостінної системи за результатами спостережень
by: Ободан, Н., et al.
Published: (2010)
by: Ободан, Н., et al.
Published: (2010)
Застосування методу фрактального аналізу до вивчення структури металу
by: Shyofel, O.O.
Published: (2019)
by: Shyofel, O.O.
Published: (2019)
Про можливість багатохвильової ідентифікації дефектів у палях
by: Трофимчук, О.М., et al.
Published: (2018)
by: Трофимчук, О.М., et al.
Published: (2018)
Про зображення «ступнів ніг» на антропоморфних стелах доби раннього металу
by: Ричков, М.О.
Published: (1982)
by: Ричков, М.О.
Published: (1982)
Про контроль числових результатів в задачах ідентифікації динамічних об'єктів енергетичного призначення
by: Ключка, Костянтин, et al.
Published: (2022)
by: Ключка, Костянтин, et al.
Published: (2022)
Розробка формальної моделі інтелектуального управління маршрутизацією в конфліктуючих сенсорних мережах варіативної топології
by: Семко, О.В., et al.
Published: (2019)
by: Семко, О.В., et al.
Published: (2019)
Прорив у прогнозуванні просторової структури та обчислювальному дизайні протеїнів, або чи можна вірити передбаченням штучного інтелекту
by: Романюк, С.І., et al.
Published: (2025)
by: Романюк, С.І., et al.
Published: (2025)
Модифікації критеріїв узагальнюючої корисності в задачах ідентифікації багатокритеріального вибору
by: Soboleva, E. V.
Published: (2012)
by: Soboleva, E. V.
Published: (2012)
Рябченко О.Л. Студенти радянської України 1920–1930-х років: практики повсякденності та конфлікти ідентифікації
by: Посохов, С.І.
Published: (2012)
by: Посохов, С.І.
Published: (2012)
Наука у XXI столітті: проблеми і перспективи
by: Онопрієнко, Ю.І.
Published: (2007)
by: Онопрієнко, Ю.І.
Published: (2007)
Самоорганізація матеріалів: науковий факт чи фантом?
by: Большаков, В., et al.
Published: (2002)
by: Большаков, В., et al.
Published: (2002)
СПОСОБИ ЛОКАЛІЗАЦІЇ І ІДЕНТИФІКАЦІЇ ЕЛЕМЕНТІВ ЕЛЕКТРИЧНИХ ПРИСТРОЇВ В ЗАДАЧАХ ДІАГНОСТИКИ
by: Верлань, Андрей Анатольевич
Published: (2012)
by: Верлань, Андрей Анатольевич
Published: (2012)
До питання про розвиток скотарства у степовій смузі Східної Європи в епоху раннього металу
by: Лагодовська, О.Ф.
Published: (1961)
by: Лагодовська, О.Ф.
Published: (1961)
Про рівняння відновлення, які виникають в деяких задачах теорії узагальнених дифузійних процесів
by: Портенко, М.І.
Published: (2005)
by: Портенко, М.І.
Published: (2005)
Про точність наближеного розв’язку задачі
by: Задірака, В.К., et al.
Published: (2022)
by: Задірака, В.К., et al.
Published: (2022)
Динаміка вікової структури кадрового потенціалу НАН України протягом 2021–2023 рр. викликає тривогу
by: Попович, О.С., et al.
Published: (2024)
by: Попович, О.С., et al.
Published: (2024)
До епістемологічного аналізу наукових теорій
by: Кузнєцов, В.І.
Published: (2023)
by: Кузнєцов, В.І.
Published: (2023)
Колекція штамів мікроорганізмів та ліній рослин для харчової і сільськогосподарської біотехнології
by: Корховий, В.І.
Published: (2015)
by: Корховий, В.І.
Published: (2015)
Імперативи глобального мережевого суспільства
by: Онопрієнко, В.І.
Published: (2007)
by: Онопрієнко, В.І.
Published: (2007)
Стратегія сталого розвитку крізь призму соціогуманітарної сфери
by: Куценко, В.І.
Published: (2012)
by: Куценко, В.І.
Published: (2012)
Іван Паславський про заснування Львова
by: Чорновол, І.
Published: (2013)
by: Чорновол, І.
Published: (2013)
Про хід, результати та проблеми оцінювання наукових установ Національної академії наук України у 2023 році
by: Єгоров, І.Ю., et al.
Published: (2024)
by: Єгоров, І.Ю., et al.
Published: (2024)
Про хід, результати та проблеми оцінювання наукових установ Національної академії наук України у 2023 році
by: Єгоров, І.Ю., et al.
Published: (2024)
by: Єгоров, І.Ю., et al.
Published: (2024)
Дослідження адекватності інтервальних нечітких моделей типу 2 в задачах ідентифікації складних об’єктів
by: Kondratenko, Natalia R., et al.
Published: (2019)
by: Kondratenko, Natalia R., et al.
Published: (2019)
ВИЗНАЧЕННЯ ЕНЕРГЕТИЧНИХ ХАРАКТЕРИСТИК ІНФОРМАТИВНИХ СИГНАЛІВ ДЛЯ ЗАБЕЗПЕЧЕННЯ ЇХ СТІЙКОЇ ІДЕНТИФІКАЦІЇ В ЗАДАЧАХ ТЕЛЕМЕДИЦИНИ
by: КУЛИК, АНАТОЛІЙ ЯРОСЛАВОВИЧ, et al.
Published: (2018)
by: КУЛИК, АНАТОЛІЙ ЯРОСЛАВОВИЧ, et al.
Published: (2018)
IT-інфраструктура для персоналізованого мобільного здоров’я
by: Гриценко, В.І., et al.
Published: (2016)
by: Гриценко, В.І., et al.
Published: (2016)
Определение характеристик качества стали на основании анализа информационной энтропии ее структуры
by: Большаков, В.И., et al.
Published: (2012)
by: Большаков, В.И., et al.
Published: (2012)
Про розкладність матричних многочленів з коефіцієнтами квазіпростої структури
by: Шаваровський, Б.З.
Published: (1992)
by: Шаваровський, Б.З.
Published: (1992)
Similar Items
-
Часткова компенсація неповноти формальної аксіоматики при ідентифікації структури металу
by: Большаков, Вад.І., et al.
Published: (2014) -
Про можливість ідентифікації обчислювально незвідних систем
by: Большаков, В.І., et al.
Published: (2016) -
Шляхи ідентифікації антропоморфних систем
by: Большаков, В.І., et al.
Published: (2017) -
Системний аналіз технології виробництва масивного металевого лиття
by: Большаков, Вад.І., et al.
Published: (2015) -
Етапи ідентифікації багатопараметричних технологій та шляхи їх реалізації
by: Большаков, В.І., et al.
Published: (2013)