Szukaj

narzędzia

W innych językach

Kategoria:Rachunek lambda

Strony w kategorii „Rachunek lambda”

Poniżej wyświetlono 13 stron spośród wszystkich 13 stron tej kategorii.

Rachunek lambda

A

Arytmetyka w rachunku lambda

C

K

Konwersja alpha

L

Liczby naturalne Churcha

O

Operator paradoksalny

R

R cd.

S

Słaba czołowa postać normalna

T

Twierdzenie Churcha-Rossera

Źródło: "http://pl.wikipedia.org/wiki/Kategoria:Rachunek_lambda"

Kategorie: Teoria obliczeń • Automatyczne dowodzenie twierdzeń • Logika matematyczna

wymiana linkami SEO Tools SEO Tools wymiana linkami wymiana linkami tanie kredyty gotówkowe kreatyna Plaza 3 star hotel Los Angeles krynica noclegi Sejm Tyk