32 kontakty: Algorytm, Alonzo Church, Alternatywa, Arytmetyka w rachunku lambda, Łączność (matematyka), Currying, Definicja, Funkcja, Funkcja stała, Implikacja, Język programowania, Koniunkcja (logika), Konwersja α, Liczby naturalne, Lisp, Maszyna Turinga, Matematyka, Negacja, Operator paradoksalny, Programowanie funkcyjne, Rachunek kombinatorów, Rachunek lambda z typami, Redukcja beta, Rekurencja, Relacja równoważności, Routledge Encyclopedia of Philosophy, S-wyrażenie, Stephen Cole Kleene, System formalny, System typów, Złożenie funkcji, Zbiór przeliczalny.
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!!: Rachunek lambda i Algorytm · Zobacz więcej »
Alonzo Church
Alonzo Church (ur. 14 czerwca 1903 w Waszyngtonie, zm. 11 sierpnia 1995 w Hudson) – amerykański logik i matematyk.
Nowy!!: Rachunek lambda i Alonzo Church · Zobacz więcej »
Alternatywa
Alternatywa, suma logiczna, alternatywa zwykłaTaka nazwa jest niekiedy stosowana dla odróżnienia od alternatywy rozłącznej.
Nowy!!: Rachunek lambda i Alternatywa · Zobacz więcej »
Arytmetyka w rachunku lambda
Arytmetyka w rachunku lambda – rodzaj arytmetyki związanej z rachunkiem lambda, opierającej się na liczbach naturalnych Churcha.
Nowy!!: Rachunek lambda i Arytmetyka w rachunku lambda · Zobacz więcej »
Łączność (matematyka)
Łączność, asocjatywność – jedna z własności działań dwuargumentowych, np.
Nowy!!: Rachunek lambda i Łączność (matematyka) · Zobacz więcej »
Currying
Rozwijanie funkcji (ang. currying) – operacja w funkcyjnych językach programowania polegająca na przekształceniu funkcji, która pobiera parę argumentów i zwraca wynik (f: (P \times Q) \to R) w funkcję, która po pobraniu argumentu zwraca funkcję, która pobiera argument i zwraca wynik (g: P \to (Q \to R)).
Nowy!!: Rachunek lambda i Currying · Zobacz więcej »
Definicja
Definicja (z łac. definitio; od czas. definire: de + finire, „do końca, granicy”; od finis: granica, koniec) – wypowiedź o określonej budowie, w której informuje się o znaczeniu pewnego wyrażenia przez wskazanie innego wyrażenia oddającego sens sformułowania.
Nowy!!: Rachunek lambda i Definicja · 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!!: Rachunek lambda i Funkcja · 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!!: Rachunek lambda i Funkcja stała · Zobacz więcej »
Implikacja
* implikacja materialna.
Nowy!!: Rachunek lambda i Implikacja · Zobacz więcej »
Język programowania
Język programowania – zbiór zasad określających, kiedy ciąg symboli tworzy program komputerowy oraz jakie obliczenia opisuje.
Nowy!!: Rachunek lambda i Język programowania · Zobacz więcej »
Koniunkcja (logika)
Koniunkcja – zdanie złożone mające postać p i q, gdzie p, q sązdaniami.
Nowy!!: Rachunek lambda i Koniunkcja (logika) · Zobacz więcej »
Konwersja α
Konwersja α – operacja w rachunku lambda polegająca na zamianie zmiennej określanej przez lambdę oraz wszystkich jej wystąpień w wyrażeniu pod lambdą, na inną, nie kolidującąz żadnąz lambd zewnętrznych lub wewnętrznych.
Nowy!!: Rachunek lambda i Konwersja α · Zobacz więcej »
Liczby naturalne
osi liczbowej duża litera N – standardowy symbol liczb naturalnych. Liczby naturalne – termin dwuznaczny.
Nowy!!: Rachunek lambda i Liczby naturalne · Zobacz więcej »
Lisp
Lisp – rodzina języków programowania z długąhistoriąi charakterystycznąskładnią.
Nowy!!: Rachunek lambda i Lisp · 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!!: Rachunek lambda i Maszyna Turinga · Zobacz więcej »
Matematyka
Rafaela Santiego (XVI wiek); cyrkiel trzyma Euklides, grecki matematyk z III wieku p.n.e. Uniwersytetu Oksfordzkiego; na ziemi znajduje się parkietaż Penrose’a opisany po raz pierwszy przez jednego z pracowników tej placówki. Matematyka (z łac. mathematicus, od gr. μαθηματικός mathēmatikós, od μαθηματ-, μαθημα mathēmat-, mathēma, „nauka, lekcja, poznanie”, od μανθάνειν manthánein, „uczyć się, dowiedzieć”; prawd. spokr. z goc. mundon, „baczyć, uważać”) – nauka zaliczana do grupy formalnych, inaczej dedukcyjnych lub apriorycznych, a także do nauk ścisłych i definiująca tę grupę – matematyka stanowi ich fundament.
Nowy!!: Rachunek lambda i Matematyka · Zobacz więcej »
Negacja
Negacja (z łac. negatio), zaprzeczenie – pojęcie logiki i językoznawstwa o kilku znaczeniach.
Nowy!!: Rachunek lambda i Negacja · Zobacz więcej »
Operator paradoksalny
Operator paradoksalny (operator punktu stałego) – funkcja w rachunku lambda, która dla każdej funkcji tworzy jej punkt stały: Nazwa bierze się stąd, iż jeśli tąfunkcjąbędzie na przykład negacja (niezależnie od przyjętej definicji) to: Operatorów paradoksalnych jest nieskończenie wiele.
Nowy!!: Rachunek lambda i Operator paradoksalny · Zobacz więcej »
Programowanie funkcyjne
Programowanie funkcyjne – filozofia i metodyka programowania będąca odmianąprogramowania deklaratywnego, w której wykorzystuje się to, że funkcje należądo typów pierwszoklasowych.
Nowy!!: Rachunek lambda i Programowanie funkcyjne · Zobacz więcej »
Rachunek kombinatorów
Rachunek kombinatorów (ang. Combinatory Calculi) to jeden z najprostszych możliwych uniwersalnych systemów formalnych.
Nowy!!: Rachunek lambda i Rachunek kombinatorów · Zobacz więcej »
Rachunek lambda z typami
Rachunek lambda z typami to postać rachunku lambda rozszerzona o typy i z ograniczeniami, jakie wyrażenia sądozwolone, zależnie od ich typów.
Nowy!!: Rachunek lambda i Rachunek lambda z typami · Zobacz więcej »
Redukcja beta
Redukcja β to najważniejsze przekształcenie w rachunku lambda, odpowiadające aplikacji funkcji.
Nowy!!: Rachunek lambda i Redukcja beta · 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!!: Rachunek lambda i Rekurencja · Zobacz więcej »
Relacja równoważności
Relacja równoważności – zwrotna, symetryczna i przechodnia relacja dwuargumentowa określona na pewnym zbiorze utożsamiająca ze sobąw pewien sposób jego elementy, co ustanawia podział tego zbioru na rozłączne podzbiory według tej relacji.
Nowy!!: Rachunek lambda i Relacja równoważności · Zobacz więcej »
Routledge Encyclopedia of Philosophy
Routledge Encyclopedia of Philosophy – encyklopedia filozofii pod redakcjąEdwarda Craiga.
Nowy!!: Rachunek lambda i Routledge Encyclopedia of Philosophy · Zobacz więcej »
S-wyrażenie
drzewo reprezentujące s-wyrażenie w postaci (* 2 (+ 3 4)) S-wyrażenie (ang. S-expression skrót od symbolic expression) – to notacja, służąca do zapisu struktury list oraz drzew pod postaciątekstu.
Nowy!!: Rachunek lambda i S-wyrażenie · 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!!: Rachunek lambda i Stephen Cole Kleene · Zobacz więcej »
System formalny
System formalny – język formuł (logiki) wraz ze zbiorem reguł wyprowadzania (wywodu) i zwykle zbiorem aksjomatów.
Nowy!!: Rachunek lambda i System formalny · Zobacz więcej »
System typów
System typów – system klasyfikacji wyrażeń w zależności od rodzajów wartości, jakie one generują.
Nowy!!: Rachunek lambda i System typów · 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!!: Rachunek lambda i Złożenie funkcji · Zobacz więcej »
Zbiór przeliczalny
Zbiór przeliczalny – zbiór, którego elementy można ustawić w ciąg (skończony bądź nie), tzn.
Nowy!!: Rachunek lambda i Zbiór przeliczalny · Zobacz więcej »
Przekierowuje tutaj:
Lambda-wyrażenia, Rekurencja w rachunku lambda, Wyrażenia lambda.