Головна

   Велика Радянська Енциклопедія

обчислювана функція

   
 

обчислювана функція, одне з основних понять теорії алгоритмів. Функція f називається обчислюваною, якщо існує алгоритм , переробний всякий об'єкт х, для якого визначена функція f, в об'єкт f (x) і не застосовний ні до якого x, для якого f не визначена. Приклади: х - натуральне число, f (x) = х2; x - пара раціональних чисел x1 и x2, f (x) = x1: x2 (ця функція визначена лише для тих x, у яких x2 ? 0); X - пара матриць X1 и X2 з цілочисельними елементами, f (X) = X1X2 (ця функція визначена лише для тих X, у яких число стоблцов в X1 збігається з числом рядків у X2). Аргументами і значеннями В. ф. можуть бути лише так звані конструктивні об'єкти (див. Конструктивний напрям в математиці) (бо лише з такими об'єктами можуть оперувати алгоритми); таким чином, функція f така, що f (x) ? х не є обчислюваною, якщо її розглядати на всій дійсній прямій, але є обчислюваною, якщо її розглядати як функцію натурального або раціонального аргументу. В. ф., Областю визначення якої служить натуральний ряд, називається обчислюваною послідовністю.

© В. А. Успенський.





Виберіть першу букву в назві статті:

а б в г д е ё ж з и й к л м н о п р с т у ф х ц ч ш щ ы э ю я

Повний політерний каталог статей


 

Алфавітний каталог статей

  а б в г д е ё ж з и й к л м н о п р с т у ф х ц ч ш щ ы э ю я
 


 
© 2014-2022  vre.pp.ua