extraheren

Betekenis extraheren

De betekenis van extraheren is: "uittrekken
kiezen van een deelverzameling uit een verzameling items, bevattende alle items die aan een bepaalde voorwaarde voldoen, bijv. om bepaalde cijfertekens uit een machinewoord te verkrijgen zoals aangegeven door een opdracht of een masker(1); uit een groep informatie-eenheden die eenheden selecteren, al dan niet op grond van een instructie of een masker, die aan bepaalde criteria voldoen
lichten, uittrekken
".

Defenitie extraheren

De definitie van extraheren is: "uittrekken
kiezen van een deelverzameling uit een verzameling items, bevattende alle items die aan een bepaalde voorwaarde voldoen, bijv. om bepaalde cijfertekens uit een machinewoord te verkrijgen zoals aangegeven door een opdracht of een masker(1); uit een groep informatie-eenheden die eenheden selecteren, al dan niet op grond van een instructie of een masker, die aan bepaalde criteria voldoen
lichten, uittrekken
".