Вопросы с тегом «order-theory»

Для чего используются решетки?

Википедия говорит : Полные решетки появляются во многих приложениях в математике и информатике Это просто ссылка на тот факт, что стандартная булева алгебра, используемая в вычислениях, является полной решеткой? Есть ли что-то, что мы приобретаем, работая на абстрактном уровне решеток, а не...

Предлагая уточнения типов

На работе мне было поручено вывести некоторую информацию о типах динамического языка. Я переписываю последовательности операторов во вложенные letвыражения, например так: return x; Z => x var x; Z => let x = undefined in Z x = y; Z => let x = y in Z if x then T else F; Z => if x then {...