téarma.ie foclóir.ie teanglann.ie gaois.ie logainm.ie
Ar ais chuig leagan don scáileán Back to screen version
An Bunachar Náisiúnta Téarmaíochta don Ghaeilge
The National Terminology Database for Irish
Taispeáin breis mionsonraí Show more details Folaigh mionsonraí breise Hide details Leagan furasta le priontáil Printer-friendly version
ionclúid · conclude · oclúid · clúid · colúin
Roghanna Options
Torthaí beachta Exact matches
Matamaitic
Mathematics
Oideachas » Taighde
Education » Research
GAconclúid bain2▼
gu conclúide, iol conclúidí
(loighic)
ENconclusion s▼
(logic)
Torthaí gaolmhara Related matches
Rialtas
Government
Oideachas
Education
GAbain br tátal as sonraí▼
bain br conclúid as sonraí▼
ENdraw v conclusion▼
Gnó
Business
DRÉACHT-IONTRÁIL
DRAFT ENTRY
GAconclúidí bain iol agus moltaí▼
ENconclusions and recommendations s pl▼
Leigheas » Gairmithe Sláinte
Medicine, Medical » Health Professionals
GAconclúidí bain iol an mheasúnaithe▼
ENassessment conclusions s pl▼
Dlí » Dlí an AE
Law » EU Law
GAconclúidí bain iol thromlach na mBreithiúna▼
ENconclusions s pl reached by the majority of the Judges▼
Gnó
Business
Gnó » Tráchtáil
Business » Commerce
GAcuir br conclúid leis an gconradh▼
ENbring v a contract to a conclusion▼
bring v the contract to a conclusion▼
Ríomhairí, Ríomheolaíocht
Computers, Computer Science
GAréasúnú fir i dtreo na sprice/slabhrú ón gconclúid siar▼
réasúnú fir i dtreo na sprice/slabhrú ón chonclúid siar▼
ENgoal-driven reasoning/backward chaining s▼
Ríomhairí, Ríomheolaíocht
Computers, Computer Science
GAslabhrú fir ón gconclúid siar▼
gu slabhraithe ón gconclúid siar
ENbackward chaining s▼
Ríomhairí, Ríomheolaíocht Algartam le haghaidh sprioc a chruthú trína bhriseadh síos go hathchúrsach ina fhospriocanna agus iarracht a dhéanamh iad sin a chruthú go dtí go dtagtar ar fhíricí. Spriocanna gan aon fhospriocanna iad fíricí agus más ea is fíor i gcónaí iad. Slabhrú ón gconclúid siar an mheicníocht a úsáideann formhór na dteangacha ríomhchlárúcháin loighciúil ar nós Prolog le ríomhchlár a rith. Contrárthacht: slabhrú ar aghaidh.
Computers, Computer Science An algorithm for proving a goal by recursively breaking it down into sub-goals and trying to prove these until facts are reached. Facts are goals with no sub-goals which are therefore always true. Backward chaining is the program execution mechanism used by most logic programming language like Prolog. Opposite: forward chaining.