Вираз (математика)

Матеріал з Вікіпедії — вільної енциклопедії.
Перейти до навігації Перейти до пошуку

У математиці вираз або математичний вираз — це скінченна комбінація математичних символів, сформована відповідно до певних правил[1]. Математичні символи можуть позначати числа (константи), змінні, математичні оператори, функції, дужки, розділові знаки та групування, які допомагають визначити порядок операцій та інші аспекти синтаксису[en]. Вираз — одне з фундаментальних математичних понять, яке лежить в основі мови математики. За допомогою математичних виразів записують розрахункові алгоритми, формулюють математичні аксіоми й теореми тощо.

Багато авторів розрізняють вирази й формули: вирази позначають математичні об'єкти, а формули — твердження про математичні об'єкти. Наприклад,  — це вираз, а  — це формула. Однак у сучасній математиці, зокрема в комп'ютерній алгебрі[en], формули розглядаються як вирази, які можна оцінити як істинні або хибні залежно від значень, які надаються змінним, що до них входять. Наприклад, набуває значення хиба[en] (false), якщо x має значення менше −1, і значення істина (true) в іншому випадку.

Найпростішим випадком є числові алгебраїчні вирази, які можуть містити літерні параметри, наприклад (вираз для обрахування довжини окружності за відомого радіуса . Однак існують і узагальнення для інших математичних систем, необов'язково числових — логічні, текстові, матричні, векторні, тензорні, аналітичні, теоретико-множинні та інші типи виразів, кожен зі своїм набором операцій. У формулюваннях аксіом і теорем часто поєднуються кілька різних типів виразів — див., наприклад, в аксіоматиці дійсних чисел.

Приклади

[ред. | ред. код]

Математичні вирази можуть бути різними — від найпростіших:

  • (лінійний многочлен)
  • (квадратний многочлен)
  • (раціональний дріб)

до складних:

Змінні та обчислення

[ред. | ред. код]

Багато математичних виразів містять змінні. Будь-яку змінну можна класифікувати як вільну або зв'язану. Для заданої комбінації значень вільних змінних можна обчислити вираз (хоча іноді значення виразу може бути невизначеним). Таким чином, вираз являє собою функцію, аргументами якої є значення, присвоєні вільним змінним, а результатом — власне, значення виразу.

Наприклад, якщо вираз обраховується при x = 10 та y = 5, то він набуває значення 2; це позначається

.

Оцінка не визначена для y = 0.

Два вирази називаються еквівалентними, якщо для будь-якої комбінації значень незалежних змінних вони мають однаковий результат, тобто представляють ту саму функцію.

Наприклад, у виразі

змінна n залежна, а змінна x незалежна. Цей вираз еквівалентний простішому виразу 12x. Його значення для x = 3 дорівнює 36, що можна позначити так:

.

Синтаксис і семантика

[ред. | ред. код]

Синтаксис

[ред. | ред. код]

Вираз — це синтаксична[en] конструкція. Він повинен бути коректно сформульований[en]: дозволені оператори повинні мати належну кількість входів у правильних місцях; символи, що входять до складу цих входів, повинні бути дійсними, мати чіткий порядок операцій тощо. Рядки символів, що порушують правила синтаксису, не є правильно оформленими і не є коректними математичними виразами. Наприклад, у звичайній арифметичному записі вираз 1 + 2 × 3 коректний, тоді як вираз ×4)x+,/y не є коректним.

Семантика

[ред. | ред. код]
Докладніше: Семантика логіки

Семантика вивчає значення. Семантика логіки (формальна семантика) — це дисципліна, яка вивчає інтерпретацію формальних та природних мов шляхом їх формального опису в математичних термінах.

В алгебрі вираз можна використовувати для передання значення, яке визначається значеннями змінних, що зустрічаються в цьому виразі. Визначення цього значення залежить від семантики, яка приписується символам, з яких складається вираз. Вибір семантики залежить від контексту виразу. Той самий синтаксичний вираз 1 + 2 × 3 може мати різні значення — 7 або 9 — залежно від порядку виконання математичних операцій.

За семантичними правилами, певні вирази можуть не мати жодного значення (наприклад, коли вони передбачають ділення на 0); про такі вирази кажуть, що їхнє значення невизначене, але водночас вони є коректними математичними виразами. Загалом значення виразів не обмежується позначенням значень; наприклад, вираз може позначати умову або рівняння, яке потрібно розв'язати, або його можна розглядати як самостійний об'єкт, яким можна оперувати відповідно до певних правил. Деякі вирази, які позначають значення, одночасно виражають умову, що, як передбачається, виконується, — наприклад, вирази з оператором ⊕ для позначення внутрішньої прямої суми.

Формальні мови та лямбда-числення

[ред. | ред. код]

Формальні мови дають змогу формалізувати поняття коректно сформульованих виразів.

У 1930-х роках Алонзо Черч і Стівен Кліні ввели новий тип виразів для формалізації функцій та їх оцінювання — лямбда-вирази. Вони лягли в основу лямбда-числення — формальної системи, яка використовується в математичній логіці та теорії мов програмування.

Еквівалентність двох лямбда-виразів не є однозначною. Це також стосується виразів, які представляють дійсні числа, які побудовані з цілих чисел за допомогою арифметичних операцій, логарифма та експоненти (теорема Річардсона[en]).

Вирази в програмуванні

[ред. | ред. код]

Оперування виразами в мовах програмування має свою специфіку.

  • Позначення операцій у них відрізняються не тільки від загальноприйнятого математичного стандарту, а в різних мовах програмування вони, взагалі кажучи, можуть бути різними.
  • Результати операцій можуть залежати від типу операндів та місця, яке вони займають у машинній пам'яті.
  • Частина систем програмування допускає побічні ефекти, через що, наприклад, значення виразу залежить від порядку обчислень, створеного компілятором (якщо функція змінює значення свого аргументу .

Див. також

[ред. | ред. код]

Посилання

[ред. | ред. код]
  • Redden, John (2011). «Elementary Algebra». Flat World Knowledge[2]

Примітки

[ред. | ред. код]
  1. 3.1: Математичні вирази. LibreTexts - Ukrayinska (англ.). 27 жовтня 2022. Процитовано 25 березня 2024.
  2. Elementary Algebra 1.0 | Flat World Education. web.archive.org. 15 листопада 2014. Архів оригіналу за 15 листопада 2014. Процитовано 14 квітня 2024.