LINUX.ORG.RU
ФорумTalks

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

 ,


0

1

1) вот такой: |--, и есть еще такой же перечеркнутый,
2) вот такой: |_
3) вот такой: _|
4) стрелка, направленная вниз

Значки, естественно, без пробелов.

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

UPD Еще вот такой

   \|/
    | 
Буква пси, вероятно. Там, в ссылке, чуть ниже.


  1. «Вывод» или как-то так называется. Типа x |— y значит, что y выводится из x.
  2. Хз.
  3. Хз.
  4. Стрелка Пирса.
Apple-ch ★★ ()
Ответ на: комментарий от phill

Второй и третий тоже есть — округление вниз. Правда фиг знает правильно ли оно в этом контексте.

PolarFox ★★★★★ ()

UPD Еще вот такой

Ты про букву «пси»? Я, правда, не знаю что она означает в контексте.

Xellos ★★★★★ ()
Ответ на: комментарий от dikiy

Кстати, если для Вас символы столь очевидны, подскажите все-таки, что означают с-лы в пп 2 и 3? Или это очепятки от квадратных скобок?

phill ()
Ответ на: комментарий от phill

Кстати, если для Вас символы столь очевидны, подскажите все-таки, что означают с-лы в пп 2 и 3? Или это очепятки от квадратных скобок?

они для меня совершенно не очевидны в данном контексте :)
чтобы понять, что они означают надо читать статью, а мне лень. Лучше подумай о том, понял ли ты все то, что было _до_ этих символов.

dikiy ★★☆☆☆ ()

1) Из того что слева выводимо, доказуемо, следует то, что справа

2,3) По тексту не очевидно, а так не помню

4) Походу завершимость.

UPD) Ты имеешь ввиду квантор существования, который как перевернутая A?

Kakadu ()
Последнее исправление: Kakadu (всего исправлений: 1)
Ответ на: комментарий от Kakadu

Квантор существования это перевернутая Е

pylin ★★★★★ ()
Ответ на: комментарий от Kakadu

Ты имеешь ввиду квантор существования, который как перевернутая A?

Не это наверное пси. Там на следующей странице.

phill ()
Ответ на: комментарий от Kotolegokot

Хотя, мне кажется, что вряд-ли это округление, потомучто p (символ, заключенный в эти символы) там - это программа, а округление может относиться только к числам, или как?

phill ()
Вы не можете добавлять комментарии в эту тему. Тема перемещена в архив.