[html]
Сокращать будем способом создания аббревиатур (взять первые буквы слов, склеить их в аббревиатуру, и записать полученную абревиатуру в верхнем регистре).
<br />
Заглавная буква "М" - это сокращение слова "множество".
<br />
множество = М.
<br />
<br />
Операцию типизации, когда чему-то приписывается тип, будем обозначать в виде нижнего индекса:
<br />
некое множество это множество = некое множество<sub>множество</sub> = некое множество<sub>М</sub> = НМ<sub>М</sub>
<br />
<br />
Когда мы хотим различать разные множества, мы по-разному называем их, т.е. даём им (какие-то, возможно собственные) имена.
<br />
пустое множество<sub>М</sub> = ПМ<sub>М</sub>
<hr />
Можно вообразить себе функцию/алгоритм выделения/обнаружения некоего элемента и отнесения его к некоему множеству.
<br />
Аргументы функции будем помещать между круглыми скобками.
<br />
<br />
элемент множества = элемент(некоторого множества) = элемент(НМ<sub>М</sub>) = Э(НМ<sub>М</sub>)
<br />
некий элемент который имеет тип элемент некоторого множества = некий элемент <sub>Э(НМ<sub>М</sub>)</sub> = НЭ<sub>Э(НМ<sub>М</sub>)</sub>
<br />
<br />
Существуют нарицательные имена, это когда мы даём абстрактное название некоторому элементу множества.
<br />
нарицательное имя (НЭ<sub>Э(города<sub>М</sub>)</sub>) = город<sub>нарицательное имя, Э(города<sub>М</sub>)</sub> = город<sub>НИ, Э(города<sub>М</sub>)</sub>
<br />
"Город" это нарицательное имя элемента множества "города".
<br />
<br />
Существуют собственные имена, это когда мы даём собственное имя некоторому элементу множества.
<br />
собственное имя(НЭ<sub>Э(города<sub>М</sub>)</sub>) = Москва<sub>собственное имя, Э(города<sub>М</sub>)</sub> = Москва<sub>СИ, Э(города<sub>М</sub>)</sub>
<br />
Москва это собственное имя элемента из множества "города".
<hr />
Операция типизации, приём сокращения длины текста.
<br />
НИ<sub>нарицательное имя, Э(НМ<sub>М</sub>)</sub> <strong>ли</strong> СИ<sub>собственное имя, Э(НМ<sub>М</sub>)</sub><strong>?</strong> собственное имя<sub>нарицательное имя</sub>
<br />
город<sub>НИ, Э(города<sub>М</sub>)</sub> <strong>ли</strong> Москва<sub>СИ, Э(города<sub>М</sub>)</sub><strong>?</strong> Москва<sub>город</sub>
<br />
"город" это нарицательное имя, означающее некий элемент множества городов.
<br />
"Москва" это собственное имя, означающее конкретный элемент множества городов,
<br />
Город ли Москва? Москва это город.
<br />
<br />
если тип совпадает с одним из слов словосочетания, два раза не записываем.
<br />
учительская комната<sub>комната</sub> = учительская<sub>комната</sub>
<br />
<br />
пустое множество<sub>множество</sub> = пустое<sub>множество</sub> = П<sub>множество</sub> = П<sub>М</sub>
<hr />
Собственные имена множеств можно получать из нарицательных имён элементов множеств.
<br />
множество городов "города" это некое множество.
<br />
города<sub>М</sub> = НМ<sub>М</sub>
<br />
люди<sub>М</sub> = НМ<sub>М</sub>
<br />
дельфины<sub>М</sub> = НМ<sub>М</sub>
<br />
<br />
<hr />
<pre><xmp>public class Stack<T>
{
T[] m_Items;
public void Push(T item)
{...}
public T Pop()
{...}
}
...
var myStack = new Stack<int>();
</xmp></pre>
здесь
<br />
типы<sub>М, Э(имена<sub>М</sub>)</sub>
<br />
T<sub>НИ, Э(Stack(int)<sub>М</sub>)</sub> = нарицательное имя (НЭ<sub>Э(типы<sub>М</sub>)</sub>)
<br />
int<sub>СИ, Э(типы<sub>М</sub>)</sub> = собственное имя(НЭ<sub>Э(типы<sub>М</sub>)</sub>)
<br />
Stack<sub>М, СИ, Э(типы<sub>М</sub>)</sub> = собственное имя(НЭ<sub>Э(типы<sub>М</sub>)</sub>)
<br />
Stack(T)<sub>М, НИ, Э(Stack<sub>М</sub>)</sub> = нарицательное имя (НЭ<sub>Э(Stack<sub>М</sub>)</sub>)
<br />
Stack(int)<sub>М, СИ, Э(Stack<sub>М</sub>)</sub> = собственное имя (НЭ<sub>Э(Stack<sub>М</sub>)</sub>, "int")
<br />
myStack<sub>СИ, Э(Stack(int)<sub>М</sub>)</sub> = собственное имя (НЭ<sub>Э(Stack(int)<sub>М</sub>)</sub>)
<hr/>[/html]
Скучно с вами, ничего не пишите. Где треш, где угар?
Отредактировано Лис (2018-01-25 18:31:08)
