Znanost o logiki v programiranju

Znanost o logiki v programiranju

Ta članek je posvečen primerjalni analizi logičnih entitet iz dela nemškega filozofa Georga Wilhelma Friedricha Hegla "Znanost logike" z njihovimi analogi ali njihovo odsotnostjo v programiranju.

Entitete iz znanosti o logiki so v poševnem tisku, da bi se izognili zamenjavi s splošno sprejetimi definicijami teh besed.

Čisto bitje

Če odprete definicijo čisto bitje v knjigi boste videli zanimivo vrstico »brez nadaljnje definicije«. Toda za tiste, ki niso prebrali ali ne razumejo, ne hitite z obtožbami avtorja demence. Čisto bitje - to je osnovni pojem v Heglovi logiki, kar pomeni, da nek predmet obstaja, prosim, ne zamenjujte ga z obstojem predmeta, predmet morda ne obstaja v resnici, vendar če smo ga nekako definirali v naši logiki, obstaja. Če pomislite, res obstajajo stvari, kot so čisto bitje nemogoče je dati definicijo in vsak tak poskus se bo zmanjšal na dejstvo, da se boste preprosto sklicevali na njegove sopomenke ali antonime. Čisto bitje tako abstrakten koncept, da ga je mogoče uporabiti za čisto vse, vključno s samim seboj. V nekaterih objektno usmerjenih jezikih je mogoče kot objekt predstaviti karkoli, vključno z operacijami na objektih, kar nam načeloma daje takšno raven abstrakcije. Vendar pri programiranju neposrednega analoga čisto bitje št. Da bi preverili obstoj predmeta, moramo preveriti njegovo odsotnost.

if(obj != null);

Nenavadno je, da tak sintaktični sladkor še ne obstaja, glede na to, da je to preverjanje zelo priljubljeno.

Nič

Kako si lahko uganil nič je odsotnost česarkoli. Njegov analog lahko imenujemo NULL. Omeniti velja, da v znanosti o logiki nič je čisto bitje, ker tudi obstaja. To je malenkost ulov; ne moremo dostopati do NULL kot predmeta v nobenem jeziku, čeprav je v bistvu tudi to.

Nastanek in trenutki

Postati je prehod iz nič в biti in od biti в nič. To nam daje dva trenutek, prvi se imenuje nastanekin drugo mimogrede. Prehod tako se imenuje namesto izginotje, ker logično bistvo v bistvu ne more izginiti, če ga nismo pozabili. Odstop kot takemu lahko rečemo postopek dodelitve. Če je naš objekt inicializiran, potem trenutek nastanka, in v primeru dodelitve druge vrednosti ali NULL trenutek minevanja.

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

Obstoj

V kratkem obstoj je objekt, ki nima jasne definicije, a ima gotovost. Kaj to pomeni. Kanonični primer je navaden stol. Če ga poskušate jasno opredeliti, boste naleteli na številne težave. Na primer, rečete: "to je kos pohištva za sedenje," vendar je tudi stol ustvarjen za to itd. Toda pomanjkanje jasne definicije nam ne preprečuje, da bi ga izpostavili v prostoru in ga uporabili pri prenosu informacij o njem, to je zato, ker je v naši glavi gotovost stol. Morda so nekateri že uganili, da so bile nevronske mreže ustvarjene za izolacijo takšnih objektov iz toka podatkov. Nevronsko mrežo lahko označimo kot funkcijo, ki to definira gotovost, vendar ni tipov objektov, ki bi vključevali jasne in mehke definicije, zato takšnih objektov ni mogoče uporabiti na isti ravni abstrakcije.

Zakon prehajanja kvantitativnih sprememb v kvalitativne

Ta zakon je oblikoval Friedrich Engels kot rezultat razlage Heglove logike. Vendar pa je jasno razvidno iz prvega zvezka v poglavju o vsaj. Njeno bistvo je v tem količinsko spremembe predmeta lahko vplivajo nanj Kakovost. Na primer, imamo ledeni predmet; s kopičenjem temperature se bo spremenil v tekočo vodo in se spremenil lastnosti. Za izvedbo tega vedenja v objektu obstaja načrtovalni vzorec stanja. Pojav takšne rešitve je posledica odsotnosti v programiranju stvari, kot je osnovo za pojav predmet. Fundacija določa pogoje, pod katerimi se objekt lahko pojavi, v algoritmu pa se sami odločimo, na kateri točki moramo objekt inicializirati.

PS: Če so te informacije zanimive, bom pregledal druge entitete iz znanosti o logiki.

Vir: www.habr.com

Dodaj komentar