The Science of Logic in Programming

The Science of Logic in Programming

O lenei tusiga o loʻo tuʻuina atu i se faʻatusatusaga o suʻesuʻega o mea faʻapitoa mai le galuega a le faifilosofia Siamani Georg Wilhelm Friedrich Hegel "Saienisi o Logic" ma a latou analogues poʻo lo latou toesea i polokalame.

O fa'alapotopotoga mai le Science of Logic o lo'o fa'amausali ina ia 'alofia le fenumia'i ma fa'auiga masani o nei upu.

tagata mama

Afai e te tatalaina le faʻamatalaga tagata mama i totonu o le tusi, o le a e vaʻai i se laina manaia "e aunoa ma se faʻamatalaga atili." Ae mo i latou e leʻi faitau pe le malamalama, aua le faanatinati e tuʻuaʻia le tusitala o le tuinanau. tagata mama - o se manatu faavae lea i le manatu o Hegel, o lona uiga o loʻo i ai se mea, faʻamolemole aua le faʻafememeaʻi ma le i ai o se mea, atonu e le o iai le mea moni, ae afai tatou te faʻamalamalamaina i la tatou faʻamatalaga, o loʻo i ai. Afai e te mafaufau i ai, e iai moni lava mea e pei o tagata mama e le mafai ona tu'uina atu se fa'auigaga, ma so'o se taumafaiga fa'apea o le a o'o mai i le mea moni o le a na'o lou fa'asino i ona uiga tutusa po'o antonims. tagata mama se manatu fa'apitoa e mafai ona fa'aoga i so'o se mea, e aofia ai ma ia lava. I nisi gagana e fa'atatau i mea faitino, e mafai ona fa'atusaina so'o se mea o se mea, e aofia ai fa'agaioiga i luga o mea faitino, lea i le fa'avae e maua ai e i tatou se tulaga fa'apitoa. Ae ui i lea, i le polokalame o le analogue tuusao tagata mama Leai. Ina ia siaki le i ai o se mea, e tatau ona tatou siaki pe leai.

if(obj != null);

O se mea uiga ese e leʻi i ai sea syntactic suka, talu ai o lenei siaki e matua lauiloa.

Leai se mea

E mafai faapefea ona e mate leai se mea o le leai o se mea. Ma o lona analogue e mafai ona taʻua NULL. E taua le matauina i le faasaienisi o le mafaufau leai se mea o tagata mama, auā o loo iai foʻi. O se mea itiiti lea; e le mafai ona tatou mauaina le NULL o se mea i soʻo se gagana, e ui o le mea moni e tasi foi.

Fausia ma taimi

Avea o se suiga mai leai se mea в tagata ma mai tagata в leai se mea. E maua ai e i tatou le lua taimi, o le muamua e taʻua tula'i mai, ma le lona lua pasi. Auala e ta'ua lea nai lo le mou atu, aua e le mafai lava ona mou ese atu le aano moni seiloga ua galo ia i tatou. Aveesea e pei o lea e mafai ona tatou taʻua le faiga o tofiga. Afai e amataina la tatou mea, ona taimi e tupu ai, ma i le tulaga o le tuʻuina atu o se isi tau poʻo le NULL taimi o le pasi.

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

Olaga

I se faapuupuuga ola ai o se mea e leai se fa'amatalaga manino, ae o lo'o iai mautinoa. O le a le uiga. O le faʻataʻitaʻiga canonical o se nofoa masani. Afai e te taumafai e tuʻuina atu se faʻamatalaga manino, o le ae feagai ma le tele o faigata. Mo se faʻataʻitaʻiga, e te fai mai: "O se meaafale lea ua fuafuaina mo le nofo ai," ae o le nofoa ua faia foi mo lenei mea, ma isi. Ae o le leai o se faʻamatalaga manino e le taofia ai i tatou mai le faʻamalamalamaina i le vateatea ma faʻaaogaina pe a tuʻuina atu faʻamatalaga e uiga i ai, e mafua ona o lo tatou ulu o loʻo i ai. mautinoa nofoa. Masalo o nisi ua leva ona mateina na fausia neural networks e vavaeeseina ai ia mea mai le vaitafe o faʻamaumauga. O se fesoʻotaʻiga neural e mafai ona faʻaalia o se galuega e faʻamatalaina ai lenei mea mautinoa, ae leai ni ituaiga o mea faitino e aofia ai faʻamatalaga manino ma le manino, o le mea lea e le mafai ona faʻaogaina ia mea i le tulaga tutusa o le faʻaaogaina.

Ole tulafono ole suiga ole quantitative e suia ile qualitative

O lenei tulafono na faia e Friedrich Engels o se taunuuga o le faʻamatalaina o le manatu o Hegel. Peitaʻi, e mafai ona iloa manino mai i le voluma muamua i le mataupu i luga fua. O lona uiga o lena aofaʻi suiga i se mea e ono aafia ai uiga lelei. Mo se faʻataʻitaʻiga, o loʻo i ai sau mea aisa; faʻatasi ai ma le faʻaputuina o le vevela, o le a liua i vai vai ma suia ai uiga lelei. Ina ia faʻatinoina lenei amio i se mea, o loʻo i ai se mamanu mamanu a le Setete. O le tulai mai o sea fofo e mafua ona o le leai o se polokalame o se mea e pei o faʻavae mo tupuga mea faitino. Faavae fuafua tulaga e mafai ai ona aliali mai se mea, ma i totonu o le algorithm tatou te filifili i le taimi tatou te manaʻomia e amata ai le mea.

PS: Afai e manaia lenei faʻamatalaga, o le a ou toe iloiloina isi faʻalapotopotoga mai le Science of Logic.

puna: www.habr.com

Faaopoopo i ai se faamatalaga