Ағылшыншамен салыстырыңыз: абзацты басыңыз — түпнұсқа терезеде ашылады. Абзац астындағы EN түймесі оны мәтін ішінде көрсетеді.
Мазмұны
Кіріспе
Көп мағыналы символ – символ.
Symbol with multiple meanings
the symbol
Үштік штрих немесе трибар, ≡, – екі түрлі нәрсенің эквиваленттігін, яғни теңдігін контекстке қарай әртүрлі білдіретін көп мағыналы символ. Оның негізгі қолданылуы математика және логика салаларында. Ол үшінші сызығы бар тең белгіге ұқсайды.
The triple bar or tribar, ≡, is a symbol with multiple, context dependent meanings indicating equivalence of two different things. Its main uses are in mathematics and logic. It has the appearance of an equals sign with a third line.
Кодтау
Юникодтағы үштік жолақ символы – кодтық нүкте. Оған жақын кодтық нүкте – математикалық мағынасын жоққа шығаратын, осы символдың үстінен сызық өткен нұсқасы.
The triple bar character in Unicode is code point The closely related code point is the same symbol with a slash through it, indicating the negation of its mathematical meaning.
Математика және философия
Логикада ол екі түрлі, бірақ өзара байланысты мағынада қолданылады. Ол «егер және тек егер» байланысын, сондай-ақ материалдық эквиваленттік деп аталатын нәрсені білдіре алады. Бұл екілік операция, оның мәні екі аргументі де бірдей мәнге ие болғанда ғана «true» болады. Кейбір мәтіндерде ⇔ осы мағынада қолданылады, ал ≡ логикалық эквиваленттіктің жоғары деңгейдегі металогикалық ұғымы үшін қолданылады, яғни екі формула барлық модельдерде бірдей мән берген кезде логикалық эквивалент болады. Готтлоб Фреге үштік штрихты философиялық сәйкестік ұғымы үшін қолданды, онда екі мәлімдеме (математикада немесе формалды логикада міндетті емес) бір-бірінің орнына мәнін өзгертпей алмастырылса, бірдей болып саналады. Математикада үштік штрих кейде сәйкестік немесе эквиваленттік қатынас символы ретінде қолданылады (бірақ жалғыз емес, басқа жиі қолданылатын символдарға ~ және ≈ кіреді). Әсіресе геометрияда, екі фигураның конгруэнтті екенін немесе бірдей екенін көрсету үшін қолданылуы мүмкін. Сандар теориясында Карл Фридрих Гаусс (осы мағынада алғаш рет 1801 жылы қолданған) оны модульдік конгруэнттілік үшін қолданды: егер N, a – b-ні бөлетін болса. Категория теориясында үштік штрихтар коммутативтік диаграммадағы объектілерді байланыстыру үшін қолданылуы мүмкін, бұл олардың категорияның жебесімен байланысты емес, шын мәнінде бірдей объекті екенін көрсетеді. Бұл символ кейде теңдеудің сол жағындағы символды анықтайтын теңдеулерде, теңдік белгісінің орнына қолданылады, бұл оларды теңдеудің екі жағындағы терминдер бұрыннан анықталған теңдеулерден ажыратады. Бұл қолданыс үшін баламалы белгі – «def» әріптерін кәдімгі теңдік белгісінің үстіне жазу. Сол сияқты, осы қолданыс үшін тағы бір баламалы белгі – теңдік белгісінің алдына қос нүкте қою. Қос нүкте белгісі бір объектіні бұрыннан анықталған объектілерден анықтаудағы ішкі асимметрияны көрсетеді.
In logic, it is used with two different but related meanings. It can refer to the if and only if connective, also called material equivalence. This is a binary operation whose value is true when its two arguments have the same value as each other. Alternatively, in some texts ⇔ is used with this meaning, while ≡ is used for the higher level metalogical notion of logical equivalence, according to which two formulas are logically equivalent when all models give them the same value. Gottlob Frege used a triple bar for a more philosophical notion of identity, in which two statements (not necessarily in mathematics or formal logic) are identical if they can be freely substituted for each other without change of meaning. In mathematics, the triple bar is sometimes used as a symbol of identity or an equivalence relation (although not the only one; other common choices include ~ and ≈). Particularly, in geometry, it may be used either to show that two figures are congruent or that they are identical. In number theory, it has been used beginning with Carl Friedrich Gauss (who first used it with this meaning in 1801) to mean modular congruence: if N divides a − b. In category theory, triple bars may be used to connect objects in a commutative diagram, indicating that they are actually the same object rather than being connected by an arrow of the category. This symbol is also sometimes used in place of an equal sign for equations that define the symbol on the left hand side of the equation, to contrast them with equations in which the terms on both sides of the equation were already defined. An alternative notation for this usage is to typeset the letters "def" above an ordinary equality sign, Similarly, another alternative notation for this usage is to precede the equals sign with a colon, The colon notation has the advantage that it reflects the inherent asymmetry in the definition of one object from already defined objects.
Ғылым
Ботаникалық номенклатурада үштік сызық гомотиптік синонимдерді (бір типтік үлгіге негізделген) көрсетеді, оларды гетеротиптік синонимдерден (әр түрлі типтік үлгіге негізделген) ажырату үшін, ал олар теңдік белгісімен белгіленеді. Химияда үштік сызық атомдар арасындағы үштік байланысты білдіруге қолданылады. Мысалы, HC≡CH – ацетиленнің (жүйелік атауы: этин) жиі қолданылатын қысқартылған жазуы.
In botanical nomenclature, the triple bar denotes homotypic synonyms (those based on the same type specimen), to distinguish them from heterotypic synonyms (those based on different type specimens), which are marked with an equals sign. In chemistry, the triple bar can be used to represent a triple bond between atoms. For example, HC≡CH is a common shorthand for acetylene (systematic name: ethyne).
Қолданбаның дизайны
Мобильді, веб және жалпы қолданбаларды жобалауда кейде ұқсас символ интерфейс элементі ретінде қолданылады, оны "гамбургер белгішесі" деп атайды. Бұл элемент әдетте, оған басқанда навигациялық мәзір ашылатынын көрсетеді; символдың жолақтары стильделген мәзір тармақтарындай көрінеді, ал осы белгішенің кейбір нұсқалары осы визуалды ұқсастықты күшейту үшін әр жолаққа қосымша жолақтар немесе нүктелер қосады. Осы белгішені пайдалану 1980 жылдарға, Xerox PARC-те жасалған алғашқы компьютерлік интерфейстерге дейін жетеді. Ол мәтінді теңдеу үшін жиі қолданылатын белгішеге де ұқсас. Бұл Google-дің Material Design ережелерінің маңызды бөлігі болып табылады және көптеген Android қолданбалары мен осы ережелерді ұстанатын веб-қолданбалар гамбургер мәзірін пайдаланады.
In mobile, web, and general application design, a similar symbol is sometimes used as an interface element, where it is called a hamburger icon. The element typically indicates that a navigation menu can be accessed when the element is activated; the bars of the symbol may be seen as stylized menu items, and some variations of this symbols add more bars, or bullet points to each bar, to enhance this visual similarity. Usage of this symbol dates back to the early computer interfaces developed at Xerox PARC in the 1980s. It is also similar to the icon frequently used to indicate justified text alignment. It is an oft used component of Google's Material Design guidelines and many Android apps and web apps that follow these guidelines make use of the hamburger menu.