Science of Logic hauv Programming

Science of Logic hauv Programming

Kab lus no tau mob siab rau kev sib piv ntawm kev sib piv cov ntsiab lus los ntawm kev ua hauj lwm ntawm German philosopher Georg Wilhelm Friedrich Hegel "Science of Logic" nrog rau lawv cov analogues lossis lawv tsis nyob hauv kev ua haujlwm.

Cov koom haum los ntawm Science of Logic yog nyob rau hauv italics kom tsis txhob muaj kev tsis sib haum xeeb nrog cov ntsiab lus lees paub ntawm cov lus no.

Ntshiab ua

Yog koj qhib qhov txhais neeg dawb huv nyob rau hauv phau ntawv, koj yuav pom ib tug nthuav kab "tsis muaj lus txhais ntxiv." Tab sis rau cov neeg uas tsis tau nyeem los yog tsis to taub, tsis txhob maj mus liam tus sau dementia. Ntshiab ua - qhov no yog ib lub tswv yim yooj yim hauv Hegel lub logic, txhais tau hais tias qee yam khoom muaj nyob, thov tsis txhob cuam tshuam nrog qhov muaj nyob ntawm ib qho khoom, cov khoom yuav tsis muaj nyob hauv qhov tseeb, tab sis yog tias peb txhais tau li cas hauv peb qhov kev xav, nws muaj. Yog koj xav txog nws, yeej muaj tej yam zoo li no neeg dawb huv Nws yog tsis yooj yim sua kom muab ib tug txhais, thiab tej kev sim yuav los mus rau qhov tseeb hais tias koj yuav tsuas yog xa mus rau nws cov synonyms los yog antonyms. Ntshiab ua xws li lub tswv yim paub daws teeb uas nws tuaj yeem siv rau txhua yam, suav nrog nws tus kheej. Hauv qee hom lus hais lus, nws muaj peev xwm sawv cev rau txhua yam uas yog ib qho khoom, suav nrog kev ua haujlwm ntawm cov khoom, uas nyob rau hauv txoj cai muab rau peb xws li ib theem ntawm abstraction. Txawm li cas los, nyob rau hauv lub programming lub direct analogue neeg dawb huv Tsis muaj. Txhawm rau txheeb xyuas qhov muaj nyob ntawm ib qho khoom, peb yuav tsum kuaj xyuas nws qhov tsis muaj.

if(obj != null);

Nws yog qhov txawv heev uas cov suab thaj syntactic tseem tsis tau muaj, vim tias daim tshev no nrov heev.

Tsis muaj dabtsi

Koj twv tau li cas tsis muaj dab tsi yog qhov tsis muaj dab tsi. Thiab nws cov analogue tuaj yeem hu ua NULL. Nws yog ib nqi sau cia hais tias nyob rau hauv lub science ntawm logic tsis muaj dab tsi nws yog neeg dawb huv, vim nws kuj muaj. Qhov no yog me ntsis ntawm kev ntes; peb tsis tuaj yeem nkag mus rau NULL ua ib yam khoom hauv txhua hom lus, txawm hais tias qhov tseeb nws yog ib yam nkaus.

Tsim thiab lub sijhawm

Tsim yog kev hloov ntawm tsis muaj dab tsi Π² ua thiab los ntawm ua Π² tsis muaj dab tsi. Qhov ntawd muab ob peb lub caij, thawj tus hu ua tshwm sim, thiab ob dhau. Txoj kev Nws yog hu ua li ntawd es tsis txhob ploj, vim hais tias lub ntsiab lus tseem ceeb tsis tuaj yeem ploj yog tias peb tsis nco qab nws. Kev rho tawm xws li peb tuaj yeem hu rau txoj haujlwm ua haujlwm. Yog tias peb qhov khoom pib pib, ces lub sijhawm tshwm sim, thiab nyob rau hauv cov ntaub ntawv ntawm muab lwm tus nqi los yog NULL lub sijhawm dhau mus.

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

Tseem muaj

Hauv luv muaj nyob yog ib yam khoom uas tsis muaj lub ntsiab lus meej, tab sis muaj qhov tseeb. Nws txhais li cas. Qhov piv txwv canonical yog lub rooj zaum zoo tib yam. Yog tias koj sim muab nws txhais kom meej, koj yuav ntsib ntau yam teeb meem. Piv txwv li, koj hais tias: "qhov no yog ib daim ntawm rooj tog tsim los zaum," tab sis lub rooj zaum kuj tsim rau qhov no, thiab lwm yam. Tab sis qhov tsis muaj lub ntsiab lus meej tsis tiv thaiv peb los ntawm qhov tseem ceeb hauv qhov chaw thiab siv nws thaum xa cov ntaub ntawv hais txog nws, qhov no yog vim tias hauv peb lub taub hau muaj qhov tseeb lub rooj zaum. Tej zaum qee tus twb tau twv tias neural networks tau tsim los cais cov khoom no los ntawm cov ntaub ntawv ntws. Ib lub neural network tuaj yeem txhais tau tias yog ib txoj haujlwm uas txhais qhov no qhov tseeb, tab sis tsis muaj hom khoom uas yuav suav nrog cov ntsiab lus meej thiab fuzzy, yog li cov khoom siv tsis tuaj yeem siv tib theem ntawm abstraction.

Txoj cai ntawm kev hloov pauv ntawm ntau qhov kev hloov pauv mus rau qhov zoo

Txoj cai no tau tsim los ntawm Friedrich Engels los ntawm kev txhais ntawm Hegel lub logic. Txawm li cas los xij, nws tuaj yeem pom meej meej hauv thawj ntim hauv tshooj ntawm ntsuas. Nws lub ntsiab yog qhov ntawd kom muaj nuj nqis Kev hloov pauv rau ib yam khoom yuav cuam tshuam rau nws qhov zoo tshaj. Piv txwv li, peb muaj cov khoom siv dej khov; nrog rau qhov kub thiab txias, nws yuav tig mus ua kua dej thiab hloov nws zoo. Txhawm rau ua qhov kev coj cwj pwm no hauv ib qho khoom, muaj lub Xeev tsim qauv. Qhov tshwm sim ntawm xws li kev daws teeb meem yog tshwm sim los ntawm qhov tsis muaj nyob rau hauv programming ntawm xws li puag rau tshwm sim khoom. Foundation txiav txim siab cov xwm txheej raws li qhov khoom tuaj yeem tshwm sim, thiab hauv algorithm peb tus kheej txiav txim siab ntawm qhov peb xav tau los pib qhov khoom.

PS: Yog tias cov ntaub ntawv no nthuav, kuv yuav tshuaj xyuas lwm qhov chaw los ntawm Science of Logic.

Tau qhov twg los: www.hab.com

Ntxiv ib saib