Znanost o logici u programiranju

Znanost o logici u programiranju

Ovaj je članak posvećen komparativnoj analizi logičkih entiteta iz djela njemačkog filozofa Georga Wilhelma Friedricha Hegela “Znanost logike” s njihovim analogama ili nedostatkom u programiranju.

Entiteti iz znanosti logike u kurzivu su kako bi se izbjegla zabuna s općeprihvaćenim definicijama ovih riječi.

Čisto biće

Ako otvorite definiciju čisto biće u knjizi ćete vidjeti zanimljiv redak "bez daljnje definicije". Ali za one koji nisu čitali ili ne razumiju, nemojte žuriti optuživati ​​autora za demenciju. Čisto biće - ovo je osnovni koncept u Hegelovoj logici, što znači da neki objekt postoji, nemojte ga brkati s postojanjem objekta, objekt možda ne postoji u stvarnosti, ali ako smo ga nekako definirali u našoj logici, on postoji. Ako bolje razmislite, stvarno postoje stvari kao što su čisto biće nemoguće je dati definiciju, a svaki takav pokušaj će se svesti na to da ćete se jednostavno pozivati ​​na njegove sinonime ili antonime. Čisto biće tako apstraktan koncept da se može primijeniti na apsolutno sve, uključujući i sebe. U nekim objektno orijentiranim jezicima moguće je prikazati bilo što kao objekt, uključujući operacije na objektima, što nam u načelu daje takvu razinu apstrakcije. Međutim, u programiranju izravnog analognog čisto biće Ne. Da bismo provjerili postojanje objekta, moramo provjeriti njegovu odsutnost.

if(obj != null);

Čudno je da takav sintaktički šećer još ne postoji, s obzirom da je ova provjera vrlo popularna.

Ništa

Kako ste mogli pogoditi ništa je odsutnost bilo čega. A njegov analog se može nazvati NULL. Vrijedno je napomenuti da u znanosti o logici ništa je čisto biće, jer i to postoji. Ovo je mala začkoljica; ne možemo pristupiti NULL-u kao objektu ni na jednom jeziku, iako je to u biti također jedan.

Formacija i momenti

postaje prijelaz je iz ništa в biće i od biće в ništa. To nam daje dva trenutak, prvi se zove nastanak, i drugo pretjecanje. Prolaz naziva se tako umjesto nestankom, jer logična bit u suštini ne može nestati osim ako je nismo zaboravili. Povlačenje kao takav možemo nazvati procedurom dodjele. Ako je naš objekt inicijaliziran, tada trenutak nastanka, a u slučaju dodjele druge vrijednosti ili NULL trenutak prolaska.

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

Postojanje

Ukratko postojanje je objekt koji nema jasnu definiciju, ali ima sigurnost. Što to znači. Kanonski primjer je obična stolica. Ako ga pokušate jasno definirati, naići ćete na mnoge poteškoće. Na primjer, kažete: "ovo je komad namještaja namijenjen za sjedenje", ali stolica je također stvorena za to, itd. Ali nedostatak jasne definicije ne sprječava nas da ga istaknemo u prostoru i koristimo ga kada prenosimo informacije o njemu, to je zato što u našoj glavi postoji sigurnost stolica. Možda su neki već pogodili da su neuronske mreže stvorene kako bi se takvi objekti izolirali od toka podataka. Neuronska mreža može se označiti kao funkcija koja to definira sigurnost, ali ne postoje tipovi objekata koji bi uključivali jasne i nejasne definicije, stoga se takvi objekti ne mogu koristiti na istoj razini apstrakcije.

Zakon prijelaza kvantitativnih promjena u kvalitativne

Ovaj je zakon formulirao Friedrich Engels kao rezultat tumačenja Hegelove logike. Međutim, to se jasno može vidjeti u prvom svesku u poglavlju o najmanje. Njegova suština je u tome kvantitativni promjene na objektu mogu utjecati na njega kakvoća. Na primjer, imamo ledeni objekt; akumulacijom temperature on će se pretvoriti u tekuću vodu i promijeniti svoju kvaliteta. Da bi se ovo ponašanje implementiralo u objekt, postoji obrazac dizajna stanja. Pojava takvog rješenja uzrokovana je nedostatkom u programiranju takve stvari kao što je temelj za pojava objekt. temelj određuje uvjete pod kojima se objekt može pojaviti, a u algoritmu sami odlučujemo u kojem trenutku trebamo inicijalizirati objekt.

PS: Ako je ova informacija zanimljiva, pregledat ću druge entitete iz znanosti logike.

Izvor: www.habr.com

Dodajte komentar