2 kontakty: Rachunek lambda, Redukcja beta.
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!!: Konwersja α i Rachunek lambda · Zobacz więcej »
Redukcja beta
Redukcja β to najważniejsze przekształcenie w rachunku lambda, odpowiadające aplikacji funkcji.
Nowy!!: Konwersja α i Redukcja beta · Zobacz więcej »