Kategoria:Rachunek lambda
Z Wikipedii
Skocz do:
nawigacji
,
szukaj
Strony w kategorii „Rachunek lambda”
Poniżej wyświetlono 14 spośród wszystkich 14 stron tej kategorii.
Rachunek lambda
A
Arytmetyka w rachunku lambda
C
Alonzo Church
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
Widok
Kategoria
Dyskusja
Edytuj
Historia i autorzy
Osobiste
Logowanie i rejestracja
Szukaj
Nawigacja
Strona główna
Kategorie artykułów
Bieżące wydarzenia
Losuj stronę
Dla czytelników
Zgłoś błąd
Zgłoś złą grafikę
Częste pytania (FAQ)
Kontakt z Wikipedią
Wspomóż Fundację
Dla edytorów
Ostatnie zmiany
Zasady edytowania
Pomoc
Portal wikipedystów
Ogłoszenia
Utwórz książkę
Dodaj kategorię
Książki – pomoc
Narzędzia
Linkujące
Zmiany w dolinkowanych
Strony specjalne
Wersja do druku
Link do tej wersji
Wersja PDF
W innych językach
English
Esperanto
Hrvatski
Nederlands
Русский
中文