Wersja z 19:12, 2 lis 2017 edytuj E-Soter (dyskusja \| edycje) 40 edycji m →‎Przykłady: Szablon {{Kontrola autorytatywna}} ← poprzednia edycja		Aktualna wersja na dzień 00:08, 25 sty 2019 edytuj anuluj edycję Wolfgang (dyskusja \| edycje) Redaktorzy 38 279 edycji m lit.
Linia 1: {{dopracować\|zweryfikować}} '''Rachunek kombinatorów''' ([[język angielski\|ang.]] ''Combinatory Calculi'') to jeden z najprostszych możliwych uniwersalnych systemów formalnych. Na język rachunku kombinatorów składają się kombinator stały '''K''', kombinator ~~rodzielonej~~rozdzielonej aplikacji '''S''', oraz kombinatory aplikacji złożone z pary dowolnych kombinatorów - funkcji i argumentu: * σ = S \| K \| (σ σ)

Rachunek kombinatorów: Różnice pomiędzy wersjami