О предикативности лямбда-исчисления
Рассмотрение теоремы Нагорного об удвоении слов в алфавите. Неформализуемость в лямбда-исчислении непредикативных конструкций. Изучение сущности теории множеств с самопринадлежностью. Математическое описание иерархии логических структур одного уровня.
Подобные документы
- 101. Теория множеств
Определение понятия множеств Г. Кантора, их примеры и обозначения. Операции над множествами: пересечение, объединение, разность и дополнение, их наглядное представление на диаграмме Эйлера-Венна. Равенство, тождественность и эквивалентность множеств.
презентация, добавлен 10.05.2016 - 102. Разность множеств
Теоретические аспекты понятия разности двух множеств как теоретико-множественной операции в математике, особенности пустого множества. Основные свойства разности множеств и сущность законов де Моргана. Реализация операции с помощью компьютерных программ.
реферат, добавлен 18.02.2012 Изучение одного из возможных подходов к системному обобщению математического понятия множества, а именно подхода, основанного на системной теории информации. Использование теории как основы для обобщения и создания "математической теории систем".
статья, добавлен 26.04.2017- 104. Выпуклые функции
Выпуклый анализ - самостоятельный раздел математики, связанный с классическим анализом и геометрией. Решение экстремальных задач в современной математической экономике. Простейшие и дифференциальные свойства выпуклых множеств. Доказательство теоремы.
методичка, добавлен 08.09.2015 - 105. Рекурсивные функции
Сущность и значение кодирования программ. Характеристика и отличительные черты теоремы о параметризации, описание и специфика универсальных функций. Применение теоремы Клини о нормальной форме. Синтаксис и семантика, теорема Райса и математическая логика.
контрольная работа, добавлен 30.12.2015 Изучение понятия "математическое выражение". Описание порядка выполнения действий в сложных выражениях. Методика ознакомления с буквенной символикой в алгебре. Основные свойства числового равенства. Рассмотрение неравенства с переменной, уравнения.
курс лекций, добавлен 06.06.2015Рассмотрение центральной предельной теоремы. Характеристика неравенства Чебышева, изучение его доказательства. Определение особенностей закона больших чисел в форме Чебышева. Выявление значения теоремы Бернулли, Пуассона. Формулировка неравенства Маркова.
реферат, добавлен 12.11.2015Основные понятия теории множеств и теории графов. Графические диаграммы Венна. Матрица инцидентности ориентированного и неориентированного графа. Анализ матрицы смежности графа. Особенности частей, сурграфов и подграфов, маршрутов, цепей и циклов.
методичка, добавлен 15.10.2016Описание доказательства теоремы Хоукинга, согласно которой в прямоугольном треугольнике квадрат гипотенузы равен сумме квадратов катетов. Особенности этапов решения данной теоремы путем разложения прямоугольного треугольника на два равнобедренных.
задача, добавлен 23.02.2011Способы задания множеств и бинарных отношений. Основные логические операции. Представление булевых функций. Понятия логики предикатов. Описание теории графов, конечных автоматов, языков и элементов кодирования. Расчет максимального потока в сетях.
учебное пособие, добавлен 13.01.2015Обращение к известным доказательствам Теоремы Карно при решении ряда задач. Обобщение доказательств Теоремы Карно разными способами. Изменение теоремы при замене остроугольного треугольника на тупоугольный. Следствия, вытекающие из Теоремы Карно.
статья, добавлен 19.01.2021Знакомство с системами, выполняющими преобразование аналогового видеосигнала в цифровую форму. Этапы разработки математической модели видеопоследовательностей, на базе матричного описания пространственно-временных структур автокорреляционных функций.
контрольная работа, добавлен 31.07.2013Основные понятия, теоремы и методы теории вероятностей и математической статистики. Общее описание случайных процессов. Исследование типовых примеров и упражнений. Сущность и элементы корреляционного анализа. Этапы проверки статистических гипотез.
учебное пособие, добавлен 22.06.2014Проблемы использования классических методов объемных морфологических реконструкций, основанных на анализе серийных срезов. Математическое моделирование определения глубины залегания оптически контрастных структур внутри микроскопического препарата.
статья, добавлен 27.02.2019Сравнения в кольце целых чисел. Основные теоремы о сравнениях. Сравнения первой степени с одной переменной. Теоремы о неразрешимости и разрешимости сравнений. Сравнения по простому модулю с одним и с несколькими неизвестным. Системы сравнений, их виды.
курсовая работа, добавлен 09.06.2016- 116. Теорема Пифагора
Ознакомление с первоначальной и современной формулировами теоремы Пифагоа. Представление наиболее простого, алгебраического, геометрического и Евклидового методов доказательств теоремы. Определение значения данной теоремы в математических науках.
презентация, добавлен 15.03.2011 Решение проблемы о структуре окрестности притягивающих, слабо притягивающих и неасимптотически устойчивых инвариантных множеств. Классификация компактных и замкнутых инвариантных множеств. Метод знакопостоянных функций Ляпунова для динамических систем.
автореферат, добавлен 19.08.2018Рассмотрение примера графа для пояснения логики поиска всех максимальных независимых множеств. Метод генерации всех максимальных независимых множеств графа. Иллюстрация задачи о наименьшем покрытии. Поиск оптимального паросочетания в двудольном графе.
презентация, добавлен 09.09.2017Ознакомление с историей доказательства теоремы Ферма. Исследование и анализ особенностей равенства для трёх действительных целых положительных чисел. Рассмотрение и характеристика преобразования уравнения, позволяющего получить квадратное уравнение.
статья, добавлен 01.10.2015Эволюция и применение математики в современной науке и технике. Математические начала натуральной философии. Значение трудов Декарта, Ньютона и Галилея. Открытие математических, логических и физических закономерностей. Математика и теория множеств.
контрольная работа, добавлен 23.03.2010Решение квадратных уравнений с параметром. Краткие сведения о жизни и деятельности Франсуа Виета. Разработка им тригонометрии и приложение ее к решению алгебраических уравнений. Введение буквенного исчисления, изучение не чисел, а действий над ними.
практическая работа, добавлен 05.12.2010Сущность и схема метода Монте-Карло, оценка его погрешности и практическое использование для решения задач, связанных с системами массового обслуживания. Предельные теоремы теории вероятностей, применение способа усреднения подынтегральной функции.
контрольная работа, добавлен 10.01.2012Простейшая задача вариационного исчисления. Основные методы выведения уравнения Эйлера-Бернулли. Необходимые условия второго порядка для статистических задач в вариационном исчислении Лежандра. Условия Вейерштрасса для точки излома допустимой траектории.
презентация, добавлен 21.08.2015Первое упоминание о пифагоровом треугольнике в математической книге Чу-пей. Изучение теоремы в Вавилоне и Индии. Сочинение геометрически теологического характера - Сульвасутра. Теорема о площади квадрата, построенного на гипотенузе треугольника.
презентация, добавлен 23.12.2015Выявление нелинейности преобразований Лоренца для времени, изучение следствий этого факта. Тензорное исчисление в теории относительности. Некорректность определения скаляра в тензорном исчислении. Четырехвектор пространства-времени физической реальности.
статья, добавлен 23.10.2017