Аксіоматика в логіці і математиці
Представлення Гільберта та його послідовників про математику як про формалізованої системи, об'єкти якої виражаються мовою символічної логіки. Розгляд математичних теорем і їх докази з охопленням сукупності всіх форм сучасної математичної теорії.
| Рубрика | Математика |
| Предмет | Математика |
| Вид | реферат |
| Язык | украинский |
| Прислал(а) | Лилия |
| Дата добавления | 25.05.2009 |
| Размер файла | 20,5 K |
Отправить свою хорошую работу в базу знаний просто. Используйте форму, расположенную ниже
Студенты, аспиранты, молодые ученые, использующие базу знаний в своей учебе и работе, будут вам очень благодарны.
Подобные документы
Суть та значення аксіоматичної побудови геометрії. Аксіоматика Д. Гільберта евклідової геометрії. Аксіоми сполучення, порядку, конгруентності, неперервності та паралельності. Характеристика різних аксіоматик. Векторна аксіоматика еклідової геометрії.
курсовая работа [179,9 K], добавлен 17.03.2012Функціональна повнота системи функцій алгебри логіки. Клас самодвоїстих функцій і його замкненість. Леми теореми Поста. Реалізація алгоритму В середовищі програмування С#, який визначає чи є система функцій алгебри логіки функціонально повна, вид повноти.
курсовая работа [388,6 K], добавлен 17.05.2011Основні галузі сучасної математичної науки. Розвиток аксіоматичного методу. Різні підходи та трактування логічних основ геометрії. Система аксіом О.Д. Александрова, О.В. Погорєлова, Л.С. Атанасяна. Аксіоматична будова геометрії в "Началах" Евкліда.
курсовая работа [1,3 M], добавлен 13.05.2015Побудова математичної логіки як алгебри висловлень і алгебри предикатів. Основні поняття логіки висловлювань та їх закони і нормальні форми. Основні поняття логіки предикатів і її закони, випереджена нормальна форма. Процедури доведення законів.
курсовая работа [136,5 K], добавлен 27.06.2008Математична постановка задач пошуку умов повної керованості в лінійних стаціонарних динамічних системах керування. Представлення систем диференційних рівнянь управління в просторі станів. Достатні умови в критеріях повної керованості Е. Гільберта.
дипломная работа [2,0 M], добавлен 16.06.2013Характеристика алгебри логіки. Система числення як спосіб подання довільного числа за допомогою алфавіту символів, які називають цифрами. Представлення чисел зі знаком: прямий, обернений і доповняльний код. Аналіз булевої функції та методів Квайна, Вейча.
курсовая работа [2,6 M], добавлен 05.09.2011Розв'язання задач з теорії множин та математичної логіки. Визначення основних характеристик графа г (Х,W). Розклад функцій дискретного аргументу в ряди по базисним функціям. Побудова та доведення діаграми Ейлера-Вена. Побудова матриці інцидентності графа.
курсовая работа [988,5 K], добавлен 20.04.2012Динаміка розвитку поняття ймовірності й математичного очікування. Закон більших чисел, необхідні, достатні умови його застосування. Первісне осмислення статистичної закономірності. Поява теорем Бернуллі й Пуассона - найпростіших форм закону більших чисел.
дипломная работа [466,6 K], добавлен 11.02.2011Властивості числових характеристик системи випадкових величин. Обчислення кореляційного моменту. Ведення комплексної випадкової величини, характеристичні функції. Види збіжності випадкових величин. Приклади доказів граничних теорем теорії ймовірностей.
реферат [113,9 K], добавлен 12.03.2011Суть принципу Діріхле та найпростіші задачі, пов’язані з ним. Використання методів розв’язування математичних задач олімпіадного характеру при вивченні окремих тем шкільного курсу математики та на факультативних заняттях. Індукція в геометричних задачах.
дипломная работа [239,7 K], добавлен 15.03.2013
