Ky artikull i kushtohet një analize krahasuese të entiteteve logjike nga vepra e filozofit gjerman Georg Wilhelm Friedrich Hegel "Shkenca e Logjikës" me analogët e tyre ose mungesën e tyre në programim.

Subjektet nga Shkenca e Logjikës janë me shkronja të pjerrëta për të shmangur konfuzionin me përkufizimet e pranuara përgjithësisht të këtyre fjalëve.

Qenie e pastër

Nëse hapni përkufizimin qenie e pastër në libër, do të shihni një rresht interesant "pa përkufizim të mëtejshëm". Por për ata që nuk kanë lexuar ose nuk e kuptojnë, mos nxitoni të akuzoni autorin për çmenduri. Qenie e pastër - ky është një koncept bazë në logjikën e Hegelit, që do të thotë se ekziston një objekt, ju lutem mos e ngatërroni me ekzistencën e një objekti, objekti mund të mos ekzistojë në realitet, por nëse e kemi përcaktuar disi në logjikën tonë, ai ekziston. Nëse mendoni për këtë, vërtet ka gjëra të tilla si qenie e pastër është e pamundur të japësh një përkufizim dhe çdo përpjekje e tillë do të zbresë në faktin se thjesht do t'i referohesh sinonimeve ose antonimeve të saj. Qenie e pastër një koncept kaq abstrakt që mund të zbatohet për absolutisht çdo gjë, duke përfshirë vetveten. Në disa gjuhë të orientuara nga objekti, është e mundur të përfaqësohet çdo gjë si një objekt, duke përfshirë veprimet mbi objektet, gjë që në parim na jep një nivel të tillë abstraksioni. Megjithatë, në programimin e analogut të drejtpërdrejtë qenie e pastër Nr. Për të kontrolluar ekzistencën e një objekti, duhet të kontrollojmë mungesën e tij.

if(obj != null);

Është e çuditshme që një sheqer i tillë sintaksor nuk ekziston ende, duke qenë se ky kontroll është shumë popullor.

asgjë

Si mund ta merrni me mend asgjë është mungesa e ndonjë gjëje. Dhe analogu i tij mund të quhet NULL. Vlen të theksohet se në shkencën e logjikës asgjë është qenie e pastër, sepse edhe ajo ekziston. Kjo është paksa e kapur; ne nuk mund të aksesojmë NULL si një objekt në asnjë gjuhë, megjithëse në thelb është gjithashtu një i tillë.

Formimi dhe momentet

duke u bërë është një kalim nga asgjë в qenie dhe nga duke qenë в asgjë. Kjo na jep dy moment, i pari quhet shfaqjendhe e dyta duke kaluar. Kalimi quhet kështu në vend të zhdukjes, sepse thelbi logjik në thelb nuk mund të zhduket nëse nuk e kemi harruar. Tërheqja si të tillë mund ta quajmë procedurën e caktimit. Nëse objekti ynë është inicializuar, atëherë momenti i ndodhjes, dhe në rast të caktimit të një vlere tjetër ose NULL momenti i kalimit.

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

Ekzistenca

Shkurtimisht ekzistencës është një objekt që nuk ka një përcaktim të qartë, por ka siguri. Çfarë do të thotë. Shembulli kanonik është një karrige e zakonshme. Nëse përpiqeni t'i jepni një përkufizim të qartë, do të hasni shumë vështirësi. Për shembull, ju thoni: "kjo është një mobilje e krijuar për t'u ulur", por edhe karrigia është krijuar për këtë, etj. Por mungesa e një përkufizimi të qartë nuk na pengon ta nxjerrim në pah atë në hapësirë ​​dhe ta përdorim atë gjatë transmetimit të informacionit për të, kjo sepse në kokën tonë ka siguri karrige. Ndoshta disa kanë hamendësuar tashmë se rrjetet nervore janë krijuar për të izoluar objekte të tilla nga rrjedha e të dhënave. Një rrjet nervor mund të shënohet si një funksion që e përcakton këtë siguri, por nuk ka lloje të objekteve që do të përfshinin përkufizime të qarta dhe të paqarta, prandaj objekte të tilla nuk mund të përdoren në të njëjtin nivel abstraksioni.

Ligji i kalimit të ndryshimeve sasiore në ato cilësore

Ky ligj u formulua nga Friedrich Engels si rezultat i interpretimit të logjikës së Hegelit. Megjithatë, kjo mund të shihet qartë në vëllimin e parë në kapitullin mbi masë. Thelbi i saj është se sasior ndryshimet në një objekt mund të ndikojnë në të cilësia. Për shembull, ne kemi një objekt akulli; me akumulimin e temperaturës, ai do të kthehet në ujë të lëngshëm dhe do ta ndryshojë atë Cilësi. Për të zbatuar këtë sjellje në një objekt, ekziston një model i dizajnit të gjendjes. Shfaqja e një zgjidhjeje të tillë shkaktohet nga mungesa në programim e një gjëje të tillë si themel për dukuri Objekt. Основание përcakton kushtet në të cilat mund të shfaqet një objekt, dhe në algoritëm ne vetë vendosim se në cilën pikë duhet të inicializojmë objektin.

PS: Nëse ky informacion është interesant, unë do të shqyrtoj entitete të tjera nga Shkenca e Logjikës.

Burimi: www.habr.com