| dbo:abstract
|
- A Herbrand-univerzum a matematikai logikában egy jelkészletéből felépíthető összes ún. alapterm, vagyis a logikai változót nem tartalmazó (függvény)kifejezések halmaza; szerepe az, hogy univerzumul szolgál egy e nyelvek vizsgálata számára fontos és hasznos eszköznek, a Herbrand-interpretációknak. A részletesebb definíciót ld. (hu)
- A Herbrand-univerzum a matematikai logikában egy jelkészletéből felépíthető összes ún. alapterm, vagyis a logikai változót nem tartalmazó (függvény)kifejezések halmaza; szerepe az, hogy univerzumul szolgál egy e nyelvek vizsgálata számára fontos és hasznos eszköznek, a Herbrand-interpretációknak. A részletesebb definíciót ld. (hu)
|
