Przejdź do zawartości
Menu główne
Menu główne
przypnij
ukryj
Nawigacja
Strona główna
Losuj artykuł
Kategorie artykułów
Najlepsze artykuły
Częste pytania (FAQ)
Dla czytelników
O Wikipedii
Kontakt
Dla wikipedystów
Pierwsze kroki
Portal wikipedystów
Ogłoszenia
Zasady
Pomoc
Ostatnie zmiany
Szukaj
Wygląd
Wspomóż Wikipedię
Utwórz konto
Zaloguj się
Narzędzia osobiste
Wspomóż Wikipedię
Utwórz konto
Zaloguj się
Strony dla anonimowych edytorów
dowiedz się więcej
Edycje
Dyskusja
Kategoria
:
Rachunek lambda
15 języków
العربية
Ελληνικά
English
Español
Esperanto
فارسی
한국어
Hrvatski
Nederlands
日本語
Русский
Srpskohrvatski / српскохрватски
Türkçe
Українська
中文
Edytuj linki
Kategoria
Dyskusja
polski
Czytaj
Edytuj
Edytuj kod źródłowy
Wyświetl historię
Narzędzia
Narzędzia
przypnij
ukryj
Działania
Czytaj
Edytuj
Edytuj kod źródłowy
Wyświetl historię
Ogólne
Linkujące
Zmiany w linkowanych
Prześlij plik
Strony specjalne
Link do tej wersji
Informacje o tej stronie
Zobacz skrócony adres URL
Pobierz kod QR
Drukuj lub eksportuj
Utwórz książkę
Pobierz jako PDF
Wersja do druku
W innych projektach
Wikimedia Commons
Element Wikidanych
Wygląd
przypnij
ukryj
Pomoc
Z Wikipedii, wolnej encyklopedii
Strony w kategorii „Rachunek lambda”
Poniżej wyświetlono 12 spośród wszystkich 12 stron tej kategorii.
Rachunek lambda
A
Arytmetyka w rachunku lambda
C
Currying
Czołowa postać normalna
F
Funkcja anonimowa
K
Konwersja α
L
Liczby naturalne Churcha
O
Operator paradoksalny
R
Rachunek lambda z typami
Redukcja beta
S
Słaba czołowa postać normalna
System F
Kategorie
:
Teoria obliczeń
Teoria języków programowania
Automatyczne dowodzenie twierdzeń
Logika matematyczna
Programowanie funkcyjne