Tha an artaigil seo gu sònraichte airson mion-sgrùdadh coimeasach air buidhnean loidsigeach bho obair an fheallsanaiche Gearmailteach Georg Wilhelm Friedrich Hegel “Science of Logic” leis na analogues aca no an neo-làthaireachd ann am prògramadh.

Tha buidhnean bho Saidheans Logic ann an clò eadailteach gus troimh-chèile a sheachnadh leis na mìneachaidhean ris an gabhar san fharsaingeachd de na faclan sin.

A bhith glan

Ma dh'fhosglas tu am mìneachadh bith glan anns an leabhar, chì thu loidhne inntinneach “gun mhìneachadh a bharrachd.” Ach dhaibhsan nach do leugh no nach eil a’ tuigsinn, na dèan cabhag gus casaid a chuir air ùghdar trom-inntinn. A bhith glan - tha seo na bhun-bheachd bunaiteach ann an loidsig Hegel, a’ ciallachadh gu bheil cuid de nì ann, feuch nach cuir thu troimh-chèile e le rud a bhith ann, is dòcha nach eil an nì ann dha-rìribh, ach ma mhìnich sinn dòigh air choireigin nar loidsig, tha e ann. Ma smaoinicheas tu mu dheidhinn, tha rudan mar sin ann dha-rìribh bith glan tha e do-dhèanta mìneachadh a thoirt seachad, agus thig oidhirp sam bith mar sin sìos chun fhìrinn gun toir thu iomradh dìreach air na synonyms no antonyms aige. A bhith glan bun-bheachd cho eas-chruthach gum faodar a chuir an sàs ann an rud sam bith, a’ gabhail a-steach e fhèin. Ann an cuid de chànanan a tha ag amas air nithean, tha e comasach rud sam bith a riochdachadh mar nì, a’ toirt a-steach gnìomhachd air nithean, a tha ann am prionnsapal a’ toirt dhuinn ìre de tharraing. Ach, ann am prògramadh an analogue dìreach bith glan Chan eil. Gus dèanamh cinnteach gu bheil nì ann, feumaidh sinn dèanamh cinnteach nach eil e ann.

if(obj != null);

Tha e neònach nach eil an leithid de shiùcair syntactic ann fhathast, leis gu bheil fèill mhòr air an t-seic seo.

Chan eil dad

Ciamar a b’ urrainn dhut tomhas dad tha dìth sam bith ann. Agus faodar an analogue aige a ghairm NULL. 'S fhiach toirt fa-near gu bheil ann an saidheans loidsig dad tha e bith glan, oir tha e ann cuideachd. Is e rud beag de ghlacadh a tha seo; chan urrainn dhuinn faighinn gu NULL mar nì ann an cànan sam bith, ged a tha e gu dearbh mar aon dhiubh cuideachd.

Cruthachadh agus amannan

A ’fàs 's e tionndadh bho dad в bhith agus bho a bhith в dad. Tha sin a’ toirt dhuinn dithis mionaid, goirear a' cheud fhear nochdadhagus an dàrna fear a' dol seachad. Slighe tha e air ainmeachadh mar sin an àite a dhol à bith, oir gu bunaiteach chan urrainn don bhunait loidsigeach a dhol à sealladh mura h-eil sinn air a dhìochuimhneachadh. A tharraing air ais mar sin is urrainn dhuinn am modh sònrachaidh a ghairm. Ma tha an nì againn air a thòiseachadh, an uairsin mionaid de thachair, agus gun fhios nach tèid luach eile no NULL a shònrachadh mionaid de dhol seachad.

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

A bhith ann

Ann goirid bith ann na nì aig nach eil mìneachadh soilleir, ach aig a bheil cinnt. Dè a tha e a’ ciallachadh. Is e an eisimpleir canonical cathair àbhaisteach. Ma dh'fheuchas tu ri mìneachadh soilleir a thoirt dha, bidh tòrr dhuilgheadasan agad. Mar eisimpleir, tha thu ag ràdh: "Is e seo pìos àirneis a chaidh a dhealbhadh airson suidhe," ach tha an cathair cuideachd air a chruthachadh airson seo, msaa. Ach chan eil dìth mìneachadh soilleir a’ cur stad oirnn bho bhith ga chomharrachadh san fhànais agus ga chleachdadh nuair a bhios sinn a’ sgaoileadh fiosrachadh mu dheidhinn, tha seo air sgàth gu bheil nar ceann cinnt cathair. Is dòcha gu bheil cuid air tomhas mar-thà gun deach lìonraidhean neural a chruthachadh gus nithean mar sin a sgaradh bhon t-sruth dàta. Faodar lìonra neural a chomharrachadh mar ghnìomh a tha a’ mìneachadh seo cinnt, ach chan eil seòrsa de nithean ann a bheireadh a-steach mìneachaidhean soilleir agus neo-shoilleir, mar sin chan urrainnear nithean mar sin a chleachdadh aig an aon ìre tarraing às.

An lagh air gluasad cainneachdail atharrachaidhean gu càileachdail

Chaidh an lagh seo a chruthachadh le Friedrich Engels mar thoradh air mìneachadh loidsig Hegel. Ach, tha e ri fhaicinn gu soilleir anns a’ chiad leabhar sa chaibideil air adhart co-dhiù. Is e sin a brìgh cainneachdail faodaidh atharrachaidhean air nì buaidh a thoirt air càileachd. Mar eisimpleir, tha nì deighe againn; le cruinneachadh teòthachd, tionndaidhidh e gu uisge leaghaidh agus atharraichidh e e buadhan. Gus an giùlan seo a chur an gnìomh ann an nì, tha pàtran dealbhaidh Stàite. Tha nochdadh fuasgladh mar seo air adhbhrachadh leis nach eil leithid de rud ann am prògramadh am bonn airson tachartas nì. Bun-stèidh a’ dearbhadh nan suidheachaidhean fon urrainn nì nochdadh, agus anns an algairim bidh sinn fhìn a’ co-dhùnadh dè an ìre a dh’ fheumas sinn an nì a thòiseachadh.

PS: Ma tha am fiosrachadh seo inntinneach, nì mi lèirmheas air buidhnean eile bhon Science of Logic.

Source: www.habr.com