Сильна рівність Кліні

Матеріал з Вікіпедії — вільної енциклопедії.
Перейти до навігації Перейти до пошуку

Сильна рівність Кліні () - оператор рівності визначений на часткових функціях. Названа на честь Кліні, бо застосовується в його сильній логіці.

Нехай - дві функції від аргументів . Тоді запис , означає що :

  1. одночасно визначені і
  2. обидві невизначені.

Для довільного числа y запис означає, що f визначена для x і дорівнює y. (Власне тут ніби .)

Посилання[ред. | ред. код]

  1. Nigel Cutland. Computability, an introduction to recursive function theory. — Cambridge University Press. — С. 251. — ISBN 0521294657, 9780521294652.