О предикативности лямбда-исчисления

Рассмотрение теоремы Нагорного об удвоении слов в алфавите. Неформализуемость в лямбда-исчислении непредикативных конструкций. Изучение сущности теории множеств с самопринадлежностью. Математическое описание иерархии логических структур одного уровня.

Подобные документы

  • Применение матричного исчисления к решению систем линейных уравнений. Аналитическая геометрия и векторная алгебра. Математический анализ, предел функции и свойства производных. Основные теоремы дифференциального исчисления. Схема исследования функций.

    курс лекций, добавлен 22.01.2013

  • Сущность и математическое обоснование, обозначения и классификация матриц, их разновидности и правила умножения. Характеристика и главные признаки обратимых матриц. Описание простейших свойств определителей. Содержание и использование теоремы Лагранжа.

    курсовая работа, добавлен 11.01.2015

  • Системы дифференциальных уравнений. Непрерывно дифференцируемые или абсолютно непрерывные функции. Математическое описание управляемой системы с обратной связью. Теоремы существования решений для дифференциальных включений в конечномерном пространстве.

    контрольная работа, добавлен 03.02.2011

  • Сущность перспективности математических моделей, учитывающих стохастическую неопределенность и нечеткость. Описание вероятностных множеств в смысле Hirota. Моделирование операций над нечеткими вероятностными множествами. Треугольные нормы и конормы.

    статья, добавлен 29.10.2013

  • Биография французского математика, одного из создателей аналитической геометрии и теории чисел, Пьера Ферма. Математика как увлечение. Две знаменитые теоремы из области теории чисел: малая теорема Ферма и "великая" теорема Ферма, их суть и доказательство.

    доклад, добавлен 07.05.2015

  • Форма классической логики и теории множеств, базирующиеся на понятии нечёткого множества. Применение нечетких множеств в экономическом, финансовом анализе и в современных технологиях управления. Алгоритм по формализации задачи в терминах нечеткой логики.

    презентация, добавлен 29.06.2022

  • Применение теоремы Фалеса для деления отрезка на n равных частей. Интерпретация теоремы о пропорциональных отрезках. Обоснование и доказательство правдивости теоремы Фалеса в планиметрии. Использование теоремы Фалеса в решении геометрических задач.

    презентация, добавлен 01.02.2016

  • Образование множеств и выполнение элементарных операций. Образование подстановки её степеней. Последовательные степени до получения тождественной подстановки. Малая конечная арифметика. Работа по правилу неповторяемости элементов в строках и столбцах.

    контрольная работа, добавлен 29.03.2017

  • Характеристика диаграммы Эйлера-Венна для пересечения двух множеств. Различие между арифметическим сложением и объединением. Методика определения локального коэффициента эмерджентности Хартли. Проблема оценки абсолютной величины системного эффекта.

    статья, добавлен 27.04.2017

  • Основные идеи системной нечеткой интервальной математики. Доказательство теорем, показывающих, что нечеткие множества и результаты операций над ними можно рассматривать как проекции случайных множеств и результатов соответствующих операций над ними.

    статья, добавлен 12.05.2017

  • Элементы, из которых состоит множество. Примеры обозначений с помощью логической символики. Квантор всеобщности и существования. Свойства множеств. Операции логического сложения, умножения, разности. Окрестности точки х как особый вид множества.

    лекция, добавлен 29.09.2013

  • Рассмотрение Теоремы Фейербаха и теоремы Эйлера об окружности девяти точек. Ознакомление с историей ее доказательства и названия. Построение прямой Эйлера и описанной окружности. Изучение свойств окружности Эйлера, нахождение ее центра и радиуса.

    презентация, добавлен 08.09.2014

  • Описание процесса передачи информации с помощью математических моделей в рамках теории массового обслуживания. Рассмотрение однородных открытых сетей массового обслуживания. Содержание и доказывание теоремы Джексона для сетей массового обслуживания.

    реферат, добавлен 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

Работы в архивах красиво оформлены согласно требованиям ВУЗов и содержат рисунки, диаграммы, формулы и т.д.
PPT, PPTX и PDF-файлы представлены только в архивах.
Рекомендуем скачать работу и оценить ее, кликнув по соответствующей звездочке.