22 kontakty: Alan Turing, Algorytm, Funkcja, Funkcja charakterystyczna zbioru, Funkcja rekurencyjna, Funkcja stała, Hipoteza Churcha-Turinga, Kwantyfikator ogólny, Lata 30. XX wieku, Liczby naturalne, Logika matematyczna, Maszyna Turinga, Problem NP, Rekurencja, Relacja (matematyka), Sieć komputerowa, Stephen Cole Kleene, Teoria obliczalności, Teoria obliczeń, XX wiek, Złożenie funkcji, Zbiór.
Alan Turing
Alan Mathison Turing (ur. 23 czerwca 1912 w Londynie, zm. 7 czerwca 1954 w Wilmslow k. Manchesteru) – brytyjski matematyk, informatyk i wojskowy.
Nowy!!: Teoria rekursji i Alan Turing · Zobacz więcej »
Algorytm
Algorytm – skończony ciąg jasno zdefiniowanych czynności koniecznych do wykonania pewnego rodzaju zadań, sposób postępowania prowadzący do rozwiązania problemu.
Nowy!!: Teoria rekursji i Algorytm · Zobacz więcej »
Funkcja
suriekcją. parabola. dziedzinie zespolonej. Funkcja („odbywanie, wykonywanie, czynność”Od „wykonać, wypełnić, zwolnić”.), odwzorowanie, przekształcenie, transformacja – pojęcie matematyczne używane w co najmniej dwóch zbliżonych znaczeniach.
Nowy!!: Teoria rekursji i Funkcja · Zobacz więcej »
Funkcja charakterystyczna zbioru
Funkcja charakterystyczna zbioru, indykator zbioru – niech A będzie dowolnym zbiorem, zaś B jego podzbiorem, B \subseteq A. Funkcjącharakterystycznązbioru B nazywa się funkcję rzeczywistąf\colon A \longrightarrow \ określonąnastępującym wzorem: Oznaczeniem funkcji charakterystycznej zbioru B\subseteq A jest \mathbf 1_, \ \chi_, \ \mathbf 1_B, bądź \chi_B.
Nowy!!: Teoria rekursji i Funkcja charakterystyczna zbioru · Zobacz więcej »
Funkcja rekurencyjna
Funkcja rekurencyjna – funkcja \mathbb^i\to\mathbb, która jest obliczalna za pomocąmaszyny Turinga.
Nowy!!: Teoria rekursji i Funkcja rekurencyjna · Zobacz więcej »
Funkcja stała
Przykłady funkcji stałych Funkcja stała – funkcja przyjmująca tę samąwartość niezależnie od argumentu.
Nowy!!: Teoria rekursji i Funkcja stała · Zobacz więcej »
Hipoteza Churcha-Turinga
Hipoteza Churcha-Turinga (zwana również TeząChurcha-Turinga) jest hipoteząokreślającąmożliwości komputerów i innych maszyn obliczeniowych.
Nowy!!: Teoria rekursji i Hipoteza Churcha-Turinga · Zobacz więcej »
Kwantyfikator ogólny
Kwantyfikator ogólny, kwantyfikator duży, kwantyfikator uniwersalny – kwantyfikator oznaczający, że dane twierdzenie (funkcja zdaniowa) jest prawdziwe dla dowolnej wartości zmiennej.
Nowy!!: Teoria rekursji i Kwantyfikator ogólny · Zobacz więcej »
Lata 30. XX wieku
Lata 30.
Nowy!!: Teoria rekursji i Lata 30. XX wieku · Zobacz więcej »
Liczby naturalne
osi liczbowej duża litera N – standardowy symbol liczb naturalnych. Liczby naturalne – termin dwuznaczny.
Nowy!!: Teoria rekursji i Liczby naturalne · Zobacz więcej »
Logika matematyczna
Logika matematyczna – dział matematyki, który wyodrębnił się jako samodzielna dziedzina na przełomie XIX i XX wieku, wraz z dążeniem do dogłębnego zbadania podstaw matematyki.
Nowy!!: Teoria rekursji i Logika matematyczna · Zobacz więcej »
Maszyna Turinga
Artystyczna wizja maszyny Turinga Maszyna Turinga – stworzony przez Alana Turinga abstrakcyjny model urządzenia służącego do wykonywania algorytmów.
Nowy!!: Teoria rekursji i Maszyna Turinga · Zobacz więcej »
Problem NP
LadneraR.E. Ladner, ''On the structure of polynomial time reducibility'', J.ACM, 22, 1975, s. 151–171. Corollary 1.1. http://portal.acm.org/citation.cfm?id.
Nowy!!: Teoria rekursji i Problem NP · Zobacz więcej »
Rekurencja
Przykład rekurencji w sztuce użytkowej (efekt Droste) Trójkąt Sierpińskiego nieskończonego lustra Rekurencja, rekursja (z, przybiec z powrotem) – odwoływanie się funkcji lub definicji do samej siebie.
Nowy!!: Teoria rekursji i Rekurencja · Zobacz więcej »
Relacja (matematyka)
Relacja – dowolny podzbiór iloczynu kartezjańskiego skończonej liczby zbiorów; definicja ta oddaje intuicję pewnego związku, czy zależności między elementami wspomnianych zbiorów (elementy wspomnianych zbiorów pozostająw związku albo łączy je pewna zależność, czy też własność lub nie).
Nowy!!: Teoria rekursji i Relacja (matematyka) · Zobacz więcej »
Sieć komputerowa
Sieć komputerowa – zbiór komputerów i innych urządzeń połączonych z sobąkanałami komunikacyjnymi oraz oprogramowanie wykorzystywane w tej sieci.
Nowy!!: Teoria rekursji i Sieć komputerowa · Zobacz więcej »
Stephen Cole Kleene
Stephen Cole Kleene (ur. 5 stycznia 1909 w Hartford w stanie Connecticut, zm. 25 stycznia 1994 w Madison w stanie Wisconsin) – amerykański matematyk, jeden z pionierów informatyki teoretycznej.
Nowy!!: Teoria rekursji i Stephen Cole Kleene · Zobacz więcej »
Teoria obliczalności
Teoria obliczalności, także teorii rekursji – dział teorii obliczeń zajmujący się badaniem jakie problemy sąrozwiązywalne przy użyciu komputerów.
Nowy!!: Teoria rekursji i Teoria obliczalności · Zobacz więcej »
Teoria obliczeń
Teoria obliczeń – dział informatyki i matematyki, który dzieli się na: teorię automatów i języków formalnych, teorię obliczalności oraz teorię złożoności.
Nowy!!: Teoria rekursji i Teoria obliczeń · Zobacz więcej »
XX wiek
XIX wiek XXI wiek Lata 1900. • Lata 1910. • Lata 1920. • Lata 1930. • Lata 1940. • Lata 1950. • Lata 1960. • Lata 1970. • Lata 1980. • Lata 1990. 1901 1902 1903 1904 1905 1906 1907 1908 1909 1910 1911 1912 1913 1914 1915 1916 1917 1918 1919 1920 1921 1922 1923 1924 1925 1926 1927 1928 1929 1930 1931 1932 1933 1934 1935 1936 1937 1938 1939 1940 1941 1942 1943 1944 1945 1946 1947 1948 1949 1950 1951 1952 1953 1954 1955 1956 1957 1958 1959 1960 1961 1962 1963 1964 1965 1966 1967 1968 1969 1970 1971 1972 1973 1974 1975 1976 1977 1978 1979 1980 1981 1982 1983 1984 1985 1986 1987 1988 1989 1990 1991 1992 1993 1994 1995 1996 1997 1998 1999 2000 ----.
Nowy!!: Teoria rekursji i XX wiek · Zobacz więcej »
Złożenie funkcji
Ilustracja złożenia dwóch funkcji Diagram przemienny przedstawiający złożenie funkcji lub innych strzałek Złożenie funkcji, superpozycja funkcji – podstawowa operacja w matematyce, polegająca na tym, że efekt kolejnego stosowania dwóch (lub więcej) funkcji (ze zbioru w zbiór), a także przekształceń, odwzorowań, transformacji, relacji dwuargumentowych, traktuje się jako wynik stosowania jednej funkcji (lub relacji) złożonej.
Nowy!!: Teoria rekursji i Złożenie funkcji · Zobacz więcej »
Zbiór
Zbiór (dawniej także mnogość) – pojęcie pierwotne aksjomatycznej teorii mnogości (zwanej też teoriązbiorów) leżące u podstaw całej matematyki; idealizacja intuicyjnie rozumianego zbioru (zestawu, kolekcji) utworzonego z elementów (komponentów, składowych), która jest efektem abstrahowania od wewnętrznej struktury modelowanego obiektu i wzajemnych zależności między jego elementami (np. hierarchii, czy kolejności).
Nowy!!: Teoria rekursji i Zbiór · Zobacz więcej »