Tworzenie książki
(
wyłącz
)
Dodaj tę kategorię do książki
Pokaż książkę (0 stron)
Proponowane strony
Kategoria:Rachunek lambda
Z Wikipedii, wolnej encyklopedii
Skocz do:
nawigacji
,
szukaj
Strony w kategorii „Rachunek lambda”
Poniżej wyświetlono 15 spośród wszystkich 15 stron tej kategorii.
Rachunek lambda
A
Arytmetyka w rachunku lambda
C
Alonzo Church
Currying
Czołowa postać normalna
K
Konwersja alpha
L
Liczby naturalne Churcha
O
Operator paradoksalny
R
Rachunek lambda bez typów
Rachunek lambda z typami
R cd.
Redukcja beta
Rekurencja w rachunku lambda
S
System F
Słaba czołowa postać normalna
T
Twierdzenie Churcha-Rossera
Kategorie
:
Teoria obliczeń
Automatyczne dowodzenie twierdzeń
Logika matematyczna
Programowanie funkcyjne
Osobiste
.
Przestrzenie nazw
Kategoria
Dyskusja
Warianty
Widok
Czytaj
Edytuj
Historia i autorzy
Działania
Szukaj
Nawigacja
Strona główna
Kategorie artykułów
Najlepsze artykuły
Losuj artykuł
Dla czytelników
Zgłoś błąd
Zgłoś błąd w pliku
Częste pytania (FAQ)
Strona kontaktowa
Wykluczenie odpowiedzialności
Dla wikipedystów
Ostatnie zmiany
Zasady edytowania
Pomoc
Kawiarenka
Ogłoszenia
Narzędzia
Linkujące
Zmiany w dolinkowanych
Strony specjalne
Link do tej wersji
Drukuj lub eksportuj
Wyłącz tworzenie książek
Pobierz jako PDF
Wersja do druku
W innych językach
Ελληνικά
English
Esperanto
Hrvatski
Nederlands
日本語
Русский
中文