Liczby naturalne i funkcje obliczalne - Andrzej Włodzimierz Mostowski - książka wyd. 1971
24,96 zł
tezeusz.pl Zobacz w sklepie Opis
Istnieje wiele równoważnych sposobów określenia klasy funkcji obliczalnych. Dla potrzeb tego artykułu przyjmiemy, że funkcje obliczalne zostały określone jako skończone funkcje częściowe na liczbach naturalnych, które dają się obliczyć za pomocą maszyny Turinga. Istnieje wiele równoznacznych modeli obliczalności, ...