Часткова функція - велика енциклопедія нафти і газу, стаття, сторінка 1
Часткові функції називаються рівними тільки тоді, коли вони мають одну і ту ж область існування і коли їх значення рівні в кожній тг-ке, що входить в область існування. [1]
Часткова функція h (х) називається кінцевим обмеженням функції / (х), якщо / (х) є розширення функції h (х) і h (х) має кінцеву область визначеності. [2]
Часткова функція р називається - обчислюваною по Тьюрингу, якщо існує машина 9й, яка її обчислює. [3]
Часткова функція f (x), що обчислюється машиною / І, визна виділяється в такий спосіб. [4]
Часткова функція називається вирахує по Тьюрингу, якщо існує обчислює її машина. [5]
Будь-яка обчислювана часткова функція частково ре курсивні. [6]
Часткову функцію місцевості п будемо називаються вать - місцевої часткової функцією. Усюди надалі букви т, k, п, i і /, можливо з індексами, муть позначати натуральні числа. [7]
Клас часткових функцій. обчислюваних по Тьюрингу, збігається з класом нормально обчислюваних часткових функцій. [8]
Клас нормально обчислюваних часткових функцій. заданих в довільному алфавіті А, збігається з класом всіх одномісних частково рекурсивних словникових функцій в алфавіті А. [9]
Надалі часткові функції будемо розглядати з точністю до несуттєвих змінних, щодо яких безліч Ef циліндрично. [10]
З пробігає часткові функції від п змінних. [11]
Якщо допускати часткові функції і предикати, частина наших доказів можна спростити, для інших же доказів це не так. Крім того, якщо допускаються часткові базисні функції або предикати, то ніяку форму паралелізму можна моделювати без спеціальних засобів паралелізму. [12]
Під рівністю часткових функцій ми розуміємо такий стан, що якщо для деякого d визначена одна функція, то визначена і інша, і їх значення збігаються. [13]
Таким чином, часткова функція h задає дещо дивну, але цілком допустиму нумерацію безлічі Р натуральних чисел. [14]
При s N часткова функція збігається з повною функцією розподілу. [15]
Сторінки: 1 2 3 4