Равенство Клини
(Перенаправлено из «Сильное равенство »)
В математике , равенство Клини [1] или сильное равенство , ( ) — это оператор равенства частичных функций , который утверждает, что для данного аргумента либо обе функции не определены, либо обе определены и их значения для этих аргументов равны.
Например, если у нас есть частичные функции и , означает, что для каждого : [2]
- и оба определены и
- или и оба не определены.
Ссылки
[ редактировать ]- ^ «Равенство Клини в nLab» . ncatlab.org .
- ^ Катленд 1980 , с. 3.
- Катленд, Найджел (1980). Вычислимость, введение в рекурсивную теорию функций . Издательство Кембриджского университета. п. 251. ИСБН 978-0-521-29465-2 .