Часткова компенсація неповноти формальної аксіоматики при ідентифікації структури металу
У роботі показано, що часткове усунення неповноти формальної аксіоматики тверджень про неповноту структури металу, згідно з теоремою Геделя, можливе шляхом апроксимації цієї структури за допомогою мови фрактальної геометрії....
Збережено в:
Дата: | 2014 |
---|---|
Автори: | Большаков, Вад.І., Большаков, В.І., Волчук, В.М., Дубров, Ю.І. |
Формат: | Стаття |
Мова: | Ukrainian |
Опубліковано: |
Видавничий дім "Академперіодика" НАН України
2014
|
Назва видання: | Вісник НАН України |
Теми: | |
Онлайн доступ: | http://dspace.nbuv.gov.ua/handle/123456789/73434 |
Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
Цитувати: | Часткова компенсація неповноти формальної аксіоматики при ідентифікації структури металу / Вад.І. Большаков, В.І. Большаков, В.М. Волчук, Ю.І. Дубров // Вісн. НАН України. — 2014. — № 12. — С. 45-48. — Бібліогр.: 8 назв. — укр. |
Репозитарії
Digital Library of Periodicals of National Academy of Sciences of UkraineСхожі ресурси
-
Про неповноту формальної аксіоматики в задачах ідентифікації структури металу
за авторством: Большаков, Вад.І., та інші
Опубліковано: (2014) -
Системний аналіз технології виробництва масивного металевого лиття
за авторством: Большаков, Вад.І., та інші
Опубліковано: (2015) -
Етапи ідентифікації багатопараметричних технологій та шляхи їх реалізації
за авторством: Большаков, В.І., та інші
Опубліковано: (2013) -
Шляхи ідентифікації антропоморфних систем
за авторством: Большаков, В.І., та інші
Опубліковано: (2017) -
Про можливість ідентифікації обчислювально незвідних систем
за авторством: Большаков, В.І., та інші
Опубліковано: (2016)