4 kontakty: Aksjomaty i konstrukcje liczb, Arytmetyka w rachunku lambda, Funkcja wyższego rzędu, Rachunek lambda.
Aksjomaty i konstrukcje liczb
Liczby algebraiczne Aksjomaty i konstrukcje liczb – metody ścisłego definiowania liczb używane w matematyce.
Nowy!!: Liczby naturalne Churcha i Aksjomaty i konstrukcje liczb · Zobacz więcej »
Arytmetyka w rachunku lambda
Arytmetyka w rachunku lambda – rodzaj arytmetyki związanej z rachunkiem lambda, opierającej się na liczbach naturalnych Churcha.
Nowy!!: Liczby naturalne Churcha i Arytmetyka w rachunku lambda · Zobacz więcej »
Funkcja wyższego rzędu
Funkcja wyższego rzędu (ang. higher-order function) – w informatyce jest to funkcja, która zwraca lub przyjmuje jako argument inne funkcje.
Nowy!!: Liczby naturalne Churcha i Funkcja wyższego rzędu · Zobacz więcej »
Rachunek lambda
Rachunek lambda – system formalny używany do badania zagadnień związanych z podstawami matematyki jak rekurencja, definiowalność funkcji, obliczalność, podstawy matematyki np.
Nowy!!: Liczby naturalne Churcha i Rachunek lambda · Zobacz więcej »