Html коды математических знаков и символов

Неизвестные или переменные величины. Р. Декарт (1637).

В математике переменная – это величина, характеризующаяся множеством значений, которое она может принимать. При этом может иметься в виду как реальная физическая величина, временно рассматриваемая в отрыве от своего физического контекста, так и некая абстрактная величина, не имеющая никаких аналогов в реальном мире. Понятие переменной возникло в XVII в. первоначально под влиянием запросов естествознания, выдвинувшего на первый план изучение движения, процессов, а не только состояний. Это понятие требовало для своего выражения новых форм. Такими новыми формами и явились буквенная алгебра и аналитическая геометрия Рене Декарта. Впервые прямоугольную систему координат и обозначения х, у ввел Рене Декарт в своей работе «Рассуждение о методе» в 1637 году. Вклад в развитие координатного метода внес также Пьер Ферма, однако его работы были впервые опубликованы уже после его смерти. Декарт и Ферма применяли координатный метод только на плоскости. Координатный метод для трёхмерного пространства впервые применил Леонард Эйлер уже в XVIII веке.

Бета-функция, В-функция, В-функция Эйлера. Ж.Бине (1839).

Функция двух переменных p и q, определяемая при  p>0, q>0 равенством:

В(p, q) = ∫1хр–1(1–х)q–1dx.

Бета-функцию можно выразить через Γ-функция: В(p, q) = Γ(p)Г(q)/Г(p+q). Подобно тому как гамма-функция для целых чисел является обобщением факториала, бета-функция, в некотором смысле, является обобщением биномиальных коэффициентов.

С помощью бета-функции описываются многие свойства элементарных частиц, участвующих в сильном взаимодействии. Эта особенность подмечена итальянским физиком-теоретиком Габриэле Венециано в 1968 году. Это положило начало теории струн.

Название «бета-функция» и обозначение В(p, q) ввёл в 1839 году  французский математик, механик и астроном Жак Филипп Мари Бине.

Производная. Г.Лейбниц (1675), Ж.Лагранж (1770, 1779).

Производная – основное понятие дифференциального исчисления, характеризующее скорость изменения функции f(x) при изменении аргумента x. Определяется как предел отношения приращения функции к приращению её аргумента при стремлении приращения аргумента к нулю, если такой предел существует. Функцию, имеющую конечную производную в некоторой точке, называют дифференцируемой в данной точке. Процесс вычисления производной называется дифференцированием. Обратный процесс – интегрирование. В классическом дифференциальном исчислении производная чаще всего определяется через понятия теории пределов, однако исторически теория пределов появилась позже дифференциального исчисления.

Термин «производная» ввёл Жозеф Луи Лагранж в 1797 году, обозначения производной с помощью штриха – он же (1770, 1779), а dy/dx – Готфрид Лейбниц в 1675 году. Манера обозначать производную по времени точкой над буквой идёт от Ньютона (1691). Русский термин «производная функции» впервые употребил русский математик Василий Иванович Висковатов (1779–1812).

Что и требовалось доказать. Д.Кнут (1978).

В математике под доказательством понимается последовательность рассуждений, построеных на определённых правилах, показывающая, что верно некоторое утверждение. Со времён эпохи Возрождения окончание доказательства обозначалось математиками сокращением «Q.E.D.», от латинского выражения «Quod Erat Demonstrandum» – «Что и требовалось доказать». При создании системы компьютерной вёрстки ΤΕΧ в 1978 году американский профессор информатики Дональд Эдвин Кнут использовал символ: заполненный квадрат, так называемый «символ Халмоша», по имени  американского математика венгерского происхождения Пола Ричарда Халмоша. Сегодня завершение доказательства как правило обозначают Символом Халмоша. В качестве альтернативы используют и другие знаки: пустой квадрат, правый треугольник, // (две косых черты), а также русскую аббревиатуру «ч.т.д.».

Вектор. О.Коши (1853).

С самого начала вектор понимается как объект, имеющий величину, направление и (необязательно) точку приложения. Зачатки векторного исчисления появились вместе с геометрической моделью комплексных чисел у Гаусса (1831). Развитые операции с векторами опубликовал Гамильтон как часть своего кватернионного исчисления (вектор образовывали мнимые компоненты кватерниона). Гамильтон предложил сам термин вектор (от латинского слова vector, несущий) и описал некоторые операции векторного анализа

Этот формализм использовал Максвелл в своих трудах по электромагнетизму, тем самым обратив внимание учёных на новое исчисление. Вскоре вышли «Элементы векторного анализа» Гиббса (1880-е годы), а затем Хевисайд (1903) придал векторному анализу современный вид

Сам знак вектора ввёл в использование французский математик Огюстен Луи Коши в 1853 году.

Оператор Гамильтона, набла-оператор, гамильтониан. О.Хевисайд (1892).

Векторный дифференциальный оператор вида

∇ = ∂/∂x · i + ∂/∂y · j + ∂/∂z · k,

где i, j, и k – координатные орты. Через оператор набла естественным способом выражаются основные операции векторного анализа, а так же оператор Лапласа.

В 1853 году ирландский математик Уильям Роуэн Гамильтон  ввёл этот оператор и придумал для него символ ∇ в виде перевёрнутой греческой буквы  Δ (дельта). У Гамильтона острие символа указывало налево, позже в работах шотландского математика и физика Питера Гатри Тэйта символ приобрёл современный вид. Гамильтон назвал этот символ словом «атлед» (слово «дельта», прочитанное наоборот). Позднее английские учёные, в том числе Оливер Хевисайд, стали называть этот символ «набла», по названию буквы ∇ в финикийском алфавите, где она и встречается. Происхождение буквы связано с музыкальным инструментом типа арфы, ναβλα (набла) по-древнегречески означает «арфа». Оператор получил название оператора Гамильтона, или оператора набла.

Деление. И.Ран (1659), Г.Лейбниц (1684).

Уильям Оутред в качестве знака деления использовал косую черту /. Двоеточием деление стал обозначать Готфрид Лейбниц. До них часто использовали также букву D. Начиная с Фибоначчи, используется также горизонтальная черта дроби, употреблявшаяся ещё у Герона, Диофанта и в арабских сочинениях. В Англии и США распространение получил символ ÷ (обелюс), который предложил Иоганн Ран (возможно, при участии Джона Пелла) в 1659 году. Попытка Американского национального комитета по математическим стандартам (National Committee on Mathematical Requirements) вывести обелюс из практики (1923) оказалась безрезультатной.

Параллельность. У.Оутред (посмертное издание 1677 года).

Параллельность – отношение между некоторыми геометрическими фигурами; например, прямыми. Определяется по-разному в зависимости от различных геометрий; например, в геометрии Евклида и в геометрии Лобачевского. Знак параллельности известен с античных времён, его использовали Герон и Папп Александрийский. Сначала символ был похож на нынешний знак равенства (только более протяжённый), но с появлением последнего, во избежание путаницы, символ был повёрнут вертикально ||. В таком виде он появился впервые в посмертном издании работ английского математика Уильяма Оутреда в 1677 году.

Неопределённый интеграл. Г.Лейбниц (1675, в печати 1686).

Слово «интеграл» впервые в печати употребил Якоб Бернулли (1690). Возможно, термин образован от латинского integer – целый. По другому предположению, основой послужило латинское слово integro – приводить в прежнее состояние, восстанавливать. Знак ∫ используется для обозначения интеграла в математике и представляет собой стилизованное изображение первой буквы латинского слова summa – сумма. Впервые он был использован немецким математиком основателем дифференциального и интегрального исчислений Готфридом Лейбницем в конце XVII века. Другой из основателей дифференциального и интегрального исчислений Исаак Ньютон в своих работах не предложил альтернативной символики интеграла, хотя пробовал различные варианты: вертикальную черту над функцией или символ квадрата, который стоит перед функцией или окаймляет её. Неопределённый интеграл для функции  y=f(x) — это совокупность всех первообразных данной функции.

Общие сведения

Система складывалась, наподобие естественных языков, исторически (см. история математических обозначений), и организована наподобие письменности естественных языков, заимствуя оттуда также многие символы (прежде всего, из латинского и греческого алфавитов). Символы, также как и в обычной письменности, изображаются контрастными линиями на равномерном фоне (чёрные на белой бумаге, светлые на тёмной доске, контрастные на мониторе и т. д.), и значение их определяется в первую очередь формой и взаимным расположением

Цвет во внимание не принимается и обычно не используется, но, при использовании букв, такие их характеристики как начертание и даже гарнитура, не влияющие на смысл в обычной письменности, в математических обозначениях могут играть смыслоразличающую роль.

Структура

Обыкновенные математические обозначения (в частности, так называемые математические формулы) пишутся в общем в строку слева направо, однако не обязательно составляют последовательную строку символов. Отдельные блоки символов могут располагаться в верхней или нижней половине строки, даже в случае, когда символы не перекрываются вертикалями. Также, некоторые части располагаются целиком выше или ниже строки. С грамматической же стороны почти любую «формулу» можно считать иерархически организованной структурой типа дерева.

Стандартизация

Математические обозначения представляют систему в смысле взаимосвязи своих компонент, но, в целом, не составляют формальную систему (в понимании самой математики). Они, в сколь-нибудь сложном случае, не могут быть даже разобраны программно. Как и любой естественный язык, «язык математики» полон несогласованных обозначений, омографов, различных (в среде своих носителей) трактовок того, что́ считать правильным и т. п. Нет даже сколь-нибудь обозримого алфавита математических символов, и в частности оттого, что не всегда однозначно решается вопрос, считать ли два обозначения разными символами или же разными написаниями одного символа.

Некоторая часть математических обозначений (в основном, связанная с измерениями) стандартизована в ISO 31-11, однако в целом стандартизация обозначений скорее отсутствует.

Гиперболический синус, гиперболический косинус. В.Риккати (1757).

Первое появление гиперболических функций историки обнаружили в трудах английского математика Абрахама де Муавра (1707, 1722). Современное определение и обстоятельное их исследование выполнил итальянец Винченцо Риккати в 1757 году в работе «Opusculorum», он же предложил их обозначения: sh, ch. Риккати исходил из рассмотрения единичной гиперболы. Независимое открытие и дальнейшее исследование свойств гиперболических функций было проведено немецким математиком, физиком и философом Иоганном Ламбертом (1768), который установил широкий параллелизм формул обычной и гиперболической тригонометрии. Н.И. Лобачевский впоследствии использовал этот параллелизм, пытаясь доказать непротиворечивость неевклидовой геометрии, в которой обычная тригонометрия заменяется на гиперболическую.

Подобно тому, как тригонометрические синус и косинус являются координатами точки на координатной окружности, гиперболические синус и косинус являются координатами точки на гиперболе. Гиперболические функции выражаются через экспоненту и тесно связанных с тригонометрическими функциями: sh(x)=0,5(ex–e–x), ch(x)=0,5(ex+e–x). По аналогии с тригонометрическими функциями определены гиперболические тангенс и котангенс как отношения гиперболических синуса и косинуса, косинуса и синуса, соответственно.

Арксинус. К.Шерфер (1772), Ж.Лагранж (1772).

Обратные тригонометрические функции – математические функции, которые являются обратными к тригонометрическим функциям. Название обратной тригонометрической функции образуется от названия соответствующей ей тригонометрической функции добавлением приставки «арк» (от лат. arc – дуга). К обратным тригонометрическим функциям обычно относят шесть функций: арксинус (arcsin), арккосинус (arccos), арктангенс (arctg), арккотангенс (arcctg), арксеканс (arcsec) и арккосеканс (arccosec). Впервые специальные символы для обратных тригонометрических функций использовал Даниил Бернулли (1729, 1736). Манера обозначать обратные тригонометрических функции с помощью приставки arc (от лат. arcus, дуга) появилась у австрийского математика Карла Шерфера и закрепилась благодаря французскому математику, астроному и механику Жозефу Луи Лагранжу. Имелось в виду, что, например, обычный синус позволяет по дуге окружности найти стягивающую её хорду, а обратная функция решает противоположную задачу. Английская и немецкая математические школы до конца XIX века предлагали иные обозначения: sin–1 и 1/sin, но они не получили широкого распространения.

Таблица ASCII

Самой первой системой кодирования текстовой информации была ASCII (американский стандартный код для обмена информацией).

Таблица ASCII была разработана в США в шестидесятые годы прошлого столетия. Появление такой единой унифицированной системы кодировки символов было продиктовано необходимостью реализации компьютерного взаимодействия и обмена информацией. В то время каждый производитель вычислительной техники самостоятельно представлял буквы, цифры и управляющие коды. Только специалистами корпорации IBM применялись девять различных наборов кодировки символов.

Рис. 1. Символы таблицы ASCII.

Идея создания единой стандартизированной системы кодирования символов в виде числовых эквивалентов принадлежит американскому специалисту в области информационных технологий Роберту Уильяму Бемеру. Это он придумал экранирующий символ «Esc», обозначающий то, что следующий после него символ, имеет некоторое другое значение, не такое как ему назначено в таблице ASCII.

Рис. 2. Боб Бемер.

Первоначально таблица использовалась для кодировки только 128 знаков, затем была расширена до 256 символов. Первые тридцать два символа в таблице ASCI не имеют печатных эквивалентов и используются для управления. Числа в диапазоне 32 –127 предназначены для кодирования прописных и строчных латинских букв, цифр и знаков препинания.

Знак пробела имеет код 32 и также является печатным символом. Проверить соответствие символа печатному коду легко. Для этого можно воспользоваться простейшим текстовым редактором Блокнот в группе программ Стандартные операционной системы Windows. Нажав одновременно функциональную клавишу Alt и введя код символа – десятичное число, в окне редактора на месте расположения курсора будет напечатан соответствующий символ.

Синус, косинус, тангенс, котангенс. У.Оутред (сер. XVII века), И.Бернулли (XVIII в.), Л.Эйлер (1748, 1753).

Сокращённые обозначения для синуса и косинуса ввёл Уильям Оутред в середине XVII века. Сокращённые обозначения тангенса и котангенса: tg, ctg введены Иоганном Бернулли в XVIII веке, они получили распространение в Германии и России. В других странах употребляются названия этих функций tan, cot предложенные Альбером Жираром ещё ранее, в начале XVII века. В современную форму теорию тригонометрических функций привёл Леонард Эйлер (1748, 1753), ему же мы обязаны и закреплением настоящей символики. Термин «тригонометрические функции» введён немецким математиком и физиком Георгом Симоном Клюгелем в 1770 году.

Линия синуса у индийских математиков первоначально называлась «арха-джива» («полутетива», то есть половина хорды), затем слово «арха» было отброшено и линию синуса стали называть просто «джива». Арабские переводчики не перевели слово «джива» арабским словом «ватар», обозначающим тетиву и хорду, а транскрибировали арабскими буквами и стали называть линию синуса «джиба». Так как в арабском языке краткие гласные не обозначаются, а долгое «и» в слове «джиба» обозначается так же, как полугласная «й», арабы стали произносить название линии синуса «джайб», что буквально обозначает «впадина», «пазуха». При переводе арабских сочинений на латынь европейские переводчики перевели слово «джайб» латинским словом sinus, имеющим то же значение. Термин «тангенс» (от лат. tangens – касающийся) был введен датским математиком Томасом Финке в его книге «Геометрия круглого» (1583).

Что такое кодовая таблица

Известно, что числа в ЭВМ представляются в двоичной форме, в виде набора нулей и единиц. Для этого разработаны специальные приемы перевода числовых значений в двоичную последовательность. А как же компьютером обрабатываются текстовая информация – предложение, слова и буквы? Точно также как и числа – в виде последовательности нулей и единиц.

Для представления буквы в компьютере ее заменяют числовым эквивалентом, а затем переводят в двоичный код. Каждой букве соответствует своя цифра. Все буквы с их числовыми эквивалентами сведены в кодовую таблицу символов, которая может называться ASCII, Unicode, КОИ-7, КОИ-8, Windows-1251.

Равенство. Р.Рекорд (1557).

Знак равенства предложил уэльский врач и математик Роберт Рекорд в 1557 году; начертание символа было намного длиннее нынешнего, так как имитировало изображение двух параллельных отрезков. Автор пояснил, что нет в мире ничего более равного, чем два параллельных отрезка одинаковой длины. До этого в античной и средневековой математике равенство обозначалось словесно (например est egale). Рене Декарт в XVII веке при записи стал использовать æ (от лат. aequalis), а современный знак равенства он использовал чтобы указать, что коэффициент может быть отрицательным. Франсуа Виет знаком равенства обозначал вычитание. Символ Рекорда получил распространение далеко не сразу.  Распространению символа Рекорда мешало то обстоятельство, что с античных времён такой же символ использовался для обозначения параллельности прямых; в конце концов было решено символ параллельности сделать вертикальным. В континентальной Европе знак «=» был введён Готфридом Лейбницем только на рубеже XVII–XVIII веков, то есть более чем через 100 лет, после смерти впервые использовавшего его для этого Роберта Рекорда.

Основание натуральных логарифмов. Л.Эйлер (1736).

Математическая константа, трансцендентное число. Данное число иногда называют неперовым в честь шотландского учёного Непера, автора работы «Описание удивительной таблицы логарифмов» (1614). Впервые константа негласно присутствует в приложении к переводу на английский язык вышеупомянутой работы Непера, опубликованному в 1618 году. Саму же константу впервые вычислил швейцарский математик Якоб Бернулли в ходе решения задачи о предельной величине процентного дохода.

2,71828182845904523…

Первое известное использование этой константы, где она обозначалась буквой b, встречается в письмах Лейбница Гюйгенсу, 1690–1691 годы. Букву e начал использовать Эйлер в 1727 году, а первой публикацией с этой буквой была его работа «Механика, или Наука о движении, изложенная аналитически» 1736 год. Соответственно, e обычно называют числом Эйлера. Почему была выбрана именно буква e, точно неизвестно. Возможно, это связано с тем, что с неё начинается слово exponential («показательный», «экспоненциальный»). Другое предположение заключается в том, что буквы a, b, c и d уже довольно широко использовались в иных целях, и e была первой «свободной» буквой.

Квантор всеобщности, квантор существования. Г.Генцен (1935), Ч.Пирс (1885).

Квантор – общее название для логических операций, указывающих область истинности какого-либо предиката (математического высказывания). Философы давно обращали внимание на логические операции, ограничивающие область истинности предиката, однако не выделяли их в отдельный класс операций. Хотя кванторно-логические конструкции широко используются как в научной, так и в обыденной речи, их формализация произошла только в 1879 году, в книге немецкого логика, математика и философа Фридриха Людвига Готлоба Фреге «Исчисление понятий». Обозначения Фреге имели вид громоздких графических конструкций и не были приняты. Впоследствии было предложено множество более удачных символов, но общепринятыми стали обозначения ∃ для квантора существования (читается «существует», «найдётся»), предложенное американским философом, логиком и математиком Чарльзом Пирсом в 1885 году, и ∀ для квантора всеобщности (читается «любой», «каждый», «всякий»), образованное немецким математиком и логиком Герхардом Карлом Эрихом Генценом в 1935 году по аналогии с символом квантора существования (перевёрнутые первые буквы английских слов Existence (существование) и Any (любой))

Например, запись

(∀ε>0) (∃δ>0) (∀x≠x, |x–x|

читается так: «для любого ε>0 существует δ>0 такое, что для всех х, не равных хи удовлетворяющих неравенству |x–x|

Корни. К.Рудольф (1525), Р.Декарт (1637), А.Жирар (1629).

Арифметический корень n-й степени из действительного числа а≥0, – неотрицательное число n-я степень которого равна а. Арифметический корень 2-й степени называется квадратным корнем и может записываться без указания степени: √. Арифметический корень 3-й степени называется кубическим корнем. Средневековые математики (например, Кардано) обозначали квадратный корень символом Rx (от латинского Radix, корень). Современное обозначение впервые употребил немецкий математик Кристоф Рудольф, из школы коссистов, в 1525 году. Происходит этот символ от стилизованной первой буквы того же слова radix. Черта над подкоренным выражением вначале отсутствовала; её позже ввёл Декарт (1637) для иной цели (вместо скобок), и эта черта вскоре слилась со знаком корня. Кубический корень в XVI веке обозначался следующим образом: Rx.u.cu (от лат. Radix universalis cubica). Привычное нам обозначение корня произвольной степени начал использовать Альбер Жирар (1629). Закрепился этот формат благодаря Исааку Ньютону и Готфриду Лейбницу.

Предел. С.Люилье (1786), У.Гамильтон (1853), многие математики (вплоть до нач. ХХ в.)

Предел – одно из основных понятий математического анализа, означающее, что некоторая переменная величина в рассматриваемом процессе ее изменения неограниченно приближается к определенному постоянному значению. Понятие предела на интуитивном уровне использовалось ещё во второй половине XVII века Исааком Ньютоном, а также математиками XVIII века, такими как Леонард Эйлер и  Жозеф Луи Лагранж. Первые строгие определения предела последовательности дали Бернард Больцано в 1816 году и Огюстен Коши в 1821 году. Символ lim (3 первые буквы от латинского слова limes – граница) появился в 1787 году у швейцарского математика Симона Антуана Жана Люилье, но его использование ещё не напоминало современное. Выражение lim в более привычном для нас оформлении первым использовал ирландский математик Уильям Гамильтон в 1853 году. Близкое к современному обозначение ввёл Вейерштрасс, однако вместо привычной нам стрелки он использовал знак равенства. Стрелка появилась в начале XX века сразу у нескольких математиков – например, у английского математика Годфрида Харди в 1908 году.

Сравнимость. К.Гаусс (1801).

Сравнение – соотношение между двумя целыми числами n и m, означающее, что разность n–m этих чисел делится на заданное целое число а, называемое модулем сравнения; пишется: n≡m(mod а) и читается «числа n и m сравнимы по модулю а». Например, 3≡11(mod 4), так как 3–11 делится на 4; числа 3 и 11 сравнимы по модулю 4. Сравнения обладают многими свойствами, аналогичными свойствам равенств. Так, слагаемое, находящееся в одной части сравнения можно перенести с обратным знаком в другую часть, а сравнения с одним и тем же модулем можно складывать, вычитать, умножать, обе части сравнения можно умножать на одно и то же число и др. Например,

3≡9+2(mod 4) и 3–2≡9(mod 4)

– одновременно верные сравнения. А из пары верных сравнений 3≡11(mod 4) и 1≡5(mod 4) следует верность следующих:

3+1≡11+5(mod 4)

3–1≡11–5(mod 4)

3·1≡11·5(mod 4)

32≡112(mod 4)

3·23≡11·23(mod 4)

В теории чисел рассматриваются методы решения различных сравнений, т.е. методы отыскания целых чисел, удовлетворяющих сравнениям того или иного вида. Cравнения по модулю впервые использовались немецким математиком Карлом Гауссом в его книге «Арифметические исследования» 1801 года. Он же предложил утвердившуюся в математике символику для сравнений.

Функция. И.Бернулли (1718), Л.Эйлер (1734).

Математическое понятие, отражающее связь между элементами множеств. Можно сказать, что функция – это «закон», » правило» по которому каждому элементу одного множества (называемому областью определения) ставится в соответствие некоторый элемент другого множества (называемого областью значений). Математическое понятие функции выражает интуитивное представление о том, как одна величина полностью определяет значение другой величины. Часто под термином «функция» понимается числовая функция; то есть функция которая ставит одни числа в соответствие другим.  Долгое время математики задавали аргументы без скобок, например, так – φх. Впервые подобное обозначение использовал швейцарский математик Иоганн Бернулли в 1718 году. Скобки использовались только в случае многих аргументов, а также если аргумент представлял собой сложное выражение. Отголоском тех времён являются употребительные и сейчас записи sin x, lg x и др. Но постепенно использование скобок, f(x), стало общим правилом. И основная заслуга в этом принадлежит Леонарду Эйлеру.

Факториал. К.Крамп (1808).

Факториал числа n (обозначается n!, произносится «эн факториал») – произведение всех натуральных чисел до n включительно: n! = 1·2·3·…·n. Например, 5! = 1·2·3·4·5 = 120. По определению полагают 0! = 1. Факториал определён только для целых неотрицательных чисел. Факториал числа n равен числу перестановок из n элементов. Например, 3! = 6, действительно,

– все шесть и только шесть вариантов перестановок из трёх элементов.

Термин «факториал» ввёл французский математик и политический деятель Луи Франсуа Антуан Арбогаст (1800), обозначение n! – французский математик Кристиан Крамп (1808).

Расширенные и редко используемые символы

Символы отсортированы согласно коду Unicode:

  • U+00B7 • Точка в середине, устаревший способ обозначения AND, остаётся употребимым в электронике, например, «A•B» означает то же самое, что и «A&B»
  • • : Центральная точка с чертой над ней, устаревший способ для обозначения И-НЕ, например, «A•B» означает то же, что и «A И-НЕ B», или «A|B», или «¬(A & B)». См. также символ Unicode U+22C5 ⋅ оператор точка.
  • U+0305 ◌̅ Комбинируемое надчёркивание, используется для сокращения стандартных представлений чисел (). Например, «4̅» является сокращённым написанием стандартного числа «SSSS0».
  • Надчёркивание также иногда используется для обозначения нумерации Гёделя, например, «AVB» обозначает номер Гёделя для «(AVB)»
  • Надчёркивание также является устаревшим способом обозначения отрицания, но продолжает использоваться в электронике, например, «AVB» означает то же самое, что и «¬(AVB)»
  • U+2191 ↑ Стрелка вверх или U+007C | Вертикальная черта: Штрих Шеффера, знак для оператора И-НЕ.
  • U+2201 ∁ Дополнение
  • U+2204 ∄ Не существует: перечёркнутый квантор существования, то же самое, что и «¬∃»
  • U+2234 ∴
  • U+2235 ∵
  • U+22A7 ⊧ Импликация (логическое следование): является моделью для …. Например, A ⊧ B означает, что из A следует B. В любой модели, где A ⊧ B, если А верно, то и B верно.
  • U+22A8 ⊨ Истина: является истиной.
  • U+22AC ⊬ Невыводимо: отрицание ⊢, символ невыводимо, например, TP означает, что «P не является теоремой в T»
  • U+22AD ⊭ Неверно: не является истиной
  • U+22BC ⊼ НЕ-И: другой оператор НЕ-И, может быть записан также как ∧
  • U+22BD ⊽ ИЛИ-НЕ: оператор Исключающее ИЛИ, может быть записан также как V
  • U+22C4 ⋄ Ромб: модальный оператор для «возможно, что», «не обязательно нет» или, редко, «непротиворечиво» (в большинстве модальных логик оператор определяется как «¬¬»)
  • U+22C6 ⋆ Звёздочка: обычно используется как специальный оператор
  • U+22A5 ⊥ Кнопка вверх или U+2193 ↓ Стрелка вниз: стрелка Пирса, символ исключающего ИЛИ. Иногда «⊥» используется для противоречия или абсурда.

U+2310 ⌐ Отменённый НЕ

U+231C ⌜ Левый верхний уголок и U+231D ⌝ Правый верхний уголок: угловые скобки, также называемые «кавычками Куайна». Используется как квазикавычки, то есть выделение определённого контекста неопределённого выражения («переменной»). Используется также для чисел Гёделя. Например, «⌜G⌝» обозначает число Гёделя для G. (Типографическое замечание: хотя кавычки появляются всегда в «паре» в (231C и 231D в Unicode), они не всегда симметричны в некоторых фонтах, а в некоторых фонтах, таких как Arial, они симметричны только при определённых размерах букв). Альтернативно кавычки могут быть представлены как ⌈ и ⌉ (U+2308 и U+2309) или с помощью символов отрицания и обратного отрицания ⌐ ¬ в верхнем индексе.)

U+25FB Средний белый квадрат или U+25A1 □ Белый квадрат: модальный оператор необходимо, чтобы (в модальной логике), или доказуемо (в логике доказуемости), или обязательно (в нормативной логике), или убеждены, что (в доксастической логике).

Следующие операторы редко поддерживаются стандартными фонтами. Если вы хотите использовать их на своей странице, вам следует всегда встраивать нужные фонты, чтобы браузер мог отражать символы без необходимости устанавливать фонты на компьютер.

  • U+27E1 ⟡ Незакрашенный ромб с вогнутыми сторонами
  • U+27E2 ⟢ Незакрашенный ромб с вогнутыми сторонами и чёрточкой влево: модальный оператор для никогда не было
  • U+27E3 ⟣ Незакрашенный ромб с вогнутыми сторонами и чёрточкой вправо: модальный оператор для никогда не будет
  • U+27E4 ⟤ Незакрашенный квадрат с чёрточкой влево: модальный оператор для всегда было
  • U+27E5 ⟥ Незакрашенный квадрат с чёрточкой вправо: модальный оператор для всегда будет

Польша и Германия

В Польше квантор всеобщности иногда записывается как ∧{\displaystyle \wedge }, а квантор существования как ∨{\displaystyle \vee }.
То же самое наблюдается в немецкой литературе.

Unicode

Unicode представляет собой промышленный стандарт для кодирования символов всех письменных языков мира. Он был предложен в 1991 году некоммерческой организацией Unicode Consortium.

Рис. 3. Логотип Unicode Consortium.

Кодовое пространство Unicode разделено на несколько областей. Диапазон кодовых значений от 0 до 127 полностью дублирует кодовую систему ASCII. Затем располагаются области знаков разных языков, пунктуационные знаки и некоторые технические символы.

Unicode имеет несколько форм представления: UTF-8, UTF-16 и UTF-32.

Что мы узнали?

Для представления символьных значений в ЭВМ используются таблицы кодирования символов. Каждому символу в такой таблице соответствует числовое значение. Использование стандартизированных кодовых таблиц позволило обеспечить взаимодействие и информационный обмен между средствами вычислительной техники.

Ссылка на основную публикацию