Turing
Korpus Języka Polskiego PWN
Autentyczne przykłady użycia w piśmie i mowie zgromadzone w Korpusie
- ... ten jest właściwie tak stary, jak sama teoria rekursji. Już Turing bowiem wprowadził "liczby obliczalne". E. Specker (w roku 1949) skonstruował...
- ... w latach trzydziestych naszego stulecia. Impuls do tego dał Allan Turing w swoim artykule Czy maszyna może myśleć? Udzielając zasadniczo pozytywnej...
- ... m-definiowalnych i z klasą funkcji obliczalnych za pomocą maszyn Turinga. Powstała w ten sposób teoria funkcji rekurencyjnych jest dziś ważnym...
- ... charakteryzowaniem efektywnej obliczalności za pomocą maszyn abstrakcyjnych (zwanych dziś maszynami Turinga). Wszystkie te badania, prowadzone przy odwołaniu się do różnych motywacji...
- ... przystępny i ciekawy. Dla zainteresowanych.
HARRY HARRISON, MARVIN MINSKY
Opcja Turinga
gatunek: thriller implantologiczny
Poważnie uszkodzony w wypadku spec od sztucznej... - ... równoważnej m-rachunkowi) czy w końcu o badaniach Alana M. Turinga nad charakteryzowaniem efektywnej obliczalności za pomocą maszyn abstrakcyjnych (zwanych dziś...