Изменения

Перейти к: навигация, поиск

Вычислимые функции

3 байта убрано, 23:52, 18 декабря 2011
м
Теорема об униформизации
'''for''' <tex>\langle a, b \rangle \in F</tex>
'''if''' <tex>x == a</tex>
'''then return''' <tex>b</tex>
Так как множество <tex>F</tex> перечислимо, то его элементы можно перебрать.
}}
205
правок

Навигация