Sayenzi yeLogic muProgramming

Sayenzi yeLogic muProgramming

Ichi chinyorwa chakatsaurirwa kuongororwa kwekuenzanisa kwemasangano ane musoro kubva kubasa remuzivi wechiGerman Georg Wilhelm Friedrich Hegel "Sainzi yeLogic" nemaanalogue avo kana kusavapo kwavo mukuronga.

Mapato anobva kuScience of Logic ari mumavara akatsveyama kudzivirira kuvhiringika netsananguro dzinogamuchirwa dzemazwi aya.

Kuva akachena

Kana iwe ukazarura tsanangudzo munhu akachena mubhuku, uchaona mutsara unonakidza "pasina imwe tsanangudzo". Asi kune avo vasina kuverenga kana kusanzwisisa, musamhanyire kupomera munyori wedementia. Kuva akachena - iyi ndiyo pfungwa inokosha muhutano hweHegel, zvinoreva kuti chimwe chinhu chiripo, tapota usachivhiringidza nekuvapo kwechinhu, chinhu chacho chingave chisipo muchokwadi, asi kana isu takachitsanangura mune pfungwa dzedu, chiripo. Kana iwe uchifunga nezvazvo, pane chaizvo zvinhu zvakadai munhu akachena hazvibviri kupa tsananguro, uye chero kuedza kwakadai kunokwira kuchokwadi chekuti iwe unongoreva kune anoreva zvakafanana kana antonyms. Kuva akachena ipfungwa isinganzwisisiki zvekuti inogona kushandiswa kune chero chinhu, kusanganisira pachayo. Mune mimwe mitauro inotarisana nechinhu, zvinokwanisika kumiririra chero chinhu sechinhu, kusanganisira kushanda pazvinhu, izvo zvinotipa mwero wakadaro wekubvisa. Nekudaro, mukuronga iyo yakananga analogue munhu akachena Aihwa. Kuti tione kana chinhu chiripo, tinofanira kutarisa kusavapo kwacho.

if(obj != null);

Zvinoshamisa kuti shuga yakadaro haisati yavapo, sezvo cheki iyi yakakurumbira zvikuru.

Hapana

Ungafembera sei hapana kusavapo kwechimwe chinhu. Uye analogue yayo inogona kunzi NULL. Izvo zvakakosha kucherechedza kuti mune sainzi ye logic hapana zviri munhu akachena, nokuti huripowo. Izvi zvishoma zvekubata; isu hatigone kuwana NULL sechinhu mumutauro chero upi zvawo, kunyangwe muchidimbu chiri chimwe zvakare.

Kuumbwa uye nguva

Maitiro is a transition kubva hapana Π² kuva uye kubva kuva Π² hapana. Izvozvo zvinotipa maviri nguva, wekutanga anonzi kubudanewechipiri kupfuura. Passage inodaidzwa kudaro pachinzvimbo chekunyangarika, nekuti hunhu hune musoro haugone kunyangarika kunze kwekunge tazvikanganwa. Withdrawal nekudaro tinogona kudaidza maitiro ekuita. Kana chinhu chedu chakatangwa, saka nguva yechiitiko, uye kana yekugovera imwe kukosha kana NULL nguva yekupfuura.

obj = new object(); //Π²ΠΎΠ·Π½ΠΈΠΊΠ½ΠΎΠ²Π΅Π½ΠΈΠ΅
obj = null; //ΠΏΡ€Π΅Ρ…ΠΎΠΆΠ΄Π΅Π½ΠΈΠ΅

Kuvapo

Muchidimbu kuvapo chinhu chisina tsanangudzo yakajeka, asi ine chokwadi. Zvinorevei. Muenzaniso wecanonical chigaro chakajairika. Kana ukaedza kuipa tsanangudzo yakajeka, iwe uchasangana nematambudziko akawanda. Semuenzaniso, iwe unoti: "ichi chidimbu chefenicha yakagadzirirwa kugara," asi chigaro chakagadzirirwawo ichi, nezvimwe. Asi kushaikwa kwetsanangudzo yakajeka haititadzise kuiratidza munzvimbo uye nekuishandisa pakutumira ruzivo pamusoro payo, izvi zvinodaro nekuti mumusoro medu mune. chokwadi chair. Zvichida vamwe vakatofungidzira kuti neural network yakagadzirwa kuti iparadzanise zvinhu zvakadaro kubva kune data rwizi. A neural network inogona kutsanangurwa sebasa rinotsanangura izvi chokwadi, asi hapana mhando dzezvinhu zvingasanganisira tsanangudzo dzakajeka uye dzisina kujeka, saka zvinhu zvakadaro hazvigone kushandiswa pamwero wakafanana wekubvisa.

Mutemo wekuchinja kwehuwandu hunochinja kuva hunhu

Mutemo uyu wakagadzirwa naFriedrich Engels semugumisiro wekududzirwa kwemafungiro aHegel. Zvisinei, inogona kuoneka zvakajeka muvhoriyamu yokutanga muchitsauko chinoenda chiyero. Hunhu hwayo ndehwekuti quantitative kuchinja kuchinhu kunogona kuchikanganisa mhando. Semuenzaniso, isu tine chinhu chechando; nekuunganidza tembiricha, inoshanduka kuita mvura yemvura uye ichichinja hunhu. Kuita maitiro aya muchinhu, pane State design pattern. Kubuda kwemhinduro yakadaro kunokonzerwa nekusavapo mukurongwa kwechinhu chakadaro hwaro nokuti kubuda object. Foundation inosarudza mamiriro ezvinhu ayo chinhu chinogona kuoneka, uye mune algorithm isu pachedu tinosarudza panguva ipi yatinoda kutanga chinhu.

PS: Kana ruzivo urwu ruchinakidza, ini ndichaongorora mamwe masangano kubva kuSainzi yeLogic.

Source: www.habr.com

Voeg