3 kontakty: Postać normalna (matematyka), Rachunek lambda, Słaba czołowa postać normalna.
Postać normalna (matematyka)
Postać normalna – pewna szczególna postać wyrażenia, która jest w pewnym sensie "równoważna" każdemu wyrażeniu z pewnego zbioru wyrażeń.
Nowy!!: Czołowa postać normalna i Postać normalna (matematyka) · 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!!: Czołowa postać normalna i Rachunek lambda · Zobacz więcej »
Słaba czołowa postać normalna
Słaba czołowa postać normalna – wyrażenie w rachunku lambda, w którym główne wyrażenie nie jest redukowalne.
Nowy!!: Czołowa postać normalna i Słaba czołowa postać normalna · Zobacz więcej »