Formula

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". [1]

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.

  1. ↑ 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)