obliczalny
Korpus Języka Polskiego PWN
Autentyczne przykłady użycia w piśmie i mowie zgromadzone w Korpusie
- ... ma rekurencyjnych rozwiązań. Do tego też nurtu zaliczyć należy analizę obliczalną stworzoną przez Stefana Banacha i Stanisława Mazura w latach trzydziestych...
- ... stary, jak sama teoria rekursji. Już Turing bowiem wprowadził "liczby obliczalne". E. Specker (w roku 1949) skonstruował przykład rekurencyjnego, ograniczonego i...
- ... Mostowskiego stopnie konstruktywności
Wyżej (w punkcie D) mówiliśmy o analizie obliczalnej BanachaMazura oraz o zastosowaniu teorii funkcji rekurencyjnych do rozważań...
- ... ma jedną zaletę w porównaniu z LPR i Samoobroną: jest obliczalny - mówił wtedy lider PO.
Z wielkiej koalicji nic nie wyszło... - ... się z klasą funkcji m-definiowalnych i z klasą funkcji obliczalnych za pomocą maszyn Turinga. Powstała w ten sposób teoria funkcji...