О предикативности лямбда-исчисления
Рассмотрение теоремы Нагорного об удвоении слов в алфавите. Неформализуемость в лямбда-исчислении непредикативных конструкций. Изучение сущности теории множеств с самопринадлежностью. Математическое описание иерархии логических структур одного уровня.
Подобные документы
- 76. Линейная алгебра
Применение матричного исчисления к решению систем линейных уравнений. Аналитическая геометрия и векторная алгебра. Математический анализ, предел функции и свойства производных. Основные теоремы дифференциального исчисления. Схема исследования функций.
курс лекций, добавлен 22.01.2013 Сущность и математическое обоснование, обозначения и классификация матриц, их разновидности и правила умножения. Характеристика и главные признаки обратимых матриц. Описание простейших свойств определителей. Содержание и использование теоремы Лагранжа.
курсовая работа, добавлен 11.01.2015Системы дифференциальных уравнений. Непрерывно дифференцируемые или абсолютно непрерывные функции. Математическое описание управляемой системы с обратной связью. Теоремы существования решений для дифференциальных включений в конечномерном пространстве.
контрольная работа, добавлен 03.02.2011Сущность перспективности математических моделей, учитывающих стохастическую неопределенность и нечеткость. Описание вероятностных множеств в смысле Hirota. Моделирование операций над нечеткими вероятностными множествами. Треугольные нормы и конормы.
статья, добавлен 29.10.2013- 80. Пьер Ферма
Биография французского математика, одного из создателей аналитической геометрии и теории чисел, Пьера Ферма. Математика как увлечение. Две знаменитые теоремы из области теории чисел: малая теорема Ферма и "великая" теорема Ферма, их суть и доказательство.
доклад, добавлен 07.05.2015 - 81. Нечеткая логика
Форма классической логики и теории множеств, базирующиеся на понятии нечёткого множества. Применение нечетких множеств в экономическом, финансовом анализе и в современных технологиях управления. Алгоритм по формализации задачи в терминах нечеткой логики.
презентация, добавлен 29.06.2022 - 82. Теория Фалеса
Применение теоремы Фалеса для деления отрезка на n равных частей. Интерпретация теоремы о пропорциональных отрезках. Обоснование и доказательство правдивости теоремы Фалеса в планиметрии. Использование теоремы Фалеса в решении геометрических задач.
презентация, добавлен 01.02.2016 Образование множеств и выполнение элементарных операций. Образование подстановки её степеней. Последовательные степени до получения тождественной подстановки. Малая конечная арифметика. Работа по правилу неповторяемости элементов в строках и столбцах.
контрольная работа, добавлен 29.03.2017Характеристика диаграммы Эйлера-Венна для пересечения двух множеств. Различие между арифметическим сложением и объединением. Методика определения локального коэффициента эмерджентности Хартли. Проблема оценки абсолютной величины системного эффекта.
статья, добавлен 27.04.2017Основные идеи системной нечеткой интервальной математики. Доказательство теорем, показывающих, что нечеткие множества и результаты операций над ними можно рассматривать как проекции случайных множеств и результатов соответствующих операций над ними.
статья, добавлен 12.05.2017Элементы, из которых состоит множество. Примеры обозначений с помощью логической символики. Квантор всеобщности и существования. Свойства множеств. Операции логического сложения, умножения, разности. Окрестности точки х как особый вид множества.
лекция, добавлен 29.09.2013Рассмотрение Теоремы Фейербаха и теоремы Эйлера об окружности девяти точек. Ознакомление с историей ее доказательства и названия. Построение прямой Эйлера и описанной окружности. Изучение свойств окружности Эйлера, нахождение ее центра и радиуса.
презентация, добавлен 08.09.2014- 88. Теорема Джексона
Описание процесса передачи информации с помощью математических моделей в рамках теории массового обслуживания. Рассмотрение однородных открытых сетей массового обслуживания. Содержание и доказывание теоремы Джексона для сетей массового обслуживания.
реферат, добавлен 03.05.2021 Различные числовые ряды в математике. Рассмотрение убывающей геометрической прогрессии. Числовые интервалы в функциональных рядах. Математическое доказательство теоремы Абеля. Область сходимости степенного ряда. Интервал с центром в начале координат.
лекция, добавлен 05.05.2015Узкая и широкая формулировка теоремы Ферма. Опровержение гипотезы Эйлера и открытой гипотезы Ландера-Паркина-Селфриджа. Проблема доказательства теоремы Ферма. Теорема Ферма в культуре и искусстве. Рассмотрение проектов доказательств теоремы Ферма.
реферат, добавлен 12.01.2020Элементы теории графов и комбинаторики. Использование в доказательстве теоремы Кэли. Разбиение и композиции натуральных чисел. Изучение работ венгерского математика Кенинга в 30-е годы XX столетия по математической дисциплине теории графов и элементов.
курсовая работа, добавлен 23.12.2020Рассмотрение логических или нечисловых задач, которые составляют обширный класс нестандартных задач. Анализ разных способов решения логических задач. Особенности методов рассуждений, таблиц, графов, блок-схем, бильярда, метода с помощью кругов Эйлера.
статья, добавлен 25.02.2019Понятие алгебры событий. Рассмотрение стохастического эксперимента определения вероятности. Свойства суммы и произведения событий. Методы расчета совместного появления двух величин. Основные формулы для исчисления функции Лапласа и теоремы Байеса.
методичка, добавлен 07.10.2015Краткая биография древнегреческого философа и ученого Пифагора Самосского, его роль в развитии математики. Моральный кодекс пифагорейцев. История создания теоремы Пифагора, различные формулировки и способы доказательства. Задачи на применение теоремы.
реферат, добавлен 18.04.2015Математические законы теории вероятностей. Рассмотрение статистических закономерностей, свойственных массовым явлениям. Сходимость последовательностей случайных величин. Изучение закона больших чисел. Возможности предсказаний массовых случайных явлений.
лекция, добавлен 18.03.2014Теорема сложения вероятностей совместных событий, формула полной вероятности. Вероятность появления хотя бы одного события. Локальная и интегральная теоремы Лапласа, формула Бернулли. Условные вероятности, аксиомы теории вероятностей и формула Бейеса.
курсовая работа, добавлен 11.06.2020Разработана математическая модель здания на основании теории множеств. Определены параметры дефектов для каждого конструктивного элемента и их соответствующие предельно-допустимые значения, проведен анализ технического состояния конструктивного элемента.
статья, добавлен 20.11.2020Математический поиск вероятности события. Расчет двухмерных случайных величин. Теоремы сложения и умножения вероятностей. Закон распределения функции случайного аргумента. Изучение формулы полной вероятности. Математическое ожидание произведения величин.
контрольная работа, добавлен 29.11.2015Аксиомы теории Цернело-Френкеля по устранению. Аксиома выбора как один из важнейших теоретико-множественных принципов, альтернативные формулировки аксиомы и её применение. Принцип вполне упорядочивания и лемма Цорна для частично упорядоченных множеств.
реферат, добавлен 11.10.2014Отличительные черты скалярных и векторных физических величин. Градиент скалярного поля, дивергенция векторного поля и теорема Остроградского-Гаусса. Описание ротора векторного поля и теоремы Стокса. Задачи на использование метода оператора набла.
реферат, добавлен 21.06.2016