Зображення обкладинки

Про неповноту формальної аксіоматики в задачах ідентифікації структури металу

Уперше використано теорему Геделя про неповноту в ідентифікації структури сталі. Для часткового усунення неповноти твердження про можливу самоорганізацію системи неживої природи, різновиду металів, застосовано принцип зовнішнього доповнення Біра. Впервые используется теорема Геделя о неполноте при и...

Повний опис

Збережено в:

Бібліографічні деталі
Опубліковано в: :	Вісник НАН України
Дата:	2014
Автори:	Большаков, Вад.І., Большаков, В.І., Дубров, Ю.І.
Формат:	Стаття
Мова:	Українська
Опубліковано:	Видавничий дім "Академперіодика" НАН України 2014
Теми:	Статті та огляди
Онлайн доступ:	https://nasplib.isofts.kiev.ua/handle/123456789/69367
Теги:	Додати тег Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:	Digital Library of Periodicals of National Academy of Sciences of Ukraine
Цитувати:	Про неповноту формальної аксіоматики в задачах ідентифікації структури металу / Вад.І. Большаков, В.І. Большаков, Ю.І. Дубров // Вісн. НАН України. — 2014. — № 4. — С. 55-59. — Бібліогр.: 14 назв. — укр.

Репозитарії

Digital Library of Periodicals of National Academy of Sciences of Ukraine

Схожі ресурси

Часткова компенсація неповноти формальної аксіоматики при ідентифікації структури металу
за авторством: Большаков, Вад.І., та інші
Опубліковано: (2014)

Про можливість ідентифікації обчислювально незвідних систем
за авторством: Большаков, В.І., та інші
Опубліковано: (2016)

Шляхи ідентифікації антропоморфних систем
за авторством: Большаков, В.І., та інші
Опубліковано: (2017)

Системний аналіз технології виробництва масивного металевого лиття
за авторством: Большаков, Вад.І., та інші
Опубліковано: (2015)

Етапи ідентифікації багатопараметричних технологій та шляхи їх реалізації
за авторством: Большаков, В.І., та інші
Опубліковано: (2013)

Інтелектуальна мобільність логічної техніки
за авторством: Большаков, В., та інші
Опубліковано: (2010)

Чи може інтелект бути штучним?
за авторством: Большаков, В., та інші
Опубліковано: (2009)

Незалежність аксіоматики Армстронга та алгебра функціональних залежностей
за авторством: Буй, Д.Б., та інші
Опубліковано: (2015)

Чорна металургія і національна безпека України
за авторством: Большаков, В.І., та інші
Опубліковано: (2014)

ПРО ЗАСТОСУВАННЯ МЕТОДІВ ІДЕНТИФІКАЦІЇ У ЗАДАЧАХ ТЕХНІЧНОЇ ДІАГНОСТИКИ
за авторством: Носик, Татьяна Александровна
Опубліковано: (2012)

Застосування методу фрактального аналізу до вивчення структури металу
за авторством: Shyofel, O.O.
Опубліковано: (2019)

Неокласична теорія ідентифікації структури ринків енергії
за авторством: Strelkov M.T.
Опубліковано: (2000)

Вибір формальної моделі оберненої задачі деформівної тонкостінної системи за результатами спостережень
за авторством: Ободан, Н., та інші
Опубліковано: (2010)

Про зображення «ступнів ніг» на антропоморфних стелах доби раннього металу
за авторством: Ричков, М.О.
Опубліковано: (1982)

Про можливість багатохвильової ідентифікації дефектів у палях
за авторством: Трофимчук, О.М., та інші
Опубліковано: (2018)

Про контроль числових результатів в задачах ідентифікації динамічних об'єктів енергетичного призначення
за авторством: Ключка, Костянтин, та інші
Опубліковано: (2022)

Прорив у прогнозуванні просторової структури та обчислювальному дизайні протеїнів, або чи можна вірити передбаченням штучного інтелекту
за авторством: Романюк, С.І., та інші
Опубліковано: (2025)

Рябченко О.Л. Студенти радянської України 1920–1930-х років: практики повсякденності та конфлікти ідентифікації
за авторством: Посохов, С.І.
Опубліковано: (2012)

Модифікації критеріїв узагальнюючої корисності в задачах ідентифікації багатокритеріального вибору
за авторством: Soboleva, E. V.
Опубліковано: (2012)

Наука у XXI столітті: проблеми і перспективи
за авторством: Онопрієнко, Ю.І.
Опубліковано: (2007)

СПОСОБИ ЛОКАЛІЗАЦІЇ І ІДЕНТИФІКАЦІЇ ЕЛЕМЕНТІВ ЕЛЕКТРИЧНИХ ПРИСТРОЇВ В ЗАДАЧАХ ДІАГНОСТИКИ
за авторством: Верлань, Андрей Анатольевич
Опубліковано: (2012)

До питання про розвиток скотарства у степовій смузі Східної Європи в епоху раннього металу
за авторством: Лагодовська, О.Ф.
Опубліковано: (1961)

Про рівняння відновлення, які виникають в деяких задачах теорії узагальнених дифузійних процесів
за авторством: Портенко, М.І.
Опубліковано: (2005)

Самоорганізація матеріалів: науковий факт чи фантом?
за авторством: Большаков, В., та інші
Опубліковано: (2002)

Динаміка вікової структури кадрового потенціалу НАН України протягом 2021–2023 рр. викликає тривогу
за авторством: Попович, О.С., та інші
Опубліковано: (2024)

До епістемологічного аналізу наукових теорій
за авторством: Кузнєцов, В.І.
Опубліковано: (2023)

Стратегія сталого розвитку крізь призму соціогуманітарної сфери
за авторством: Куценко, В.І.
Опубліковано: (2012)

Імперативи глобального мережевого суспільства
за авторством: Онопрієнко, В.І.
Опубліковано: (2007)

Колекція штамів мікроорганізмів та ліній рослин для харчової і сільськогосподарської біотехнології
за авторством: Корховий, В.І.
Опубліковано: (2015)

Іван Паславський про заснування Львова
за авторством: Чорновол, І.
Опубліковано: (2013)

Про хід, результати та проблеми оцінювання наукових установ Національної академії наук України у 2023 році
за авторством: Єгоров, І.Ю., та інші
Опубліковано: (2024)

Про хід, результати та проблеми оцінювання наукових установ Національної академії наук України у 2023 році
за авторством: Єгоров, І.Ю., та інші
Опубліковано: (2024)

Дослідження адекватності інтервальних нечітких моделей типу 2 в задачах ідентифікації складних об’єктів
за авторством: Kondratenko, Natalia R., та інші
Опубліковано: (2019)

ВИЗНАЧЕННЯ ЕНЕРГЕТИЧНИХ ХАРАКТЕРИСТИК ІНФОРМАТИВНИХ СИГНАЛІВ ДЛЯ ЗАБЕЗПЕЧЕННЯ ЇХ СТІЙКОЇ ІДЕНТИФІКАЦІЇ В ЗАДАЧАХ ТЕЛЕМЕДИЦИНИ
за авторством: КУЛИК, АНАТОЛІЙ ЯРОСЛАВОВИЧ, та інші
Опубліковано: (2018)

У світі міні-металу
за авторством: Пасічник, Л.
Опубліковано: (2014)

ВИЗНАЧЕННЯ ОСНОВНИХ КОНСТРУКТИВНИХ ПАРАМЕТРІВ УНІВЕРСАЛЬНИХ ПЕРЕМІШУВАЧІВ РІДКОГО МЕТАЛУ
за авторством: Бондар, О.І., та інші
Опубліковано: (2017)

Метод усереднення в деяких задачах теорії нелінійних коливань
за авторством: Петришин, Р.І.
Опубліковано: (1995)

Геофізичні дослідження для підвищення ефективності пошуку корисних копалин в Україні
за авторством: Старостенко, В.І., та інші
Опубліковано: (2016)

Чорнобиль: новий фактор еволюції (Нез'ясовані популяційно-генетичні наслідки)
за авторством: Глазко, Т.Т., та інші
Опубліковано: (2006)

Cупрамолекулярні наномашини та смарт-матеріали
за авторством: Кальченко, В.І., та інші
Опубліковано: (2017)