Неповнота формальної аксіоматики в задачах ідентифікації структури металу
Аналіз використання теореми Геделя про неповноту в ідентифікації структури сталі. Застосування принципу зовнішнього доповнення Біра для часткового усунення обмеженості твердження про можливу самоорганізацію системи неживої природи та різновиду металів.
| Рубрика | Математика |
| Вид | статья |
| Язык | украинский |
| Дата добавления | 30.01.2016 |
| Размер файла | 240,7 K |
Отправить свою хорошую работу в базу знаний просто. Используйте форму, расположенную ниже
Студенты, аспиранты, молодые ученые, использующие базу знаний в своей учебе и работе, будут вам очень благодарны.
HTML-версии работы пока нет.
Cкачать архив работы можно перейдя по ссылке, которая находятся ниже.
Подобные документы
Теорія множин як абстрактно-теоретична наука про множини довільної природи, розгляд головних проблем. Загальна характеристика теореми Кантора-Берштейна. Знайомство з властивостями множин потужності континууму. Аналіз діяльності математика К. Геделя.
курсовая работа [325,6 K], добавлен 27.04.2016Характеристика послідовності незалежних випробувань, застосування формул Бернуллі, Пусона, локальної та інтегральної теореми Лапласа. Аналіз моментів біноміального розподілу. Оцінка дисперсії. Математична теорія експерименту у техніко-економічних задачах.
контрольная работа [94,5 K], добавлен 19.02.2010Оцінка ймовірності відхилення випадкової величини Х від її математичного сподівання. Знаходження дисперсії випадкової величини за допомогою теореми Бернуллі. Застосування для випадкової величини нерівності Чебишова. Суть центральної граничної теореми.
реферат [88,5 K], добавлен 02.02.2010Вивчення теорем Чеви та Менелая на площині та в просторі, доведення нетривіальних наслідків цих теорем та розв’язання задач за їх допомогою. Застосування Теореми Менелая при доведенні теорем (наприклад, теорем Дезарга, Паппа, Паскаля, Гаусса та інших).
дипломная работа [4,0 M], добавлен 12.08.2010Історія створення і різні формулювання теореми Піфагора як актуальної математичної задачі, спроби докази теореми. Визначення теореми Фалеса про пропорційні відрізки, її рішення. Місце теореми Вієта та формули Герона в сучасному шкільному курсі геометрії.
курсовая работа [1,5 M], добавлен 25.05.2019Дослідження системи з відомим типом крапок спокою. Знаходження першого інтеграла системи, умови його існування. Застосування теореми про еквівалентність диференціальних систем. Визначення вложимої системи, умови вложимості. Поняття функції, що відбиває.
курсовая работа [115,3 K], добавлен 14.01.2011Застосування конгруенцій: ознаки подільності, перевірка арифметичних дій, перетворення десяткового дробу у звичайний та навпаки, індекси. Вчені, що займалися питанням застосування конгруенцій. Основні теореми в теорії конгруенцій - Ейлера і Ферма.
курсовая работа [226,2 K], добавлен 04.06.2011Отримання аналогів теореми порівняння Колмогорова для класу функцій, що задаються обмеженнями на несиметричні норми старших похідних. Випадок класів, які задаються обмеженнями на декілька похідних. Означення екстремальної функції, її властивості.
дипломная работа [1,4 M], добавлен 11.06.2017Означення та приклади застосування гармонічних функцій. Субгармонічні функції та їх деякі властивості. Розв’язок задачі Діріхле з використанням функції Гріна. Теореми зростання та спадання функції регулярної в нескінченній області (Фрагмена-Ліндельофа).
курсовая работа [349,0 K], добавлен 10.09.2013Стандартні ірраціональні рівняння й методи їхнього рішення. Застосування основних властивостей функції: області визначення рівняння, значень, монотонності та обмеженості функції. Застосування похідної. Методи рішення змішаних ірраціональних рівнянь.
курсовая работа [406,7 K], добавлен 14.01.2011
