Результаты поиска
Перейти к навигации
Перейти к поиску
Совпадения в названиях страниц
- ...понятиями о [[Гомотопический тип|гомотопическом типе]] пространства, {{нп5|Теория высших категорий|высших категориях||Higher category theory}} и типах в [[Ма ...ания математики''' — программа построения средствами гомотопической теории типов универсального формального языка, являющегося [[Конструктивная математика|к ...35 КБ (1031 слово) - 05:41, 6 августа 2023
- ..., формирующим род [[Параметрический полиморфизм|мономорфных]] [[тип данных|типов данных]]. ...подтипов) отличается от принадлежности типов роду — деление разнообразных типов на рода происходит на более абстрактном уровне. Например, типы «''натуральн ...11 КБ (278 слов) - 19:11, 27 июня 2022
Совпадения в текстах страниц
- В [[теория множеств|теории множеств]], разделе [[математика|математики]], '''урэлемент == Теория == ...3 КБ (27 слов) - 19:40, 29 июня 2023
- ...'пустой тип'') — объект, использующийся в некоторых [[теория типов|теориях типов]] и [[язык программирования|языках программирования]], соответствующий типу ...ающих [[Подтип (теория типов)|подтипы]], низший тип является подтипом всех типов<ref name="bounded">{{cite journal|citeseerx=10.1.1.17.9230|author=Пирс Бенд ...7 КБ (504 слова) - 23:27, 6 июля 2024
- ...й]]{{sfn|Теория доказательств|с=29|1978}}. Играет фундаментальную роль в [[теория доказательств|теории доказательств]] и важную методологическую роль в [[мат ...их порядков ([[Драгалин, Альберт Григорьевич|Драгалин]]) и развитых теорий типов ({{iw|Жирар, Жан-Ив|Жирар|en|Jean-Yves Girard}} для [[Система F|системы F]] ...5 КБ (72 слова) - 18:41, 20 января 2019
- ...свёртывания''' ({{lang-en|comprehension scheme}}) — схема аксиом [[Наивная теория множеств|наивной теории множеств]]; неформально говорит о том, что для кажд ...роения множеств в теориях множеств [[Теория множеств Цермело|Цермело]] и [[Теория множеств Цермело — Френкеля|Цермело — Френкеля]]. Полную схему свёртывания ...8 КБ (146 слов) - 09:18, 29 марта 2024
- ...ой функции]] на [[Теория типов#Многомерные теории типов|многомерную теорию типов]]. Примитивно рекурсивные функционалы играют важную роль в [[Теория доказательств|теории доказательств]] и [[Конструктивная математика|конструк ...7 КБ (339 слов) - 17:12, 14 февраля 2025
- ..., формирующим род [[Параметрический полиморфизм|мономорфных]] [[тип данных|типов данных]]. ...подтипов) отличается от принадлежности типов роду — деление разнообразных типов на рода происходит на более абстрактном уровне. Например, типы «''натуральн ...11 КБ (278 слов) - 19:11, 27 июня 2022
- ...ют ключевую роль в [[Интуиционистская теория типов|интуиционистской теории типов]] и построении [[Функциональное программирование|функциональных языков прог ...роизвольных программ. Таким образом, [[Система типов#Проверка согласования типов|проверка типа]] становится [[Алгоритмически неразрешимая задача|неразрешимо ...9 КБ (214 слов) - 10:24, 11 декабря 2021
- ...архию вер можно задать напрямую, либо с помощью дополнительной структуры — типов игроков. Веры о поведении оппонентов представляют собой первый уровень иера Подход на основе типов предложен [[Харсаньи, Джон|Джоном Харсаньи]], который использовал его для м ...4 КБ (123 слова) - 13:39, 8 мая 2021
- Известны несколько связанных типов определений: [[Категория:Алгебраическая теория графов]] ...1 КБ (78 слов) - 05:30, 16 января 2019
- == Система типов == ...нтаксической]] единице приписывается категориальное значение, или [[Теория типов|тип]]<ref name="Тестелец">{{Cite web |url=http://testelets.narod.ru/cover.h ...7 КБ (284 слова) - 16:54, 2 февраля 2025
- [[Теория множеств]], по определению, считает два объекта (то есть, два ''[[множество В теориях с [[теория типов|типизацией]] объектов отношение равенства имеет смысл лишь ...10 КБ (524 слова) - 03:33, 27 февраля 2025
- ...ние конструкций''' ({{lang-en|calculus of constructions, CoC}}) — [[теория типов]] на основе [[Полиморфизм (программирование)|полиморфного]] [[λ-исчисление| ....html |date=20200610014635 }}.</ref> (использует [[Интуиционистская теория типов#Индуктивные типы|индуктивные типы]]), исчисление коиндуктивных конструкций ...10 КБ (516 слов) - 05:26, 1 июля 2022
- ...да-куба можно получить, рассматривая [[Чистая система типов|чистую систему типов]]. ...st:\Box</math>. Типы сорта <math>\Box</math> иногда называют [[Род (теория типов)|родами]]. ...8 КБ (291 слово) - 14:15, 5 октября 2020
- ...пизированном лямбда-исчислении]], функциональный тип зависит ровно от двух типов: [[Область определения функции|области определения]] <math>A</math> и [[Обл ...тный случай [[Зависимый тип#Формальное определение|зависимого произведения типов]]. Среди прочих свойств, такое представление несёт в себе идею [[Параметрич ...11 КБ (474 слова) - 07:33, 25 апреля 2021
- ...сех множеств, изоморфных данному. Однако такое определение недопустимо в [[Теория множеств Цермело — Френкеля|'''ZF''']], поскольку такая совокупность множес ...таким образом, является натуральным числом. Поэтому класс всех порядковых типов образует расширение натуральных чисел.{{sfn|Колмогоров|1976|с=33-34}} ...12 КБ (375 слов) - 04:00, 10 июля 2024
- ...а)|матричное]] [[уравнение]], использующееся при решении некоторых задач [[Теория управления|теории управления]], в частности при построении [[Линейно-квадра Названия обоих типов обусловлены их применением при исследовании соответственно непрерывных и ди ...3 КБ (98 слов) - 11:16, 7 октября 2022
- ...ции и очертить границы применимости концепций. Вместе с тем эпистемическая теория игр не является единственным и исчерпывающим подходом к обоснованию концепц ...]], которая наделяет каждого из участников множеством возможных состояний (типов). Тип игрока определяется в соответствии с общеизвестным распределением, од ...8 КБ (272 слова) - 13:38, 8 мая 2021
- ...т до [[Хрущёвская оттепель|хрущёвской оттепели]] в связи с опасениями, что теория может служить общей моделью неких [[Цепная ядерная реакция|ядерных цепных р ...ю систему'', состоящую из конечного числа ''частиц'' одного или нескольких типов, в которой каждая частица может, независимо от других, превратиться в одну ...7 КБ (57 слов) - 22:22, 29 января 2025
- В [[Теория чисел|теории чисел]] '''псевдопростым числом Фробениуса''' называется [[псе ...ениуса определяются по отношению к заданному [[многочлен]]у. Для отдельных типов многочленов псевдопростые Фробениуса связаны с другими типами псевдопростых ...3 КБ (94 слова) - 22:38, 24 июля 2022
- ...ь кристаллическую решётку и решётку Браве. Термин теории групп «[[Решётка (теория групп)|решётки]] в евклидовом пространстве» соответствует именно решёткам Б == Построение типов решётки Браве == ...9 КБ (261 слово) - 09:01, 7 сентября 2021