Nauka logike u programiranju

Nauka logike u programiranju

Ovaj članak je posvećen komparativnoj analizi logičkih entiteta iz rada njemačkog filozofa Georga Wilhelma Friedricha Hegela „Nauka o logici” sa njihovim analozima ili njihovim odsustvom u programiranju.

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

Čisto biće

Ako otvorite definiciju čisto biće u knjizi ćete vidjeti zanimljiv redak „bez dalje 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 predmet postoji, molim vas nemojte ga brkati sa postojanjem objekta, objekat možda ne postoji u stvarnosti, ali ako smo ga nekako definisali u našoj logici, on postoji. Ako razmislite o tome, zaista 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 samog sebe. U nekim objektno orijentisanim jezicima moguće je bilo šta predstaviti kao objekt, uključujući operacije nad objektima, što nam u principu daje takav nivo apstrakcije. Međutim, u programiranju direktnog analognog čisto biće br. Da bismo provjerili postojanje objekta, moramo provjeriti njegovo odsustvo.

if(obj != null);

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

Ništa

Kako si mogao pogoditi ništa je odsustvo bilo čega. A njegov analog se može nazvati NULL. Vrijedi napomenuti da u nauci logike ništa To je čisto biće, jer i ona postoji. Ovo je mala zamka; ne možemo pristupiti NULL-u kao objektu ni na jednom jeziku, iako je u suštini i on jedan.

Formacija i momenti

Postati je prijelaz iz ništa в biće i od biće в ništa. To nam daje dva momenat, prvi se zove emergencei drugo prolazeći. Prolaz zove se tako umjesto nestajanja, jer logička suština suštinski ne može nestati osim ako je ne zaboravimo. Povlačenje kao takav možemo nazvati proceduru dodjele. Ako je naš objekat inicijaliziran, onda momenta nastanka, iu slučaju dodjeljivanja druge vrijednosti ili NULL trenutak prolaska.

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

Postojanje

Ukratko postojanje je objekat koji nema jasnu definiciju, ali ima sigurnost. Šta to znači. Kanonski primjer je obična stolica. Ako pokušate da mu date jasnu definiciju, naići ćete na mnoge poteškoće. Na primjer, kažete: "ovo je komad namještaja dizajniran za sjedenje", ali i stolica je stvorena za to, itd. Ali nedostatak jasne definicije ne sprečava nas da ga istaknemo u prostoru i koristimo ga prilikom prenošenja informacija o njemu, jer u našoj glavi postoji sigurnost stolica. Možda su neki već pretpostavili da su neuronske mreže stvorene da izoluju takve objekte iz toka podataka. Neuronska mreža se može označiti kao funkcija koja ovo definira sigurnost, ali ne postoje tipovi objekata koji bi uključivali jasne i nejasne definicije, pa se takvi objekti ne mogu koristiti na istom nivou apstrakcije.

Zakon prelaska kvantitativnih promjena u kvalitativne

Ovaj zakon je formulisao Friedrich Engels kao rezultat tumačenja Hegelove logike. Međutim, to se može jasno vidjeti u prvom tomu u poglavlju o mere. Njegova suština je u tome kvantitativno promjene na objektu mogu utjecati na njega kvalitet. Na primjer, imamo ledeni predmet koji će se akumulacijom temperature pretvoriti u tekuću vodu i promijeniti svoju kvaliteta. Za implementaciju ovakvog ponašanja u objektu postoji obrazac dizajna stanja. Pojava ovakvog rješenja uzrokovana je odsustvom u programiranju takve stvari kao što je temelj do emergence objekt. Fondacija određuje uslove pod kojima se objekat može pojaviti, a u algoritmu sami odlučujemo u kom trenutku trebamo da inicijalizujemo objekat.

PS: Ako je ova informacija zanimljiva, pregledaću druge entitete iz Nauke logike.

izvor: www.habr.com

Dodajte komentar