The Science of Logic in Programming

The Science of Logic in Programming

Sengoliloeng sena se etselitsoe tlhahlobo ea papiso ea mekhatlo e nang le kelello ho tsoa mosebetsing oa rafilosofi oa Lejeremane Georg Wilhelm Friedrich Hegel "Saense ea Logic" ka li-analogue tsa bona kapa ho ba sieo ha bona lenaneong.

Mekhatlo e tsoang ho Science of Logic e ngotsoe ka mongolo o tšekaletseng ho qoba pherekano le litlhaloso tse amoheloang ka kakaretso tsa mantsoe ana.

Botho bo hloekileng

Haeba u bula tlhaloso motho ea hloekileng bukeng, u tla bona mola o thahasellisang “o se nang tlhaloso e eketsehileng.” Empa ho ba sa kang ba bala kapa ba sa utloisise, u se ke ua potlakela ho qosa mongoli oa 'dementia'. Botho bo hloekileng - ena ke khopolo ea motheo ka logic ea Hegel, e bolelang hore ntho e itseng e teng, ka kopo u se ke ua e ferekanya le boteng ba ntho, ntho e ka 'na ea se ke ea e-ba teng ka nnete, empa haeba ka tsela e itseng re e hlalositse ka logic ea rona, e teng. Haeba u nahana ka eona, ho hlile ho na le lintho tse kang motho ea hloekileng ha ho khonehe ho fana ka tlhaloso, 'me boiteko leha e le bofe bo joalo bo tla theohela tabeng ea hore u tla bua feela ka li-synonyms kapa li-antonyms tsa eona. Botho bo hloekileng khopolo e joalo e sa utloahaleng hoo e ka sebelisoang ho ntho leha e le efe, ho kenyeletsa le eona. Lipuong tse ling tse shebaneng le lintho, hoa khoneha ho emela ntho leha e le efe e le ntho, ho kenyelletsa le ts'ebetso ea lintho, eo ka molao-motheo e re fang boemo bo joalo ba ho se nke lehlakore. Leha ho le joalo, lenaneong la analogue e tobileng motho ea hloekileng Che. Ho hlahloba boteng ba ntho, re lokela ho hlahloba bosieo ba eona.

if(obj != null);

Hoa makatsa hore ebe tsoekere e joalo ea syntactic ha e eo, kaha cheke ena e tumme haholo.

Ha ho letho

U ka hakanya joang ha ho letho ke bosieo ba letho. 'Me analogue ea eona e ka bitsoa NULL. Ke habohlokoa ho hlokomela hore ho saense ea logic ha ho letho ho motho ea hloekileng, hobane le eona e teng. Ena ke taba ea ho tšoasa; re ke ke ra khona ho fumana NULL joalo ka ntho ka puo efe kapa efe, leha ha e le hantle e le eona.

Popeho le nako

Ho theha ke phetoho ho tloha ha ho letho в ho ba le ho tloha ho ba в ha ho letho. Seo se re fa tse peli motsotsoana, ea pele e bitsoa hlahala, le ea bobeli feta. Phaseletso e bitsoa joalo ho e-na le ho nyamela, hobane moelelo o utloahalang ha e le hantle o ke ke oa nyamela ntle le haeba re o lebetse. Ho hula chelete ka hona re ka bitsa mokhoa oa mosebetsi. Haeba ntho ea rona e qalisoa, joale motsotso wa ketsahalo, le tabeng ea ho fana ka boleng bo bong kapa NULL motsotso wa ho feta.

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

Ho ba teng

Ka bokhutšoane boteng ke ntho e senang tlhaloso e hlakileng, empa e na le bonnete. E bolelang. Mohlala oa li-canonical ke setulo se tloaelehileng. Haeba u leka ho fana ka tlhaloso e hlakileng, u tla kopana le mathata a mangata. Ka mohlala, u re: "ena ke thepa ea thepa e etselitsoeng ho lula," empa setulo se boetse se bōpiloe bakeng sa sena, joalo-joalo. Empa ho hloka tlhaloso e hlakileng ha ho re thibele ho e totobatsa sebakeng le ho e sebelisa ha re fetisetsa boitsebiso ka eona, sena ke hobane hloohong ea rona ho na le. bonnete setulo. Mohlomong ba bang ba se ba ntse ba hakanya hore marang-rang a neural a entsoe ho arola lintho tse joalo ho tsoa mohloling oa data. Neural network e ka hlalosoa e le mosebetsi o hlalosang sena bonnete, empa ha ho na mefuta ea lintho tse ka kenyelletsang litlhaloso tse hlakileng le tse sa utloahaleng, ka hona, lintho tse joalo li ke ke tsa sebelisoa ka mokhoa o ts'oanang oa tlhaloso.

The law of transition of quantitative changes into the qualitative ones

Molao ona o entsoe ke Friedrich Engels ka lebaka la tlhaloso ea monahano oa Hegel. Leha ho le joalo, e ka bonoa ka ho hlaka bukeng ea pele ea khaolo ea ho ea pele lekanya. Taba ea eona ke eona eo bongata liphetoho ho ntho li ka e ama boleng. Mohlala, re na le ntho ea leqhoa; ka ho bokellana ha mocheso, e tla fetoha metsi a metsi ebe e e fetola litsobotsi. Ho kenya ts'ebetsong boitšoaro bona nthong, ho na le mohlala oa moralo oa Naha. Ho hlaha ha tharollo e joalo ho bakoa ke ho ba sieo ha lenaneo la ntho e kang motheo etsoe hlahala ntho. Motheo e etsa qeto ea maemo ao ntho e ka hlahang tlas'a eona, 'me ho algorithm rona ka borōna re etsa qeto ea hore na re hloka ho qala ntho efe.

PES: Haeba tlhahisoleseling ena e khahla, ke tla hlahloba likarolo tse ling ho tsoa ho Science of Logic.

Source: www.habr.com

Eketsa ka tlhaloso