Диаграмма Фейнмана
Диаграмма Фейнмана Фейнмановские диаграммы используются для описания взаимодействия фермионного и бозонного полей. Интеграл по траектории определяет амплитуду вероятности перехода между […]
Вики
Вики
Джон К. Баэз
Джон К. Баэз Джон К. Баэз — американский физик-математик и профессор математики в Калифорнийском университете в Риверсайде. Он работал над
Вики
Прикладная теория категорий
Прикладная теория категорий Прикладная теория категорий — академическая дисциплина, использующая методы теории категорий для изучения других областей. Применение теории категорий
Вики
Лямбда-исчисление
Лямбда-исчисление Лямбда-исчисление — формальное исчисление для описания вычислений с использованием лямбда-терминов. Лямбда-термины представляют собой выражения, которые могут быть вычислены с
Вики
Декартова закрытая категория
Декартова замкнутая категория Декартова замкнутая категория — категория с замкнутыми обратными связями и изоморфизмом между произведениями. Функциональный уровень программирования может
Вики
Теория предметной области
Теория предметной области Теория предметных областей изучает свойства и отношения между элементами в математических структурах. Домены являются важными понятиями в
Вики
Интуиционистская логика
Интуитивистская логика Интуиционистская логика основана на принципе исключенного третьего и избегает неконструктивных доказательств. Интуиционистская логика является более консервативной, чем классическая
Вики
Теория типов
Теория типов Теория типов — это система, которая определяет отношения между терминами и типами. Термины могут быть атомарными, функциональными или
Вики
Бессмысленная топология
Бессмысленная топология Бессмысленная топология основана на концепции «реалистичного пятна» вместо точки без протяженности. Топологическое пространство состоит из множества точек и
Вики
Сноп (математика)
Связка (математика) Пучки — это обобщение понятия векторного пространства на топологические пространства. Пучки имеют структуру, аналогичную векторным пространствам, с морфизмами
Вики
Конструктивизм (философия математики)
Конструктивизм (философия математики) Конструктивизм в математике — направление, основанное на конструктивном подходе к анализу и логике. Конструктивисты утверждают, что только
Вики
Теория множеств
Теория множеств Теория множеств — раздел математики, изучающий свойства множеств и их отношения. Основана на работах Г. Кантора, Б. Рассела
Вики
Категориальная абстрактная машина
Категориальная абстрактная машина Категориальная абстрактная машина (CAM) — модель вычислений для программ, сохраняющая возможности прикладного, функционального или композиционного стиля. CAM
Вики
Математическая логика
Математическая логика Логика первого порядка — это формальная система, используемая для изучения математических утверждений. Она включает в себя конечные выражения
Вики
Алгебраическая структура
Алгебраическая структура Алгебраическая структура — это набор элементов и операций, определяющих математическую структуру. Примеры алгебраических структур включают группы, поля и
Вики
Универсальная алгебра
Универсальная алгебра Универсальная алгебра — раздел математики, изучающий алгебраические системы с различными операциями. Универсальная алгебра объединяет различные классы алгебр и
Вики
Схема (математика)
Схема (математическая) Схема — абстрактное пространство, связанное с алгебраической структурой. Схема может быть определена как множество точек с координатным кольцом
Вики
Эмми Нётер
Эмми Нетер Эмми Нетер была выдающимся математиком, внесшим значительный вклад в теорию идеалов и абстрактную алгебру. Она получила докторскую степень
Вики
Станислав Улам
Станислав Улам Улам и Теллер внесли значительный вклад в разработку водородной бомбы. Улам изобрел аналоговый компьютер FERMIAC для моделирования случайной