term 1
noundomain: thinkingregister: specj.
Słowosieć [ver.5.0]
PolishDefinition
wyrażenie składające się ze zmiennych oraz symboli funkcyjnych o dowolnej argumentowości (w tym o argumentowości 0, czyli stałych) z pewnego ustalonego zbioru.
Examples
- 1.Termy boole’owskie są nazwami na obiekty w rozszerzeniach generycznych modeli teorii mnogości w tym sensie, że każdy element rozszerzenia jest interpretacją pewnego termu przez filtr generyczny.
- 2.Termy mają zastosowanie w matematyce, logice, informatyce.
