Loading AI tools
Z Wikipedii, wolnej encyklopedii
Redukcja β to najważniejsze przekształcenie w rachunku lambda, odpowiadające aplikacji funkcji.
Relację -redukcji nazywamy najmniejszą relację taką, że:
Najmniejszą zwrotną i przechodnią relację zawierającą oznacza się zaś najmniejszą zwrotną, przechodnią i symetryczną –
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.