Насквозь дырявый континуум: от языка абстракций к языку образов и обратно
Сущность Континуум-Гипотезы Кантора как основы мета-математики ("теории доказательства") и математической логики. Конитивная семантическая визуализация проблемы континуума, его трансляционная фрактальность. Когнитивная визуализация монадологии Лейбница.
Подобные документы
А.Н. Колмогоров как один из создателей теории случайных процессов. История появления концепции случайности как алгоритмической сложности. Марковские цепи, их открытие и главные особенности применения. Вклад Готфрида Лейбница в развитие математики.
доклад, добавлен 10.01.2012Основные понятия и обозначения, связанные с множествами и операциями над ними. Формула мощности объединения нескольких множеств. Теорема Кантора-Бернштейна и ее доказательства равномощности. Бинарное отношение эквивалентности и порядка. Теорема Цермело.
курс лекций, добавлен 28.12.2013Предмет математической логики. Недостатки формальной логики. Сущность понятия "высказывание". Сущность отрицания, конъюнкции. Алгебра логических значений. Главные особенности импликации. Эквивалентность как вид выражения операции. Блок управления памятью.
реферат, добавлен 21.10.2012Логика как самостоятельная наука. Идея построения логики на математической основе. Основные объекты математической логики, высказывания, логическая процедура и правильность. Отделение правильных схем рассуждения от неправильных и систематизация первых.
презентация, добавлен 17.04.2013Суть метода математической индукции в решении задач на делимость, суммирование рядов, доказательства неравенств, исчислениям в геометрии, в теории чисел и алгебре. Теоремы разбиения треугольников и карта пересечения контуров окружностей на плоскости.
реферат, добавлен 06.04.2009- 31. Алгебра логики
Возникновение логики. Элементы математической логики. Операции над логическими функциями. Булевы функции. Преобразование выражений булевых функций. Нахождение исходного выражения по его значениям. Применение в вычислительной технике и информатике.
реферат, добавлен 14.07.2008 Греки классического периода - родоначальники математики. Особенности греческой системы исчисления. Величайшие древнегреческие математики. Развитие математики в эпоху Средневековья и Возрождения. История становления современной математической науки.
реферат, добавлен 15.10.2011Алгебра Лейбница как векторное пространство с билинейным произведением, в котором выполняется известное тождество. Пример нинельпотентного многообразия алгебр Лейбница с условием энгелевости порядка р. Его использование для поля нулевой характеристики.
статья, добавлен 31.05.2013Понятие и сущность логики. Становления структурной лингвистики, её взаимодействие с математикой. Логические операции над высказываниями: отрицание, конъюнкция, дизъюнкция, импликация. Создание обучающего ресурса, проведение педагогического эксперимента.
дипломная работа, добавлен 20.12.2013Характеристика доказательства по заданному модусу путем построения диаграмм Эйлера. Изучение методов математической логики для формализации высказывания. Доказательство общезначимости формулы, используя законы алгебры, равносильные преобразования.
контрольная работа, добавлен 05.09.2016Основы теории множеств. Логические операции над высказываниями. Равносильные преобразования формул. Способы задания булевой функции. Метод карт Карно. Двоичное сложение и полином Жегалкина. Кванторные операции над одноместными и двуместными предикатами.
методичка, добавлен 24.09.2019Определение отсутствия в теории множеств с самопринадлежностью парадокса Мириманова, парадокса Кантора, парадокса Бурали–Форти. Обоснование утверждения о том, что объединение порядковых чисел является порядковым числом - основы парадокса Бурали–Форти.
статья, добавлен 26.04.2019Исследование математической статистике, теории математической вероятности и проводимых физических опытов по динамике движущихся тел. Объяснение действия закона падающего бутерброда. Опровержение гипотезы о том, что бутерброд всегда падает маслом вниз.
статья, добавлен 25.02.2019- 39. Булева алгебра
Предмет математической логики. Калькуляция высказываний высказывание. Сущность эквивалентности конъюнкции. Алгебра логических значений. Выражение логической операции с помощью отрицания и импликации. Применение булевой алгебры в математической логике.
реферат, добавлен 18.09.2012 Изучение построения фундамента для математики в XX в. Понятие истинности в математике, абсолютизация человеческих представлений о реальном мире. Формализация математической логики. Эквивалентность интуитивных и формальных доказательств в тезисе Гильберта.
реферат, добавлен 28.10.2018Описание истории создания фундаментальной математической теории − теории групп – французским математиком Э. Галуа. Исследование проблемы разрешимости алгебраических уравнений, вопрос о существовании их решений в радикалах. Сущность теории групп Галу
статья, добавлен 26.04.2019Рассмотрение биографии великих ученых и их основных заслуг в области математики. Характеристика достижений и научных открытий Евклида, Пифагора, И. Ньютона, Б. Паскаля, Г. Лейбница, Р. Декарда, Л. Эйлера, Б. Римана, К. Гаусса, А. Тьюринга и Э. Уайлса.
презентация, добавлен 04.05.2017Теорема Пифагора - жемчужина античной математики. Не алгебраические и алгебраические доказательства теоремы. Математические трактаты Древнего Китая. Сравнение доказательства Евклида с древнекитайскими или древнеиндийскими. Головоломка "Пифагор".
реферат, добавлен 07.06.2009Применение правила Лопиталя к неопределенностям. Составление уравнения касательных к гиперболе. Исследование функции, нахождение экстремумов и построение ее графиков. Вычисление интеграла заменой переменных и с использованием формулы Ньютона-Лейбница.
контрольная работа, добавлен 17.02.2011Софизм - рассуждение, кажущееся правильным, но содержащее скрытую логическую ошибку и служащее для придания видимости истинности ложному заключению. Парадоксы на примере математической науки. Преднамеренное, сознательное нарушение правил логики.
презентация, добавлен 17.02.2015Изучение одного из возможных подходов к системному обобщению математического понятия множества, а именно подхода, основанного на системной теории информации. Использование теории как основы для обобщения и создания "математической теории систем".
статья, добавлен 26.04.2017Множество как одно из ключевых понятий математики, в частности, теории множеств и логики. Операции разности и дополнения и их антидистрибутивность относительно операций объединения и пересечения. Множества высших мощностей. Свойства операции объединения.
реферат, добавлен 20.09.2015Формирование, развитие и взаимовлияние математики и философии Древней Греции. Милетская математическая школа, заложившая основы математики как доказательной науки. Роль математики в формировании элейской философии. Система философии математики Аристотеля.
реферат, добавлен 30.10.2010Математическая индукция как способ математического доказательства, роль индуктивных выводов в экспериментальных науках. Интерпретация данных в зависимости от выбранной аксиоматики. Полная и неполная индукция, их применение для доказательства теорем.
реферат, добавлен 02.03.2013Научные интересы Д.Д. Мордухай-Болтовского. Исследования в области геометрических построений в пространстве Лобачевского. Работы в области математической биологии. Проблемы методики обучения математике. Исследования по истории методики математики.
лекция, добавлен 30.07.2015