Tiede logiikasta ohjelmoinnissa

Tiede logiikasta ohjelmoinnissa

Tämä artikkeli on omistettu saksalaisen filosofin Georg Wilhelm Friedrich Hegelin teosten "Logiikkatiede" loogisten kokonaisuuksien vertailevalle analyysille niiden analogien kanssa tai niiden puuttumisesta ohjelmoinnista.

Logiikkatieteen entiteetit on kursivoitu, jotta vältetään sekaannukset näiden sanojen yleisesti hyväksyttyjen määritelmien kanssa.

Puhdas olemus

Jos avaat määritelmän puhdas olento kirjassa näet mielenkiintoisen rivin "ilman tarkempaa määritelmää". Mutta ne, jotka eivät ole lukeneet tai eivät ymmärrä, älkää kiirehtikö syyttämään kirjoittajaa dementiasta. Puhdas olemus - tämä on peruskäsite Hegelin logiikassa, mikä tarkoittaa, että jokin objekti on olemassa, älä sekoita sitä esineen olemassaoloon, objektia ei ehkä ole olemassa todellisuudessa, mutta jos me jotenkin määrittelimme sen logiikassamme, se on olemassa. Jos ajattelee sitä, on olemassa sellaisia ​​​​asioita kuin puhdas olento on mahdotonta antaa määritelmää, ja jokainen tällainen yritys johtaa siihen tosiasiaan, että viittaat vain sen synonyymeihin tai antonyymeihin. Puhdas olemus niin abstrakti käsite, että sitä voidaan soveltaa aivan mihin tahansa, myös itseensä. Joissakin oliokielissä on mahdollista esittää objektina mitä tahansa, mukaan lukien objektien operaatiot, mikä periaatteessa antaa meille tällaisen abstraktiotason. Kuitenkin suoran analogin ohjelmoinnissa puhdas olento Ei. Objektin olemassaolon tarkistamiseksi meidän on tarkistettava sen puuttuminen.

if(obj != null);

On outoa, että tällaista syntaktista sokeria ei vielä ole olemassa, koska tämä sekki on erittäin suosittu.

ei mitään

Kuinka voit arvata ei mitään on minkään puuttuminen. Ja sen analogia voidaan kutsua NULLiksi. On syytä huomata, että logiikan tieteessä ei mitään on puhdas olento, koska sekin on olemassa. Tämä on pieni saalis; emme voi käyttää NULL-arvoa objektina millään kielellä, vaikka pohjimmiltaan se on myös sellainen.

Muodostelu ja hetket

tulossa on siirtymä ei mitään в ollessa Ja vuodesta oleminen в ei mitään. Se antaa meille kaksi hetki, ensimmäinen on nimeltään ilmaantuminenja toinen ohimennen. Kulku sitä kutsutaan niin katoamisen sijaan, koska looginen olemus ei periaatteessa voi kadota, ellemme ole unohtaneet sitä. Nosto sellaisenaan voimme kutsua toimeksiantomenettelyä. Jos objektimme on alustettu, niin tapahtumahetki, ja jos määritetään toinen arvo tai NULL ohimenemisen hetki.

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

Olemassaolo

Lyhyesti olemassaolo on esine, jolla ei ole selkeää määritelmää, mutta jolla on varmuutta. Mitä se tarkoittaa. Kanoninen esimerkki on tavallinen tuoli. Jos yrität antaa sille selkeän määritelmän, kohtaat monia vaikeuksia. Sanot esimerkiksi: "tämä on istumiseen suunniteltu huonekalu", mutta tuoli on myös luotu tätä varten jne. Mutta selkeän määritelmän puute ei estä meitä korostamasta sitä avaruudessa ja käyttämästä sitä välitettäessä tietoa siitä, tämä johtuu siitä, että päässämme on varmuutta tuoli. Ehkä jotkut ovat jo aavistaneet, että hermoverkkoja luotiin tällaisten objektien eristämiseksi tietovirrasta. Neuraaliverkkoa voidaan ilmaista funktiona, joka määrittelee tämän varmuutta, mutta ei ole olemassa selkeitä ja sumeita määritelmiä sisältäviä objektityyppejä, joten tällaisia ​​objekteja ei voida käyttää samalla abstraktiotasolla.

Laki määrällisten muutosten muuttumisesta laadullisiksi

Tämän lain muotoili Friedrich Engels Hegelin logiikan tulkinnan tuloksena. Se näkyy kuitenkin selvästi luvun ensimmäisessä osassa vähiten. Sen ydin on se määrällinen kohteen muutokset voivat vaikuttaa siihen качество. Esimerkiksi meillä on jääobjekti; lämpötilan kertyessä se muuttuu nestemäiseksi vedeksi ja muuttaa sen Laatu. Tämän toiminnan toteuttamiseksi objektissa on tilan suunnittelumalli. Tällaisen ratkaisun syntyminen johtuu siitä, että ohjelmoinnista puuttuu sellainen asia kuin perusta varten esiintyminen esine. perusta määrittää olosuhteet, joissa objekti voi esiintyä, ja algoritmissa päätämme itse, missä vaiheessa objekti pitää alustaa.

PS: Jos tämä tieto on kiinnostavaa, käyn läpi muita logiikkatieteen kokonaisuuksia.

Lähde: will.com

Lisää kommentti