Сведение по Карпу — различия между версиями
(Новая страница: «==Сведение по Карпу==») |
(→Сведение по Карпу) |
||
| Строка 1: | Строка 1: | ||
| − | == | + | ==Определение== |
| + | Язык <math>A</math> сводится по Карпу к языку <math>B</math>, если существует функция <math>f(x)</math> такая, что <math>x \in A</math> тогда и только тогда, когда <math>f(x) \in b</math>. | ||
Версия 20:16, 14 марта 2010
Определение
Язык сводится по Карпу к языку , если существует функция такая, что тогда и только тогда, когда .
