The Science of Logic in Programming

The Science of Logic in Programming

Ity lahatsoratra ity dia natokana ho an'ny fanadihadiana fampitahana ireo singa lojika avy amin'ny asan'ny filozofa alemΓ  Georg Wilhelm Friedrich Hegel "Science of Logic" miaraka amin'ny analogues na ny tsy fisian'izy ireo amin'ny fandaharana.

Ny sampana avy amin'ny Science of Logic dia atao sora-mandry mba hisorohana ny fisafotofotoana amin'ny famaritana eken'ny besinimaro momba ireo teny ireo.

Olona madio

Raha manokatra ny famaritana ianao tena madio ao amin’ilay boky dia hahita andalana mahaliana β€œtsy misy famaritana fanampiny” ianao. Fa ho an'ireo izay tsy namaky na tsy mahazo, aza maika ny hiampanga ny mpanoratra ny dementia. Olona madio - hevitra fototra io ao amin'ny lojikan'i Hegel, midika hoe misy ny zavatra sasany, aza afangaro amin'ny fisian'ny zavatra iray, mety tsy misy ilay zavatra raha ny tena izy, fa raha nofaritantsika amin'ny lojikantsika izany dia misy izy io. Raha mieritreritra an'izany ianao dia misy tokoa ny zavatra toy izany tena madio tsy azo atao ny manome famaritana, ary izay andrana toy izany dia ho tonga amin'ny hoe hojerenao fotsiny ny synonymes na ny antonyms. Olona madio hevitra tsy misy dikany toy izany ka azo ampiharina amin'ny zavatra rehetra, anisan'izany ny tenany. Amin'ny fiteny miompana amin'ny zavatra sasany dia azo atao ny maneho na inona na inona ho zavatra, anisan'izany ny asa amin'ny zavatra, izay amin'ny ankapobeny dia manome antsika ny haavon'ny abstraction. Na izany aza, amin'ny fandaharana ny mivantana analogue tena madio Tsia. Mba hanamarinana ny fisian'ny zavatra iray dia mila manamarina ny tsy fisiany.

if(obj != null);

Mahagaga fa tsy mbola misy ny siramamy syntactic toy izany, satria malaza be io seky io.

tsy misy

Ahoana no nahafantaranao na inona na inona dia ny tsy fisian'ny na inona na inona. Ary ny analogue dia azo antsoina hoe NULL. Tsara ny manamarika fa amin'ny siansa ny lojika na inona na inona ny tena madio, satria misy koa izy io. Somary saro-takarina izany; tsy afaka miditra amin'ny NULL ho toy ny zavatra amin'ny fiteny rehetra isika, na dia iray ihany aza izany.

Formation sy fotoana

lasa dia tetezamita avy amin'ny na inona na inona Π² maha and from Ny hoe Π² na inona na inona. Izany dia manome antsika roa FOTOANA, ny voalohany dia antsoina firongatryary ny faharoa mandalo. andalan-teny izany no iantsoana azy fa tsy fanjavonana, satria ny tena lojika dia tsy afaka hanjavona raha tsy adinontsika izany. fanesorana toy izany dia azo antsoina hoe ny asa fanendrena. Raha manomboka zavatra iray isika dia mitranga izany fotoana fisehoan-javatra, ary raha misy sanda hafa na NULL fotoana mandalo.

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

nisy

Raha afohezina nisy dia zavatra tsy manana famaritana mazava, fa manana antoka. Inona no dikan'izany. Ny ohatra kanΓ΄nika dia seza mahazatra. Raha miezaka manome famaritana mazava tsara ianao, dia hiatrika olana maro. Ohatra, hoy ianao: "fanaka natao hipetrahana ity", fa ny seza koa dia natao ho an'ity, sns. Saingy ny tsy fahampian'ny famaritana mazava dia tsy manakana antsika tsy hanasongadina izany eny amin'ny habakabaka sy hampiasa azy rehefa mampita vaovao momba azy, izany dia satria ao an-dohantsika misy antoka seza. Angamba ny sasany efa nieritreritra fa ny tambajotra neural dia noforonina mba hanavahana ireo zavatra ireo amin'ny onjam-peo. Ny tambajotra neural dia azo lazaina ho asa mamaritra izany antoka, saingy tsy misy karazana zavatra mety ahitana famaritana mazava sy manjavozavo, noho izany dia tsy azo ampiasaina amin'ny haavon'ny abstraction ny zavatra toy izany.

Ny lalΓ n'ny fifindrana ny quantitative dia miova ho qualitative

Io lalΓ na io dia noforonin'i Friedrich Engels vokatry ny fandikana ny lojikan'i Hegel. Hita mazava tsara anefa izany ao amin’ny boky voalohany ao amin’ny toko manaraka fepetra. Ny votoatiny dia izay hamaroan'isa mety hisy fiantraikany amin'izany ny fiovana amin'ny zavatra iray kalitao. Ohatra, manana zavatra misy ranomandry isika; rehefa miangona ny mari-pana, dia hivadika ho rano izy io ary hanova azy kalitao. Mba hampiharana an'io fihetsika io amin'ny zavatra iray dia misy lamina famolavolana Fanjakana. Ny fisehoan'ny vahaolana toy izany dia vokatry ny tsy fisian'ny fandaharana amin'ny zavatra toy izany fototra ho an'ny firongatry zavatra. fototra mamaritra ny toe-javatra mety hiseho ny zavatra iray, ary ao amin'ny algorithm ny tenantsika no manapa-kevitra amin'ny fotoana tokony hanombohantsika ilay zavatra.

Sal: Raha mahaliana ity fampahalalana ity dia hamerina hijery ireo sampana hafa avy amin'ny Science of Logic aho.

Source: www.habr.com

Add a comment