rekurencyjnych
Korpus Języka Polskiego PWN
Autentyczne przykłady użycia w piśmie i mowie zgromadzone w Korpusie
- ... naturalnych na dowolne struktury przeliczalne.
Nurt drugi, tzn. konstruktywna matematyka rekurencyjna, związany jest przede wszystkim z Andriejem A. Markowem i stworzoną... - ... KŹ ? Odpowiedź jest tu negatywna. Definicja klasy KŹ nie jest rekurencyjna (efektywna) i wymaga użycia kwantyfikacji ogólnej względem liczb naturalnych, a...
- ... nawet niż tzw. analiza predykatywna.
D. Klasyczna i konstruktywna matematyka rekurencyjna
Ten kierunek w ramach konstruktywizmu związany jest z pojęciem funkcji... - ... finityzm, ultraintuicjonizm (zwany też ultrafinityzmem lub aktualizmem), predykatywizm, konstruktywna matematyka rekurencyjna i konstruktywizm Bishopa. Omówimy je teraz pokrótce.
A. Finityzm
Główne...
- ... kwantyfikatorem egzystencjalnym, gdy n jest nieparzyste, zaś R jest relacją rekurencyjną. Zbiory klasy %1 to zbiory, których dopełnienia są klasy &1...
- ... jest metoda Levinsona i Robinsona. Na jej podstawie Durbin opracował rekurencyjną procedurę wyznaczania współczynników predykcji [8]:
Obliczenia wykonywane są dla wartości... - ... przyjmuje się, że rozumowanie finitystyczne to tyle, co rozumowanie pierwotnie rekurencyjne w sensie Skolema, a więc dające się sformalizować w systemie...
- ... może przebiegać nie tylko liczby naturalne, ale przeliczalne liczby porządkowe rekurencyjne. Otrzymujemy w ten sposób hierarchię hiperarytmetyczną. Rodzinę zbiorów hiperarytmetycznych oznaczamy...
- ... dokładnych definicji - Czytelnik znajdzie je np. w naszej książce Funkcje rekurencyjne i elementy metamatematyki czy w książce J. R. Shoenfielda Mathematical...
- ... metamatematycznych (por. na ten temat na przykład R. Murawskiego Funkcje rekurencyjne i elementy metamatematyki).
Pojęcie rekurencyjności wykorzystywane jest przez prądy konstruktywistyczne... - ... B. Pour-El i J. I. Richarda: otóż skonstruowali oni rekurencyjne równanie różniczkowe zwyczajne, które nie ma rekurencyjnych rozwiązań. Do tego...
- ... wprowadził "liczby obliczalne". E. Specker (w roku 1949) skonstruował przykład rekurencyjnego, ograniczonego i monotonicznego ciągu liczb wymiernych, który nie ma granicy...
- ... tylko o dwu z nich, a mianowicie o klasycznej matematyce rekurencyjnej i o konstruktywnej matematyce rekurencyjnej.
Mianem klasycznej matematyki rekurencyjnej określa... - ... konstruktywnej matematyki rekurencyjnej. Są one następujące: (1) przedmiotem konstruktywnej matematyki rekurencyjnej są obiekty konstruktywne, dokładniej: słowa w różnych alfabetach; (2) dopuszcza...
- ... pokrywa się tu z wynikami uzyskanymi w ramach klasycznej matematyki rekurencyjnej.
Zauważmy, że Markow i jego szkoła reprezentują stanowisko nominalistyczne (por... - ... matematyce rekurencyjnej i o konstruktywnej matematyce rekurencyjnej.
Mianem klasycznej matematyki rekurencyjnej określa się badania nad rekurencyjnymi odpowiednikami pojęć klasycznych, przy czym... - ... a mianowicie o klasycznej matematyce rekurencyjnej i o konstruktywnej matematyce rekurencyjnej.
Mianem klasycznej matematyki rekurencyjnej określa się badania nad rekurencyjnymi odpowiednikami... - ... W latach 19481949 sformułował on podstawowe zasady konstruktywnej matematyki rekurencyjnej. Są one następujące: (1) przedmiotem konstruktywnej matematyki rekurencyjnej są obiekty...
- ... Hilbert był finitystą! W ostatnich latach finitystyczny system arytmetyki pierwotnie rekurencyjnej PRA jest intensywnie używany w tzw. matematyce odwrotnej (ang. reverse...
- ... w kierunku intuicjonizmu Brouwera, jak i w kierunku konstruktywnej matematyki rekurencyjnej w stylu Markowa. Jest ona też, zgodnie z pierwotnymi założeniami...
