Кроме того, в логике есть XOR, а в материальных множествах — symmetric difference. Теоркат хуже, что ли?
Существует ли мера (в смысле теории меры), которая позволяет различать множества разного объëма, которая бы работала как на конечных множествах, так на бесконечных счëтных?
Никто не знает, сколько классов изоморфности моделей есть у первопорядковой арифметики Пеано?
И вот так сначала опишем, что такое категория. А потом — что такое категория Set. Тогда топосы аннигилируют в множества?
А что значит Doesn't require a runtime?
Из иностранного есть https://www.hup.harvard.edu/catalog.php?isbn=9780674724549
У меня тут возник банальный вопрос. Есть некоторая программа. Она компилируется AOT. А затем бинарник дооптимизирует сам себя при помощи некоторой JIT-подобной технологии, при...
В С/С++ есть способ предспецифицировать неблокирующий алгоритм, синтаксически определив граф логических (т.е. того, как думает программист, как должна выглядеть последовательн...
Здравствуйте. У меня лайв сиди от Касперского. Похоже, там ничего не установлено. sudo, apt и dpkg нет. Насколько я понял, нужно сначала установить apt, чтобы установить su...
Максим говорит о российской / постсоветской (?) школе силлогистики, где силлогистика не является полностью формой логики предикатов. Я думаю, за границей рассматривается как ф...
Не отвечает, так и надо?
В моём случае имеется некоторая математическая модель. Но не известно, работает она или нет. Так как мы очень мало умеем, тестирование может быть либо только ручным, либо осно...
Почему нет? Язык с UB транслируется в язык без UB просто запретом трансляции программ с UB
А суммы-типы важны для компилестроения? Я орехушек
Sorry, I don't really know English, so I'm using a translator, so sorry for the wrong text. Is there bare-metal OTA?
Какая часть компилятора проверяет эти дополнительные условия?
Ещё вот вопрос возник. Где можно почитать про формальные модели современных компьютерных архитектур? Под последним я имею в виду и взаимодействие с RAM, и остальное.
А что это? Я сейчас поискал и не нашёл.
А может, не надо конспирологию устраивать?
В смысле "субъективны"?