Formula

thumb| 1994 yilda ETH Tsyurixda bo'lib o'tgan konferensiya paytida Edsger Deykstra, hisoblash fanining asoschilari avlodining eng nufuzli namoyandalaridan biri. Deykstraning o'z so'zlari bilan aytganda, "Rasm ming so'zga arziydi, formula esa mingta rasmga". Dijkstra, E.W. (July 1996), A first exploration of effective reasoning EWD896. (E.W. Dijkstra Archive, Center for American History, University of Texas at Austin)
Ilm-fanda formula - bu matematik formulada yoki hisoblashlarda boʻlgani kabi, ma'lumotni ramziy ravishda ifodalashning qisqacha usuli hisoblanadi. Fanda formula atamasining norasmiy qo'llanilishi berilgan miqdorlar orasidagi munosabatlarning umumiy tuzilishiga ishora qiladi.

 Matematikada 
Matematikada formula odatda bir matematik ifodani boshqasiga tenglashtiradigan ayniyatni anglatadi. Eng muhim dan biri esa matematik teoremalardir . Sintaktik jihatdan formula (ko'pincha yaxshi shakllangan formula deb ataladi) ma'lum bir mantiqiy tilning belgilari va shakllanish qoidalaridan foydalangan holda tuzilgan obyektdir. Misol uchun, sharning hajmini aniqlash uchun katta miqdordagi integral hisob yoki uning geometrik analogi talab qilinadi. Biroq, buni qandaydir parametr (masalan, radius ) bo'yicha bir marta bajarib, matematiklar shar hajmini uning radiusi bo'yicha aniqlash uchun formula ishlab chiqganlar:

 .

Ushbu natijaga erishilganidan so'ng, radiusi ma'lum boʻlgan har qanday sharning hajmini hisoblash mumkin. Bu yerda V hajm va r radius so'zlar yoki iboralar o'rniga bitta harf sifatida ifodalanganligiga e'tibor bering. Bu konvensiya nisbatan sodda formulada unchalik muhim boʻlmasa-da, matematiklar kattaroq va murakkabroq formulalarni tezroq boshqarishi mumkinligini anglatadi. Matematik formulalar ko'pincha algebraik, analitik yoki yopiq shaklda bo'ladi . 

Umumiy kontekstda formulalar haqiqiy dunyo hodisalarining matematik modelining ko'rinishi bo'lib, shuning uchun ba'zilari boshqalardan ko'ra umumiyroq boʻlgan holda haqiqiy dunyo muammolarining yechimini (yoki taxminiy yechimini) ta'minlash uchun ishlatilishi mumkin. Masalan, 

 

formula Nyutonning ikkinchi qonunining ifodasi boʻlib, koʻplab jismoniy vaziyatlarga nisbatan qoʻllanadi. Ko'rfazdagi to'lqinlarning harakatini modellashtirish uchun sinus egri chizig'i tenglamasidan foydalanish kabi boshqa formulalar muayyan muammoni hal qilish uchun yaratilishi mumkin. Biroq, barcha holatlarda formulalar hisob-kitoblar uchun asos bo'ladi.

Ifodalar formulalardan farq qiladi, chunki ular tenglik belgisini (=) o'z ichiga olmaydi. Formulalarni grammatik jumlalarga o'xshatish mumkin boʻlgani kabi ifodalarni iboralarga o'xshatish mumkin.

 Hisoblashlarda 
Hisoblashda formula bir yoki bir nechta o'zgaruvchilar ustida bajarilishi kerak boʻlgan (qo'shish kabi) hisoblashni tavsiflaydi. Formula ko'pincha bilvosita kompyuter ko'rsatmasi shaklida taqdim etiladi. Masalan,

 Selsiy darajasi = (5/9)*( Farengeyt darajasi - 32).

Kompyuterning elektron jadval dasturida katakning qiymatini qanday hisoblashni ko'rsatadigan formulani, masalan, A3 ni yozish mumkin

 =A1+A2,

bu yerda A1 va A2 elektron jadvaldagi boshqa kataklarga (A ustuni, 1 yoki 2-qator) ishora qiladi. 

 Yana qarang 

 Formula muharriri
 Formula birligi
 Matematik belgilar
 Teorema

 

Turkum:Elementar algebra
Turkum:Matematik belgilashlar