Насквозь дырявый континуум: от языка абстракций к языку образов и обратно
Сущность Континуум-Гипотезы Кантора как основы мета-математики ("теории доказательства") и математической логики. Конитивная семантическая визуализация проблемы континуума, его трансляционная фрактальность. Когнитивная визуализация монадологии Лейбница.
Подобные документы
Сравнение числа Пи с другими математическими величинами и их визуализация. Изучение методов использования компьютерных систем для интерпретации математических величин. Анализ возможности использования среды КСС "Demomod" при визуализации моделей числа.
статья, добавлен 22.01.2017Элементы дискретной математики. Сущность математической логики. Операции над множествами. Правила, формулы дифференцирования. Неопределенный интеграл, методы интегрирования. Основы теории вероятностей и математической статистики. Понятие и предел функции.
учебное пособие, добавлен 03.07.2013Знакомство с особенностями традиционного доказательства теоремы Кантора. Характеристика логической схемы канторовского RAA-доказательства. Рассмотрение примеров применения КП-метода в классической математике. Сущность понятия "математическая интуиция".
статья, добавлен 27.02.2019Рассмотрение различных способов доказательства теоремы Пифагора. Характеристика математической книги Чу-пей, ее распространение в Китае. Работы Кантора - крупнейшего немецкого историка математики. Особенности геометрии у индусов, ее связь с культом.
реферат, добавлен 17.05.2016Анализ проблемы парадоксов логики и математики, основанной на "физическом" моделировании парадокса "Лжец" на аналоговой вычислительной машине. Изучение понятия актуальной бесконечности и некоторых аспектов применения диагонального метода Кантора.
статья, добавлен 16.01.2018Раздел математической логики, в котором изучаются логические операции над высказываниями. Аксиома - исходное положение теории, принимаемое в рамках данной теории истинным без требования доказательства. Логические операции и математические выражения.
презентация, добавлен 12.03.2015Теоретические и психолого-педагогические основы изучения элементов математической логики в начальной школе. Высказывания и операции над ними. Числовые равенства, уравнения и неравенства, правильные и неправильные рассуждения, высказывания с кванторами.
курсовая работа, добавлен 06.11.2010Сущность программы логицизма - определение основных, исходных понятий чистой математики в терминах логики, а её фундаментальные законы доказать как теоремы логики. Перевод на язык логики основных понятий арифметики. Первый известный логицист Г. Фреге.
статья, добавлен 02.10.2018Математическое моделирование структуры и механизма передачи сигналов раннего предупреждения по уровням управления. Особенности процесса доведения информации до адресата на предкризисной стадии. Методологические основы визуализации движения сигналов.
статья, добавлен 05.01.2014Логика как самостоятельная наука. История становления классической математической логики. Виды и направления в развитии неклассической логики. Учение о силлогизме. Становление неформальной логики. Основные разделы современной математической логики.
контрольная работа, добавлен 17.06.2013Теорема Пифагора. Основы античной математики, элементарной геометрии, теории чисел, общей теории отношений и метода определения площадей и объёмов в главном труде Евклида "Начала". Постулаты Евклида, теорема Виета. Арифмометр Лейбница, формула Эйлера.
презентация, добавлен 09.05.2021Анализ понятия символической логики (математической, теоретической): происхождение, развитие и свойства. Буквенные обозначения для переменных, а также идея построения универсального языка для всей математики. Основы современной логической символики.
доклад, добавлен 27.12.2010Анализ пространства как трехмерного континуума. Возможность четырехмерной трактовки "мира". Оценка пространства Минковского как четырёхмерного псевдоевклидового пространства сигнатуры, предложенного в геометрической интерпретации пространства-времени.
реферат, добавлен 15.05.2016- 14. Булева алгебра
Понятие и предмет математической логики. Задача математизации формальной логики Лейбница. Получение правильного вывода в логической схеме. Калькуляция высказываний и предикатов при которых с заменой переменных на высказывания, получаются верные выводы.
реферат, добавлен 03.12.2014 История возникновения математической логики. Основное содержание, формулы, элементы, символы. Таблицы истинности, логические функции, основные логические операции. Законы логики и упрощение логических выражений. Решения задач по математической логике.
реферат, добавлен 06.06.2012Множества и операции над ними. Декартово произведение множеств. Понятие и свойства алгоритма. Аксиоматический метод. Понятие о комбинаторной задаче. Математические утверждения и их структура. Основы математической логики. Соответствия и отношения.
курс лекций, добавлен 25.09.2017Понятие, сущность и характеристика математики и философии как науки. Влияние математики на философию, последствия их роль и описание. Соотношение математики и логики, а также полученные результаты. Понятие об иррациональном числе, особенности исчисления.
реферат, добавлен 08.02.2009Обоснование необходимости создания математического аппарата для анализа, обработки и обобщения статистического материала из разных областей. Структуры косвенного доказательства. Схемы доказательства "от противного" на языке математической логики.
статья, добавлен 05.06.2018Формулировка и сущность гипотезы Билля, исследование уравнения как параметрического с параметром A и переменными B и С. Использование метода замены переменных для доказательства данной гипотезы, условия цельности чисел В и С, одинаковой четности А и Х.
контрольная работа, добавлен 06.06.2009Изучение основных понятий логики предикатов. Определение формулы логики предикатов. Кванторы и кванторные операции. Анализ особенностей применения логики предикатов к логико-математической практике. Аристотелева силлогистика и методы рассуждений.
курсовая работа, добавлен 18.05.2017Историческая реконструкция трех кризисов в основаниях математики в рамках философской школы интуиционизма. Фальсификация истории возникновения теории несоизмеримых отрезков, современной теории иррациональных чисел. Решение второй проблемы Д. Гильберта.
статья, добавлен 13.03.2019- 22. Основы логики
Ознакомление с основными понятиями и методами формальной логики и применению их при построении умозаключений. Характеристика основных типичных ошибок в организации мыслительного процесса, в осуществлении системы процедур доказательства и опровержения.
методичка, добавлен 16.05.2017 Анализ роли человека в создании машин, которые умеют решать логические задачи. Характеристика предмета, целей и задач математической логики. Алгебра высказываний как раздел математической логики, в котором изучаются логические операции над высказываниями.
реферат, добавлен 02.11.2015Направления исследований в дискретной математике, направления их реализации и анализ результатов. Виды теорем и способы их доказательства: цепочка заключения, от противного, метод переборов и математической индукции, комбинированное доказательство.
контрольная работа, добавлен 23.02.2013Визуализация метода наименьших квадратов (МНК), его параметризация. Свойства МНК оценок, характеристика гипотезы линейной регрессии. Доверительные интервалы для коэффициентов регрессии. Правила принятия гипотез, аномальные значения (выбросы) и пр.
презентация, добавлен 23.04.2015