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

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

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

Повний опис

Збережено в:

Бібліографічні деталі
Опубліковано в: :	Вісник НАН України
Дата:	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)

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

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

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

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

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

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

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

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

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

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

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

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

Розробка формальної моделі інтелектуального управління маршрутизацією в конфліктуючих сенсорних мережах варіативної топології
за авторством: Семко, О.В., та інші
Опубліковано: (2019)

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

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

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

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

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

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

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

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

Про точність наближеного розв’язку задачі
за авторством: Задірака, В.К., та інші
Опубліковано: (2022)

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

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

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

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

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

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

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

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

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

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

Определение характеристик качества стали на основании анализа информационной энтропии ее структуры
за авторством: Большаков, В.И., та інші
Опубліковано: (2012)

Про розкладність матричних многочленів з коефіцієнтами квазіпростої структури
за авторством: Шаваровський, Б.З.
Опубліковано: (1992)

IT-інфраструктура для персоналізованого мобільного здоров’я
за авторством: Гриценко, В.І., та інші
Опубліковано: (2016)