2 kontakty: Punkt stały, Rachunek lambda.
Punkt stały
Funkcja rzeczywista zmiennej rzeczywistej mająca trzy punkty stałe Punkt stały odwzorowania pewnego zbioru w siebie – argument funkcji, dla którego jej wartość jest mu równa.
Nowy!!: Operator paradoksalny i Punkt stały · 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!!: Operator paradoksalny i Rachunek lambda · Zobacz więcej »