Category: мода

Category was added automatically. Read all entries about "мода".

Девятиэтажик радуга

постология

таблица ссылок на другие посты
Collapse )
Collapse )
Collapse )
Collapse )
Collapse )
Collapse )
Collapse )
Collapse )
Collapse )

Collapse )
Collapse )
Collapse )
Документоведение - исследование влияния библиотек на человечество
Collapse )
Collapse )
Collapse )
Девятиэтажик радуга

система математических обозначений - 1

Варианты обозначений по мотивам http://allunity.ru/forum/viewtopic.php?f=5&t=14


?U - универсум - рассматриваемая предметная область

Логика

~ - отрицание

^ - дополнение

& - пересечение

$ - объединение

?E - существование в универсуме, возможность

?A - всеобщность в универсуме

# - пространство

@ - принадлежность

{? ... ?} - возможность

{! ... !} - явление

{$ ... $} - структура

{* ... *} - система

{& ... &} - действие

=> - следствие

<=> - связь

для времени предлагаются следующие варианты:

@tm - modal - обычно

@tb - before - перед

@tn - now - сейчас

@ta - after - после

@tf - future - будущее

@tp - past - прошлое

Предложение для ПМО:
X = Y↓Z — «X есть Y при условии Z»,
где
X — мода,
Y — модус,
Z — модель,
↓ — проектор как некоторый функтор ↓(Y, Z) = Х, ставящий в соответствие Y и Z моду X.

Предлагаю разрешить вместо символа ↓ использовать символ деления / в том же значении

Для "есть" предлагается обозначение ::=

т.е. писать
X ::= Y/Z

правило исключенного третьего в системе записи:
~a = ^a
т.е. отрицание равно дополнению до универсума