Aelod : Mewngofnodi |Cofrestru |Gwybodaeth llwytho i fyny
Chwilio
Sefydliad: cyfrifiadureg [Addasu ]
Crëwyd y syniad o sefydliad gan Joseph Goguen a Rod Burstall ddiwedd y 1970au er mwyn delio â'r "ffrwydrad poblogaeth ymhlith y systemau rhesymegol a ddefnyddir mewn cyfrifiadureg". Mae'r syniad yn ceisio dal hanfod y cysyniad o "system resymegol".
Mae defnyddio sefydliadau'n ei gwneud hi'n bosibl datblygu cysyniadau ieithoedd manyleb (fel strwythuro manylebau, paramedriad, gweithredu, mireinio, datblygu), profi calculi a hyd yn oed offer mewn modd sy'n gwbl annibynnol i'r system resymegol sylfaenol. Mae yna morffisiaethau hefyd sy'n caniatáu cysylltu a chyfieithu systemau rhesymegol. Mae defnyddiau pwysig o hyn yn cael eu hailddefnyddio o strwythur rhesymegol (a elwir hefyd yn fenthyca), manyleb heterogenaidd a chyfuniad o resymeg.
Mae lledaeniad theori model sefydliadol wedi cyffredinolu gwahanol syniadau a chanlyniadau'r theori model a bod y sefydliadau eu hunain wedi effeithio ar gynnydd rhesymeg cyffredinol.
[Theori model]
1.Diffiniad
2.Enghreifftiau o sefydliadau
[Llwytho Mwy Cynnwys ]


Hawlfraint @2018 Lxjkh