Дослідження системи аксіом евклідової геометрії
Системи аксіом евклідової геометрії. Повнота системи аксіом евклідової геометрії. Арифметична реалізація векторної системи аксіом Г. Вейля евклідової геометрії. Незалежність системи аксіом Г. Вейля. Доведення несуперечливості геометрії Лобачевського.
Подобные документы
- 101. Дослідження диференціальних моделей з непарною кількістю рівнянь з відхиленням мішаного характеру
Дослідження диференціального рівняння непарного порядку і деяких систем з непарною кількістю рівнянь на нескінченному проміжку. Побудова диференціальної моделі, що описується диференціальним рівнянням, та дослідження її на скінченому проміжку часу.
дипломная работа, добавлен 24.12.2013 Теорема Піфагора - важливий інструмент геометричних обчислень, її простота, значення; історичні відомості. Теорема Піфагора на площині та у просторі, її стереометричний аналог; цілочислові прямокутні трикутники. Доведення теореми, класифікація задач.
курсовая работа, добавлен 16.05.2011Вивчення рівняння з однією невідомою довільного степеня та способів знаходження коренів таких рівнянь. Доведення основної теореми алгебри. Огляд способу Ньютона встановлення меж дійсних коренів алгебраїчних рівнянь. Відокремлення коренів методом Штурма.
курсовая работа, добавлен 06.10.2012Вивчення теорем Чеви та Менелая на площині та в просторі, доведення нетривіальних наслідків цих теорем та розв’язання задач за їх допомогою. Застосування Теореми Менелая при доведенні теорем (наприклад, теорем Дезарга, Паппа, Паскаля, Гаусса та інших).
дипломная работа, добавлен 12.08.2010Перевірка гіпотези про нормальний розподіл параметрів загального аналізу крові для компенсованого, субкомпенсованого та декомпенсованого станів за кишкової непрохідності. Перевірки гіпотез про рівність середніх значень та про незалежність параметрів.
курсовая работа, добавлен 13.08.2010- 106. Інтеграл Фур’є
Поняття інтеграла Фур’є для функції дійсної змінної. Різні форми запису формули. Головне значення інтеграла та комплексна форма запису. Лінійне перетворення оберненого перетворення Фур’є. Алгоритм доведення ознаки Діні про початкову збіжність функції.
курсовая работа, добавлен 27.04.2014 - 107. Використання модульної арифметики. Обчислення з многочленами. Методи множення. Складність обчислень
Використання методу Монтгомері як ефективний шлях багаторазового зведення за модулем. Складність операцій з многочленами та обчислення їх значень. Алгоритм Руфіні-Горнера. Визначення рекурсивного процесу для множення. Доведення алгоритму Тоома-Кука.
контрольная работа, добавлен 07.02.2011 Випадок однорідної крайової задачі. Розв’язання виродженого крайового виразу. Теорема Коші, іі доведення. Означення узагальненої функції Гріна крайової задачі. Формулювання алгоритму відшукання узагальненої функції Гріна. Приклади роз'язання завдань.
лекция, добавлен 24.01.2009Вивчення властивостей підгрупи Фиттинга. Умова існування доповнень до окремих підгруп. Визначення нильпотентної довжини розв'язної групи. Доведення ізоморфності кінцевої нерозв'язної групи з нильпотентними додаваннями до непонадрозв'язних підгруп.
дипломная работа, добавлен 17.01.2011Вивчення наслідків порушення основних припущень лінійного регресійного аналізу: припущення про незміщеність похибок, про однакову дисперсію і некорельованість похибок, про нормальний розподіл похибок та припущення про незалежність спостережень.
магистерская работа, добавлен 12.08.2010Теоретичні матеріали щодо визначення методів дослідження лінійної залежності та незалежності функцій, проведення дослідження лінійної залежності систем функцій однієї змінної за визначенням і з використанням визначників матриць Вронського та Грама.
курсовая работа, добавлен 15.06.2013Загальні поняття про числові ряди. Ознака збіжності Куммера. Дослідження ознаки збіжності Раабе та використання ознаки Даламбера. Ознака збіжності Бертрана. Дослідження ознаки збіжності Гаусса. Застосування ознаки Діріхле для знакозмінних рядів.
курсовая работа, добавлен 25.03.2012Аналіз рівняння еліпсоїда, властивостей кривих і поверхонь другого порядку. Канонічне рівняння гіперболи за допомогою перетворень паралельного переносу й повороту координатних осей. Дослідження форми поверхні другого порядку методом перетину площинами.
курсовая работа, добавлен 27.12.2010Практична реалізація задачі Гамільтона про мандрівника методом гілок та меж. Математична модель задачі комівояжера, її вирішення за допомогою алгоритму Літтла. Програмне знаходження сумарних мінімальних характеристик (відстані, вартості проїзду).
курсовая работа, добавлен 30.09.2014Множина як визначена сукупність елементів чи об’єктів. Списковий спосіб подання множини. Множина, кількість елементів якої скінченна (скінченна множина). Виведення декартового добутку з кожної заданої комбінації. Алгоритм рішення та реалізація програми.
задача, добавлен 23.06.2010Крайова задача для звичайного диференціального рівняння. Метод Рунге-Кутта, метод прогнозу і корекції та метод кінцевих різниць для розв’язання лінійних крайових задач. Реалізація пакетом Maple. Оцінка похибки й уточнення отриманих результатів.
контрольная работа, добавлен 14.08.2010Етапи розв'язування інженерних задач на ЕОМ. Цілі, засоби й методи моделювання. Створення математичної моделі. Побудова обчислювальної моделі. Реалізація методу обчислень. Розв’язання нелінійних рівнянь методом дихотомії. Алгоритм метода дихотомії.
контрольная работа, добавлен 06.08.2010- 118. Інтегральне числення
Вивчення елементарних функцій, інтеграли від яких не є елементарними функціями, тобто вони не обчислюються в скінченному вигляді або не 6еруться. Наближені методи обчислення визначених інтегралів. Дослідження невласних інтегралів та ознаки їх збіжності.
реферат, добавлен 18.07.2010 - 119. Прогресії та середні
Сутність гармонічної, квадратичної, логарифмічної прогресій. Аналіз методів доведень алгебраїчних нерівностей за допомогою прогресій. Розв'язання задач на дослідження властивостей середнього степеневого для заданих числових послідовностей та нерівностей.
курсовая работа, добавлен 26.04.2012 Дослідження основних статистичних понять та їх застосування в оціночній діяльності. Характеристика методів групування статистичних даних по якісним та кількісним прикметам. Вивчення алгоритму побудови інтервального ряду, розрахунок розмаху варіації.
лекция, добавлен 07.02.2012- 121. Параметри інтегралів
Методика розрахунку невизначених інтегралів. Обчислення площі фігури, обмеженої вказаними лініями, та формування відповідного рисунку. Загальний та частинний розв’язок диференціального рівняння першого порядку. Дослідження на збіжність числових рядів.
контрольная работа, добавлен 19.01.2015 Лінійні різницеві рівняння зі сталими коефіцієнтами. Теоретичне дослідження основних теорій інваріантних тороїдальних многовидів для зліченних систем лінійних і нелінійних різницевих рівнянь, що визначені на скінченновимірних та нескінченновимірних торах.
курсовая работа, добавлен 18.12.2013- 123. Основи математики
Історія розвитку математичної науки. Математичне моделювання і дослідження процесів і явищ за допомогою функцій, рівнянь та інших математичних об`єктів. Функції, їх основні властивості та графіки, множина раціональних чисел. Розв`язання типових задач.
книга, добавлен 01.03.2011 Походження та освіта М. Остроградського. Науковий твір "Курс небесної механіки". Творчий внесок вченого у розвиток науки, викладацька діяльність. Успіхи дослідження математичної фізики. Огляд деяких питань, пов'язаних з теорією артилерійської стрільби.
презентация, добавлен 26.04.2014Означення модуля неперервності та його властивості. Дослідження поведінки найкращих наближень неперервної функції алгебраїчними многочленами на базі властивостей введених Діціаном і Тотіка. Вирішення оберненої задачі. Узагальнення теореми Джексона.
курсовая работа, добавлен 09.07.2015