szukanie zaawansowane
 [ Posty: 1 ] 
Autor Wiadomość
Kobieta Offline
PostNapisane: 30 sty 2015, o 17:34 
Użytkownik
Avatar użytkownika

Posty: 401
Lokalizacja: Kraków
Ogólnie wiadomo, że zbiór funkcji częściowo rekurencyjnych zawiera się w zbiorze funkcji rekurencyjnych - tzn, zbiór funkcji rekurencyjnych jest większy (w sensie inkluzji). Patrząc jednak na definicję, zachodzę w głowę, jak to możliwe - używam definicji, która mówi, że klasa funkcji \mathcal{PREC} zawiera trzy funkcje inicjujące i jest zamknięta ze wzgl. na złożenie i rekursję prostą, natomiast klasa funkcji \mathcal{REC}, oprócz wyżej wymienionych ma jeszcze jedną cechę - jest zamknięta ze względu na \mu - rekursję. Nie wchodząc w szczegóły tych warunków, jak to możliwe, że zbiór funkcji z dodatkowym ograniczeniem jest większy niż ten pierwotny?
Idąc za wikipedią (wiem, są lepsze źródła):

Funkcję częściowo rekurencyjną, która jest zdefiniowana dla każdego argumentu, nazywamy funkcją rekurencyjną.

Z tego zdania wynika, że każda funkcja rekurencyjna jest częściowo rekurencyjna, a nie na odwrót. Gdzie popełniam błąd?
Góra
Utwórz nowy temat Odpowiedz w temacie  [ Posty: 1 ] 


 Zobacz podobne tematy
 Tytuł tematu   Autor   Odpowiedzi 
 Określ funkcję różnowartościową, stałą i...  Agata1988  1
 Wszystkie parzyste różnowartościowe funkcje  MathMaster  11
 Funkcje - zadanie 23  logs4  1
 Wyznacz y jako funkcje x  Szon  1
 Funkcje złożone - zadanie 7  mainstream  1
 
Atom [Regulamin Forum] [Instrukcja LaTeX-a] [Poradnik] [F.A.Q.] [Reklama] [Kontakt]
Copyright (C) Karpatka.pl