https://arxiv.org/pdf/1508.05117 - страница 8, правый столбец.

"∂+i (resp. ∂-i) is the set of clauses satisfied by setting xi = 1 (resp. xi = −1 ( Read more... )

https://treecalcul.us/ - исчисление деревьев.

Как комбинаторное исчисление, только деревья.

PS
Там правила вычислений позволяют смотреть внутрь вычисляемой структуры, или структуры, что выполняет вычисления, это забавно. Как Лисп, только деревья. ;)

https://www.genengnews.com/topics/translational-medicine/ketone-body-role-in-regulating-misfolded-proteins-may-inform-strategies-targeting-aging-alzheimers- ( Read more... )

https://plato.stanford.edu/entries/logic-intensional/ - здесь про интенсиональную, но есть и сравнение с экстенсиональной ( Read more... )

https://deadreckonings.com/2007/12/07/heavisides-operator-calculus/Read more... )

А как ещё Heaviside перевести на русский?

https://deadreckonings.com/2007/12/07/heavisides-operator-calculus/

Интересное:...mathematicians often discover things by intuition that require a great deal of time and labor to prove. Often mathematics ( Read more... )

Про работы Чёрча: https://plato.stanford.edu/entries/church/#GrelPara

Next Church invokes an informally stated principle that he describes as “reasonable”:

**
Whenever an individual or a propositional function has been determined in some unique way, it is ( Read more... )

Обычно я не ем со вчерашнего вечера до вечера текущего дня, пока не доделаю дела и не потренируюсь. Иногда, в свободные от тренировки дни, мы с дочкой выполняем протокол Табаты с приседаниями ( Read more... )

https://www.theparisreview.org/blog/2017/02/15/rhythmical-lines/Read more... )

https://developers.redhat.com/blog/2014/10/16/gcc-undefined-behavior-sanitizer-ubsanRead more... )