реферат Аксіоматика в логіці і математиці
Представлення Гільберта та його послідовників про математику як про формалізованої системи, об'єкти якої виражаються мовою символічної логіки. Розгляд математичних теорем і їх докази з охопленням сукупності всіх форм сучасної математичної теорії.
Нажав на кнопку "Скачать архив", вы скачаете нужный вам файл совершенно бесплатно.
Перед скачиванием данного файла вспомните о тех хороших рефератах, контрольных, курсовых, дипломных работах, статьях и других документах, которые лежат невостребованными в вашем компьютере. Это ваш труд, он должен участвовать в развитии общества и приносить пользу людям. Найдите эти работы и отправьте в базу знаний.
Мы и все студенты, аспиранты, молодые ученые, использующие базу знаний в своей учебе и работе, будем вам очень благодарны.
Чтобы скачать архив с документом, в поле, расположенное ниже, впишите пятизначное число и нажмите кнопку "Скачать архив"
| Рубрика | Математика |
| Вид | реферат |
| Язык | украинский |
| Дата добавления | 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
