Eolaíocht na loighic i ríomhchlárú

Eolaíocht na loighic i ríomhchlárú

Tá an t-alt seo dírithe ar anailís chomparáideach ar aonáin loighciúla ó shaothar an fhealsaimh Ghearmánaigh Georg Wilhelm Friedrich Hegel “Science of Logic” lena n-analógacha nó a n-éagmais sa ríomhchlárú.

Tá aonáin ó Eolaíocht na Loighice i gcló iodálach chun mearbhall a sheachaint maidir leis na sainmhínithe a nglactar leo go ginearálta ar na focail seo.

Bheith íon

Má osclaíonn tú an sainmhíniú bheith íon sa leabhar, feicfidh tú líne suimiúil “gan sainmhíniú breise.” Ach dóibh siúd nár léigh nó nach dtuigeann, ná déan deifir chun an t-údar a chur i leith an néaltraithe. Bheith íon - is coincheap bunúsach é seo i loighic Hegel, rud a chiallaíonn go bhfuil rud éigin ann, le do thoil ná cuir mearbhall air agus réad a bheith ann, b'fhéidir nach bhfuil réad ann i ndáiríre, ach má shainímid ar bhealach éigin é inár loighic, tá sé ann. Má cheapann tú faoi, i ndáiríre tá rudaí mar bheith íon ní féidir sainmhíniú a thabhairt, agus tiocfaidh aon iarracht den sórt sin síos ar an bhfíric go ndéanfaidh tú tagairt go simplí dá comhchiallaigh nó do fhrithchiallacha. Bheith íon coincheap teibí den sórt sin gur féidir é a chur i bhfeidhm ar rud ar bith, lena n-áirítear é féin. I dteangacha áirithe atá dírithe ar oibiachtaí, is féidir rud ar bith a léiriú mar oibiacht, lena n-áirítear oibríochtaí ar oibiachtaí, a thugann an leibhéal astarraingthe sin dúinn i bprionsabal. Mar sin féin, i gclárú an analóg díreach bheith íon Níl. Chun seiceáil an bhfuil rud ann, ní mór dúinn a sheiceáil an bhfuil sé as láthair.

if(obj != null);

Tá sé aisteach nach bhfuil siúcra comhréire den sórt sin ann fós, ós rud é go bhfuil an-tóir ar an seic seo.

Ní dhéanfaidh aon ní

Conas a d'fhéadfá buille faoi thuairim rud ar bith Is é an easpa rud ar bith. Agus is féidir a analógach a dtugtar NULLComment. Is fiú a thabhairt faoi deara go bhfuil in eolaíocht na loighic rud ar bith Is é bheith íon, toisc go bhfuil sé ann freisin. Is beag an ghabháil é seo; ní féidir linn rochtain a fháil ar NULLComment mar réad i dteanga ar bith, cé gur rud é go bunúsach freisin.

Foirmiú agus chuimhneacháin

Ag dul is trasdul ó rud ar bith в bheith agus ó á в rud ar bith. Tugann sé sin beirt dúinn nóiméad, ar a dtugtar an chéad cheann teacht chun cinn, agus sa dara háit ag rith. Sliocht tugtar é sin in ionad dul ar iarraidh, mar go bunúsach ní féidir leis an éirim loighciúil imithe i léig mura bhfuil dearmad déanta againn air. A tharraingt siar mar sin is féidir linn an nós imeachta sannacháin a ghlaoch. Má thosaímid ar rud, tarlaíonn sé seo nóiméad tarlaithe, agus i gcás luach eile nó NULLComment a shannadh nóiméad a rith.

obj = new object(); //возникновение
obj = null; //прехождение

A bheith ann

I mbeagán focal ann is réad é nach bhfuil sainmhíniú soiléir ann, ach a bhfuil cinnteacht. Céard is brí leis. Is é an sampla canonical gnáthchathaoirleach. Má dhéanann tú iarracht sainmhíniú soiléir a thabhairt dó, beidh go leor deacrachtaí agat. Mar shampla, deir tú: "is píosa troscáin é seo atá deartha le haghaidh suí," ach cruthaítear an chathaoir le haghaidh seo freisin, etc. Ach ní chuireann an easpa sainmhínithe soiléir cosc ​​orainn é a aibhsiú sa spás agus é a úsáid agus faisnéis á tharchur faoi, is é seo toisc go bhfuil inár gceann cinnteacht cathaoir. B’fhéidir gur thug roinnt daoine faoi thuairim cheana féin gur cruthaíodh líonraí néaracha chun rudaí den sórt sin a leithlisiú ón sruth sonraí. Is féidir líonra néarúil a shonrú mar fheidhm a shainíonn é seo cinnteacht, ach níl aon chineál réad ann a áiríonn sainmhínithe soiléire doiléire, mar sin ní féidir réada den sórt sin a úsáid ag an leibhéal céanna astarraingthe.

An dlí maidir le haistriú athruithe cainníochtúla go cinn cáilíochtúla

Is é Friedrich Engels a cheap an dlí seo mar thoradh ar léiriú loighic Hegel. Mar sin féin, is féidir é a fheiceáil go soiléir sa chéad imleabhar sa chaibidil ar ar a laghad. Is é a bunúsach go cainníochtúil féadfaidh athruithe ar rud cur isteach air качество. Mar shampla, tá réad oighir againn; le carnadh teochta, iompóidh sé isteach in uisce leachtach agus athróidh sé a chuid cáilíochtaí. Chun an iompar seo a chur i bhfeidhm i réad, tá patrún dearaidh Stáit ann. Is é is cúis le teacht chun cinn a leithéid de réiteach ná nach bhfuil a leithéid de rud ar fáil i gclárú bunús le haghaidh teacht chun cinn réad. Fondúireacht a chinneann na coinníollacha faoinar féidir le réad a bheith le feiceáil, agus san algartam socraímid féin cén pointe ar gá dúinn an réad a thúsú.

PS: Má tá an fhaisnéis seo suimiúil, déanfaidh mé athbhreithniú ar eintitis eile ó Eolaíocht na Loighic.

Foinse: will.com

Add a comment