Term: Różnice pomiędzy wersjami
| [wersja nieprzejrzana] | [wersja nieprzejrzana] |
Usunięta treść Dodana treść
m term jako drzewo |
m link do drzewo (matematyka) |
||
Linia 6:
- jeśli f jest symbolem funkcyjnym o arności n, (f/n), n=>0, to f(t1,t2..tn), gdzie wszytkie ti są termami, jest termem.
Często spotykaną interpretacją termu jest [[drzewo (matematyka)]] etykietowane.
Przykładami termów są <math>x</math>, <math>f(x)</math> oraz <math>f(f(f(f(x,g),h),i),j)</math>.
| |||