wikiの「数式」の項目より

＞数学における数式は、数・演算記号・不定元などの数学的な文字・記号（および約物）が
＞一定の規則にのっとって結合された、文字列である。

＞代数式とは加減乗除冪根の6種類の符号によって連結されている数式をいい、それ以外の式を超越式という。

＞代数学において数式は「値」を指定することに利用できる（値はその式に現れる変数に割り当てられた値に依存してよい）。
＞この「値」を決定する問題は、数式を構成する各記号に割り当てられた意味論に依って異なり、
＞意味論の選択はその数式が属している文脈に依存して決まる。例えば、構文論的には同じ式 "1 + 2 × 3" でも、
＞演算の優先順位が文脈によって異なれば、異なる値（この場合、7 かもしれないし 9 かもしれない）を持ち得る。