Математическое выражение
Выражение в математике — одно из фундаментальных математических понятий, лежащее в основе языка математики. С помощью математических выражений записываются расчётные алгоритмы, формулируются аксиомы и теоремы математики, законы естественных наук.
Простейшим случаем являются числовые алгебраические выражения, которые могут содержать буквенные параметры, например: (выражение для длины окружности, зависящее от радиуса ). Однако существуют и обобщения для других математических систем (не обязательно числовых) — логические, текстовые, матричные, векторные, тензорные, аналитические, теоретико-множественные и другие типы выражений, каждый со своим набором операций (см. примеры). В формулировках аксиом и теорем часто сочетаются несколько различных типов выражений — см., например, аксиоматику вещественных чисел.
Определение
Выражение — это построенная по принятым в математике правилам комбинация чисел, букв, символов функций, символов операций, скобок и других математических обозначений (например, символов суммы , произведения
, производных, интегралов и т. д.).
Числовые выражения, не содержащие букв, называются арифметическими выражениями. Числовое алгебраическое выражение, не содержащее букв в качестве делителей или под знаком корня, называется целым выражением.
Не следует путать понятия математического выражения и математической формулы. Формула определяется как комбинация математических символов, выражающая некоторое утверждение, обычно в форме:
Выражение-1 = Выражение-2
Вместо знака равенства в формуле может быть один из знаков неравенства, символ принадлежности множеству или иные символы, образующие утверждение. Выражение же само по себе не образует никакого утверждения. Таким образом, всякая формула есть выражение, но не всякое выражение есть формула.
Примеры
— числовое арифметическое выражение (без буквенных параметров)
— числовое алгебраическое выражение.
— логическое выражение.
- "C" + product_id — текстовое выражение (склейка двух строк).
— матричное выражение. Значением выражения является характеристический многочлен матрицы
— аналитическое выражение, сопоставляющее функции
её первообразную.
- Аксиома Архимеда:
(для всякого положительного вещественного числа найдётся натуральное, его превосходящее).
Значение выражения
Для каждого выражения задаются или подразумеваются области определения входящих в него букв, функций и операций. Подстановка конкретных значений буквенных параметров и выполнение с ними заданных операций позволяют получить значение выражения, которое может принадлежать иной математической системе (см. пример 5). При этом любая допустимая подстановка параметров должна создавать осмысленное результирующее выражение. Быть источником значений — одно из основных предназначений выражения,
Два выражения называются тождественно равными (равносильными, эквивалентными), если при любых допустимых значениях входящих в них переменных значения обоих выражений совпадают. Пример в арифметике: равносильно
Замена выражение на тождественно равное ему (как правило, для упрощения выражения или для исследования его свойств) называется тождественным преобразованием выражения.. Для каждого типа выражения существуют свои правила тождественных преобразований, см. о них статьи Законы элементарной алгебры, Алгебра логики, Методы интегрирования и т. п.
В информатике
Работа с выражениями в языках программирования имеет свою специфику.
- Обозначения операций в них отличаются не только от общепринятого математического стандарта, но в разных языках программирования они, вообще говоря, могут быть разными. См., например: Возведение в степень в языках программирования.
- Результаты операций могут зависеть от типа операндов и их длины в машинной памяти.
- Часть систем программирования допускает побочные эффекты, из-за чего, например, значение выражения
зависит от порядка вычислений, созданного компилятором (если функция
изменяет значение своего аргумента
).
Примечания
- Oxford English Dictionary, s.v. “Expression (n.), sense II.7,” "A group of symbols which together represent a numeric, algebraic, or other mathematical quantity or function."
- Expression in Maths.
- Числовые, буквенные выражения и выражения с переменными: определения, примеры.
- Барсуков, 1966, с. 5.
- Мордкович и др., 2016, с. 53.
- Формула : [арх. 24 октября 2022] // Большая российская энциклопедия : [в 35 т.] / гл. ред. Ю. С. Осипов. — М. : Большая российская энциклопедия, 2004—2017.
- Зорич, В. А. Математический анализ, ч. 1. — Москва: ФАЗИС, 1997. — С. 50. — 554 с. — ISBN 5-7036-0031-6.
- Барсуков, 1966, с. 7—8.
- Макарычев, 1985, с. 3—9.
- Макарычев, 1985, с. 14.
- Макарычев, 1985, с. 14—19.
- Мордкович и др., 2016, с. 55—56.
Литература
- Барсуков А. Н. Алгебра. Учебник для 6—8 классов / Под ред. С. И. Новосёлова. — 11-е изд. — М. : Просвещение, 1966. — 296 с.
- Макарычев Ю. Н. и др. Алгебра. 6 класс / под ред. С. А. Теляковского. — 8-е изд. — М.: Просвещение, 1985. — 224 с.
- Мордкович А. Г., Глизбург В. И., Лаврентьева Н. Ю. Математика. Новый полный справочник для подготовки к ЕГЭ. — М. : АСТ, 2016. — 351 с. — ISBN 978-5-17-099580-6.
Ссылки
- Expression in Maths (англ.). Дата обращения: 23 октября 2022.
Википедия, чтение, книга, библиотека, поиск, нажмите, истории, книги, статьи, wikipedia, учить, информация, история, скачать, скачать бесплатно, mp3, видео, mp4, 3gp, jpg, jpeg, gif, png, картинка, музыка, песня, фильм, игра, игры, мобильный, телефон, Android, iOS, apple, мобильный телефон, Samsung, iphone, xiomi, xiaomi, redmi, honor, oppo, nokia, sonya, mi, ПК, web, Сеть, компьютер, Информация о Математическое выражение, Что такое Математическое выражение? Что означает Математическое выражение?
U etogo termina sushestvuyut i drugie znacheniya sm Vyrazhenie Vyrazhenie v matematike odno iz fundamentalnyh matematicheskih ponyatij lezhashee v osnove yazyka matematiki S pomoshyu matematicheskih vyrazhenij zapisyvayutsya raschyotnye algoritmy formuliruyutsya aksiomy i teoremy matematiki zakony estestvennyh nauk Prostejshim sluchaem yavlyayutsya chislovye algebraicheskie vyrazheniya kotorye mogut soderzhat bukvennye parametry naprimer 2 p R displaystyle 2 cdot pi cdot R vyrazhenie dlya dliny okruzhnosti zavisyashee ot radiusa R displaystyle R Odnako sushestvuyut i obobsheniya dlya drugih matematicheskih sistem ne obyazatelno chislovyh logicheskie tekstovye matrichnye vektornye tenzornye analiticheskie teoretiko mnozhestvennye i drugie tipy vyrazhenij kazhdyj so svoim naborom operacij sm primery V formulirovkah aksiom i teorem chasto sochetayutsya neskolko razlichnyh tipov vyrazhenij sm naprimer aksiomatiku veshestvennyh chisel OpredelenieVyrazhenie eto postroennaya po prinyatym v matematike pravilam kombinaciya chisel bukv simvolov funkcij simvolov operacij skobok i drugih matematicheskih oboznachenij naprimer simvolov summy S displaystyle Sigma proizvedeniya P displaystyle Pi proizvodnyh integralov i t d Chislovye vyrazheniya ne soderzhashie bukv nazyvayutsya arifmeticheskimi vyrazheniyami Chislovoe algebraicheskoe vyrazhenie ne soderzhashee bukv v kachestve delitelej ili pod znakom kornya nazyvaetsya celym vyrazheniem Ne sleduet putat ponyatiya matematicheskogo vyrazheniya i matematicheskoj formuly Formula opredelyaetsya kak kom bi na ciya ma te ma ticheskih simvolov vy ra zhayu shaya nekotoroe ut verzh de nie obychno v forme Vyrazhenie 1 Vyrazhenie 2 Vmesto znaka ravenstva v formule mozhet byt odin iz znakov neravenstva simvol prinadlezhnosti mnozhestvu ili inye simvoly obrazuyushie utverzhdenie Vyrazhenie zhe samo po sebe ne obrazuet nikakogo utverzhdeniya Takim obrazom vsyakaya formula est vyrazhenie no ne vsyakoe vyrazhenie est formula Primery7 5 11 displaystyle 7 5 times 11 chislovoe arifmeticheskoe vyrazhenie bez bukvennyh parametrov b2 4ac displaystyle sqrt b 2 4ac chislovoe algebraicheskoe vyrazhenie a gt b b 0 a 0 displaystyle a gt b land b neq 0 lor a neq 0 logicheskoe vyrazhenie C product id tekstovoe vyrazhenie sklejka dvuh strok det A xE displaystyle det A xE matrichnoe vyrazhenie Znacheniem vyrazheniya yavlyaetsya harakteristicheskij mnogochlen matricy A displaystyle A axf t dt displaystyle int limits a x f t dt analiticheskoe vyrazhenie sopostavlyayushee funkcii f x displaystyle f x eyo pervoobraznuyu Aksioma Arhimeda a R a gt 0 n N n gt a displaystyle forall a in mathbb R a gt 0 exists n in mathbb N n gt a dlya vsyakogo polozhitelnogo veshestvennogo chisla najdyotsya naturalnoe ego prevoshodyashee Znachenie vyrazheniyaDlya kazhdogo vyrazheniya zadayutsya ili podrazumevayutsya oblasti opredeleniya vhodyashih v nego bukv funkcij i operacij Podstanovka konkretnyh znachenij bukvennyh parametrov i vypolnenie s nimi zadannyh operacij pozvolyayut poluchit znachenie vyrazheniya kotoroe mozhet prinadlezhat inoj matematicheskoj sisteme sm primer 5 Pri etom lyubaya dopustimaya podstanovka parametrov dolzhna sozdavat osmyslennoe rezultiruyushee vyrazhenie Byt istochnikom znachenij odno iz osnovnyh prednaznachenij vyrazheniya Dva vyrazheniya nazyvayutsya tozhdestvenno ravnymi ravnosilnymi ekvivalentnymi esli pri lyubyh dopustimyh znacheniyah vhodyashih v nih peremennyh znacheniya oboih vyrazhenij sovpadayut Primer v arifmetike a b a b displaystyle a b a b ravnosilno a2 b2 displaystyle a 2 b 2 Zamena vyrazhenie na tozhdestvenno ravnoe emu kak pravilo dlya uprosheniya vyrazheniya ili dlya issledovaniya ego svojstv nazyvaetsya tozhdestvennym preobrazovaniem vyrazheniya Dlya kazhdogo tipa vyrazheniya sushestvuyut svoi pravila tozhdestvennyh preobrazovanij sm o nih stati Zakony elementarnoj algebry Algebra logiki Metody integrirovaniya i t p V informatikeOsnovnaya statya Vyrazhenie informatika Rabota s vyrazheniyami v yazykah programmirovaniya imeet svoyu specifiku Oboznacheniya operacij v nih otlichayutsya ne tolko ot obsheprinyatogo matematicheskogo standarta no v raznyh yazykah programmirovaniya oni voobshe govorya mogut byt raznymi Sm naprimer Vozvedenie v stepen v yazykah programmirovaniya Rezultaty operacij mogut zaviset ot tipa operandov i ih dliny v mashinnoj pamyati Chast sistem programmirovaniya dopuskaet pobochnye effekty iz za chego naprimer znachenie vyrazheniya x f x displaystyle x f x zavisit ot poryadka vychislenij sozdannogo kompilyatorom esli funkciya f x displaystyle f x izmenyaet znachenie svoego argumenta x displaystyle x PrimechaniyaOxford English Dictionary s v Expression n sense II 7 A group of symbols which together represent a numeric algebraic or other mathematical quantity or function Expression in Maths Chislovye bukvennye vyrazheniya i vyrazheniya s peremennymi opredeleniya primery Barsukov 1966 s 5 Mordkovich i dr 2016 s 53 Formula arh 24 oktyabrya 2022 Bolshaya rossijskaya enciklopediya v 35 t gl red Yu S Osipov M Bolshaya rossijskaya enciklopediya 2004 2017 Zorich V A Matematicheskij analiz ch 1 Moskva FAZIS 1997 S 50 554 s ISBN 5 7036 0031 6 Barsukov 1966 s 7 8 Makarychev 1985 s 3 9 Makarychev 1985 s 14 Makarychev 1985 s 14 19 Mordkovich i dr 2016 s 55 56 LiteraturaBarsukov A N Algebra Uchebnik dlya 6 8 klassov Pod red S I Novosyolova 11 e izd M Prosveshenie 1966 296 s Makarychev Yu N i dr Algebra 6 klass pod red S A Telyakovskogo 8 e izd M Prosveshenie 1985 224 s Mordkovich A G Glizburg V I Lavrenteva N Yu Matematika Novyj polnyj spravochnik dlya podgotovki k EGE M AST 2016 351 s ISBN 978 5 17 099580 6 SsylkiExpression in Maths angl Data obrasheniya 23 oktyabrya 2022
