Term: Różnice pomiędzy wersjami
| [wersja przejrzana] | [wersja przejrzana] |
Usunięta treść Dodana treść
drobne techniczne |
m drobne porządki, replaced: {{stub}} → |
||
Linia 9:
'''Termy''' języka <math>{\mathcal L}(\tau)</math> to elementy najmniejszego zbioru <math>{\bold T}</math> takiego, że:
* wszystkie stałe i zmienne należą do <math>{\bold T}</math>,
* jeśli <math>t_1,\ldots,t_n\in {\bold T}</math> i <math>f\in\tau</math> jest <math>n</math>-arnym symbolem funkcyjnym, to <math>f(t_1,\ldots,t_n)\in {\bold T}</math>.
=== Przykłady ===
Linia 15:
:: <math>x_1*x_1</math>, oraz <math>x_1*(x_2*(x_1*(x_2*x_1)))</math> a także <math>(x_1*(x_1*(x_1*(x_1*x_1))))*(x_1*(x_2*(x_1*(x_2*x_1))))</math>
* Język [[Ciało uporządkowane|ciał uporządkowanych]] to <math>{\mathcal L}(\{+,\cdot,0,1,\leqslant\})</math> gdzie <math>+,\cdot</math> są binarnymi symbolami funkcyjnymi a <math>\leqslant</math> jest binarnym symbolem relacyjnym. Przykładowe termy tego języka to
:: <math>1+(0+1)</math>, <math>(1+1)\cdot( (1+1)\cdot 1)</math>, <math>((x_1+x_2)+0)\cdot x_7</math>.
=== Języki wyższych rzędów ===
Linia 42:
* [[indeksowanie termów]]
* [[język (logika)|język]].
[[Kategoria:Prolog]]
| |||