Maqaalkani waxa uu u go'ay falanqaynta isbarbardhigga ee hay'adaha macquulka ah ee shaqada falsafada Jarmalka Georg Wilhelm Friedrich Hegel "Sayniska Logic" oo ay la socdaan analogues ama maqnaanshahooda barnaamijka.

Hay'adaha Sayniska ee Logic waxay ku qoran yihiin far-farayn si ay uga fogaadaan jahawareer iyo qeexitaannada guud ee la aqbalay ee erayadan.

Ahaanshaha daahir

Haddii aad furto qeexida daahir ahaansho Buugga dhexdiisa, waxaad arki doontaa xariiq xiiso leh "iyada oo aan qeexitaan dheeraad ah lahayn." Laakiin kuwa aan akhriyin ama aan fahmin, ha ku degdegin inaad ku eedeeyaan qoraaga waallida. Ahaanshaha daahir - Tani waa fikrad aasaasi ah oo ku jirta macquulnimada Hegel, oo macnaheedu yahay in shay jiraan, fadlan ha ku khaldin jiritaanka shay, shaygu ma jiri karo xaqiiqda, laakiin haddii aan si uun u qeexnay caqli-galkeena, way jirtaa. Haddii aad ka fikirto, runtii waxaa jira waxyaabo ay ka mid yihiin daahir ahaansho Macquul maaha in qeexid la bixiyo, isku day kasta oo noocaas ahna waxa uu ku soo degi doonaa xaqiiqada ah in aad si fudud u tixraacayso ereyada la midka ah. Ahaanshaha daahir fikradda aan la taaban karin oo kale ah in lagu dabaqi karo gabi ahaanba wax kasta, oo ay ku jirto lafteeda. Qaar ka mid ah luqadaha shayga ku jihaysan, waxa suurtogal ah in lagu matalo shay ahaan, oo ay ku jiraan hawlgallada shayada, taas oo mabda' ahaan ina siinaysa heerkan abstraction. Si kastaba ha ahaatee, in barnaamijka analogue toos ah daahir ahaansho Maya Si loo hubiyo jiritaanka shay, waxaan u baahanahay inaan hubino maqnaanshihiisa.

if(obj != null);

Waxaa la yaab leh in sonkorta syntactic-ka ah aysan weli jirin, marka la eego in jeeggani uu yahay mid caan ah.

Waxba

Sideed qiyaasi kartaa waxba waa maqnaanshaha wax. Analooggeedana waxaa lagu magacaabi karaa NULL. Waxaa xusid mudan in cilmiga macquulka ah waxba Waa daahir ahaansho, sababtoo ah sidoo kale way jirtaa. Tani waa wax yar oo qabasho ah; Ma geli karno NULL shay ahaan luqad kasta, inkasta oo nuxur ahaan ay sidoo kale tahay mid.

Sameynta iyo daqiiqadaha

Noqoshada waa ka guur waxba в ahaansho iyo ka ahaansho в waxba. Taasi waxay ina siinaysaa laba daqiiqad, kan ugu horreeya ayaa la yiraahdaa soo bixid, iyo tan labaad dhaafid. Marmar waxaa loogu yeeraa sidaas halkii la waayi lahaa, sababtoo ah nuxurka macquulka ah asal ahaan ma baabi'i karo haddaan iloobin. Ka bixida Sidan oo kale waxaan u wici karnaa habraaca meelaynta. Haddii aan bilowno shay, tani way dhacdaa daqiiqad dhacdo, iyo haddii ay dhacdo in lagu meeleeyo qiime kale ama NULL daqiiqad dhaafid.

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

Jiritaanka

Marka la soo koobo jiritaan waa shay aan lahayn qeexitaan cad, balse leh hubaal. Waxa loola jeedaa. Tusaalaha canonicalku waa kursi caadi ah. Haddii aad isku daydo inaad si cad u qeexdo, waxaad la kulmi doontaa dhibaatooyin badan. Tusaale ahaan, waxaad tidhaahdaa: "Tani waa alaab guri oo loogu talagalay in lagu fadhiisto," laakiin kursiga ayaa sidoo kale loo sameeyay tan, iwm. Laakiin la'aanta qeexitaan cad kama hor istaagayso inaan ku iftiimino meel bannaan oo aan isticmaalno marka la gudbinayo macluumaadka ku saabsan, sababtoo ah madaxeena waxaa ku jira. hubaal kursi. Waxaa laga yaabaa in qaarkood ay horey u qiyaaseen in shabakadaha neerfaha loo sameeyay si ay walxahan oo kale uga soocaan xogta xogta. Shabakadda neerfaha waxaa lagu tilmaami karaa shaqo qeexaysa tan hubaal, laakiin ma jiraan noocyo walxood oo ay ku jiraan qeexitaanno cad oo daahsoon, sidaas darteed walxahan looma isticmaali karo isla heer la taaban karo.

Sharciga u gudbida isbeddelka tirada oo loo beddelo kuwa tayo leh

Sharcigan waxa dejiyay Friedrich Engels taasoo ka dhalatay fasiraadda macquulka ah ee Hegel. Si kastaba ha ahaatee, waxa si cad loogu arki karaa mugga koowaad ee cutubka ku saabsan ugu yaraan. Nuxurkeedu waa kaas tiro ahaan isbeddelka shay ayaa saamayn kara tayo leh. Tusaale ahaan, waxaanu haynaa shay baraf ah, marka la ururiyo heerkulku, waxay isu rogi doontaa biyo dareere ah oo beddeleysa tayada. Si loo dhaqan geliyo habdhaqankan shay, waxa jira qaab nashqad Dawladeed. Soo ifbaxa xalka noocan oo kale ah waxaa sababa maqnaanshaha barnaamijyada sida saldhig si ay u soo bixid walax. Foundation waxay go'aamisaa shuruudaha uu shaygu ku soo bixi karo, algorithm-ka annaga lafteena ayaa go'aansanayna meesha aan u baahanahay inaan bilowno shayga.

PS: Haddii macluumaadkani xiiso leeyahay, waxaan dib u eegi doonaa qaybaha kale ee Sayniska Logic.

Source: www.habr.com