Что означает эти математические знаки?

[foo-bar2014]

Вот эти.

Это, вероятно, из мат логики. Пример употребления здесь (страница 13, "computational undecidable").

Я предполагаю, что 1-й - это логический вывод, означающий "выводится".
По поводу последнего там (ссылка выше) есть сноска (15, стр. 13), поясняющая, что стрелка вниз означает "сводится" (converges). Только не совсем понятно, что значит сводится, безотносительно того, к чему сводится. Может, это значит, что "вычисляется, и останавливается", в смысле, что не впадает в бесконечное вычисление, т.e. мы можем точно сказать, что алгоритм остановиться рано или поздно, независимо от того, во что он будет вычислен, и будет ли вычилен во что-либо, здесь это, как-бы не важно?

Насчет 2-го и 3-го, вообще никаких мыслей. Oбратите внимание, что там не про числа, поэтому 2-й и 3-й знак -- это не округление.

Спасибо.

[Deggial]

Тема перемещена из форума «Математика (общие вопросы)» в форум «Карантин»
Причина переноса: формулы не оформлены $\TeX$ом

foo-bar2014
Наберите все формулы и термы $\TeX$ом.
Знаки: $\vdash, \lfloor, \rfloor, \downarrow$.
Если у Вас возникают проблемы с $\TeX$ом, можете обратиться в раздел TeXнические обсуждения
Инструкции по оформлению формул здесь или здесь (или в этом видеоролике).
После исправлений сообщите в теме Сообщение в карантине исправлено, и тогда тема будет возвращена.

[Lia]

Тема перемещена из форума «Карантин» в форум «Помогите решить / разобраться (М)»