Подходы к обоснованию математики: сквозь парадоксы к прозрачной непротиворечивой теории
Сущность программы логицизма - определение основных, исходных понятий чистой математики в терминах логики, а её фундаментальные законы доказать как теоремы логики. Перевод на язык логики основных понятий арифметики. Первый известный логицист Г. Фреге.
Подобные документы
Научные и инженерные расчеты как одна из важнейших сфер приложения компьютеров. Знакомство с основными особенностями реализации рациональной арифметики в системах символьной математики. Общая характеристика возможностей и преимуществ пакета Matlab.
реферат, добавлен 10.11.2020Характеристика основ нечёткой и модальной логики. Знакомство с примерами экспертных систем. Место математической логики в информационных технологиях и программировании. Рассмотрение правил записи сложных формул. Особенности метода дедуктивного вывода.
книга, добавлен 07.08.2013- 53. Логика ветвящегося времени и ее применение в интеллектуальных системах поддержки принятия решений
Характеристика основных положений темпоральной (временной) логики для ветвящегося времени в плане ее использования в интеллектуальных системах поддержки принятия решений реального времени. Исследование проблемы программной реализации данной логики.
статья, добавлен 16.01.2018 - 54. Алгебра логики
Изучение специальной алгебры, занимающейся исчислением высказываний. Её роль в описании работы дискретных устройств. Элементарные функции алгебры логики. Использование двух приемов для построения произвольной. Предназначение эквивалентных соотношений.
лекция, добавлен 06.03.2014 - 55. Алгебра логики
Понятия алгебры логики: конъюнкция, дизъюнкция, инверсия, импликация, эквивалентность. Двоичные операции с цифровыми сигналами. Классификация электронных транзисторных физических реализаций логических элементов. Комбинационные логические устройства.
курсовая работа, добавлен 15.09.2017 Алгебра логики или булева алгебра (по имени английского математика Джона Буля) как математическая основа цифровой электроники и вычислительной техники. Сложные функции алгебры логики. Результаты экспериментального исследования логического элемента.
практическая работа, добавлен 02.08.2013Логика как самостоятельная наука. Идея построения логики на математической основе. Основные объекты математической логики, высказывания, логическая процедура и правильность. Отделение правильных схем рассуждения от неправильных и систематизация первых.
презентация, добавлен 17.04.2013Изучение построения фундамента для математики в XX в. Понятие истинности в математике, абсолютизация человеческих представлений о реальном мире. Формализация математической логики. Эквивалентность интуитивных и формальных доказательств в тезисе Гильберта.
реферат, добавлен 28.10.2018- 59. Теория графов
Краткий перечень основных понятий теории графов как раздела дискретной математики. Понятия смежности и инцидентности. Матрицы смежности и инцидентности, достижимости и связности. Маршруты и пути. Применение методов теории графов в прикладных задачах.
методичка, добавлен 24.03.2015 Анализ схемы, реализующей логическое отрицание. Особенность инверсии дизъюнкции и конъюнкции в алгебре логики. Характеристика функций Шеффера и Пирса. Формирование законов склеивания и поглощения. Основные приоритеты выполнения последовательных операций.
лабораторная работа, добавлен 03.03.2015Анализ понятия символической логики (математической, теоретической): происхождение, развитие и свойства. Буквенные обозначения для переменных, а также идея построения универсального языка для всей математики. Основы современной логической символики.
доклад, добавлен 27.12.2010Множества и операции над ними. Декартово произведение множеств. Понятие и свойства алгоритма. Аксиоматический метод. Понятие о комбинаторной задаче. Математические утверждения и их структура. Основы математической логики. Соответствия и отношения.
курс лекций, добавлен 25.09.2017Доказывание тождеств в теории множеств. Рассмотрение основных положений комбинаторики. Определение Эйлеровой цепи в неориентированном графе. Решение задач по алгебре логики. Изучение возможностей решения системы уравнений с использованием метода Гаусса.
контрольная работа, добавлен 20.01.2022- 64. Алгебра логики
Логика – наука о формах и законах человеческой мысли, о законах доказательных рассуждений, изучающая методы доказательств и опровержений. Джордж Буль - создатель алгебры логики. Основные логические связки. Таблица истинности. Выполнимость формул.
презентация, добавлен 05.03.2012 Обычные логические операции. Отрицание квантора общности и квантора существования. Свободная, кванторная и связанная переменные, двойственные кванторы. Формулы логики предикатов, равносильность формул. Выражение суждения в виде формулы логики предикатов.
презентация, добавлен 17.04.2013- 66. Теория множеств
Применение теории множеств в различных разделах математики. Кардинальные числа и появление теории меры. Сравнительная количественная оценка множеств. Определение понятий длины, площади и объема в геометрии фигур. Развитие теории интеграла и рядов Фурье.
контрольная работа, добавлен 17.06.2014 Многообразие парадоксов и их причины (парадоксы Греллинга и Бери). Парадоксы как петли (литографии К. Эшера). Абстракции и иерархические языки. Парадоксы, связанные с теорией множеств, открытия Кантора и парадокс Рассела, кризис основ математики.
реферат, добавлен 29.03.2009Множество как основное понятие математики: пересечение, разность, разбиение и произведение. Простые и составные высказывания. Структура и виды теоремы. Сложение и вычитание, умножение и деление в количественной теории целых неотрицательных чисел.
шпаргалка, добавлен 19.01.2011Рассмотрение классической логики Аристотеля. Исследование классификации силлогизмов в математике. Пропозициональный вариант логики Аристотеля. Истинностные значения величины в логическом интервале. Нечеткие пропозициональные силлогизмы с паттерном.
статья, добавлен 18.01.2018Рассмотрение становления математики как науки. Описание периодов элементарной математики и математики переменных величин. Создание аналитической геометрии, дифференциального и интегрального исчисления. Развитие математики в России в XVIII-XIX столетиях.
реферат, добавлен 26.12.2014Древнейшие древнеегипетские математические тексты. Вавилонская расчётная техника. Развитие математики в древнем Китае и Греции. Развитие основных областей математики в XVI-XIX в. Подсчёт определителя по Крамеру. Нормальное и биномиальное распределения.
реферат, добавлен 20.01.2012Функции алгебры логики одной переменной. Пример равносильных вариантов аналитической записи функции f1(x). Пример технической реализации функции f6(x) на контактах электромагнитных реле. Построение дискретного устройства. Релейно-контактная схема.
лекция, добавлен 15.11.2017Аксиоматический метод построения научной теории. Выделение понятий, формулирование аксиомы. Выведение теоремы и других понятий логическим путём. Пять "общих понятий" Евклида, причины его критики. Модель планиметрии Лобачевского на евклидовой плоскости.
реферат, добавлен 08.10.2011Многообразие парадоксов и их основные причины: парадокс Греллинга, Бери и пр. Парадоксы как петли (парадокс Рассела (о парикмахере), Маннури (о мэре) и пр.). Абстракции и иерархические языки, парадоксы с множествами. Парадоксы и развитие математики.
контрольная работа, добавлен 12.12.2016Порядковая логика – математический аппарат, широко применяемый при решении многих задач обработки, преобразования непрерывной информации. Рекуррентные соотношения для математической модели систолического алгоритма реализации функций порядковой логики.
статья, добавлен 22.08.2020