Élmu Logika dina Pemrograman

Élmu Logika dina Pemrograman

Artikel ieu devoted kana analisis komparatif éntitas logis tina karya filsuf Jerman Georg Wilhelm Friedrich Hegel "Élmu Logika" kalawan analogs maranéhanana atawa henteuna maranéhanana dina programming.

Éntitas ti Élmu Logika aya dina miring pikeun nyegah kabingungan sareng definisi anu ditarima sacara umum tina kecap-kecap ieu.

mahluk murni

Lamun muka harti mahluk murni dina buku, anjeun bakal nempo hiji garis metot "tanpa harti salajengna." Tapi pikeun anu can maca atawa teu ngarti, ulah buru-buru nuduh pangarang pikun. mahluk murni - Ieu konsép dasar dina logika Hegel urang, hartina aya sababaraha obyék, mangga ulah bingung eta kalawan ayana hiji obyék, obyék bisa jadi teu aya dina kanyataanana, tapi lamun urang kumaha bae ngartikeun eta dina logika urang, éta aya. Lamun mikir ngeunaan eta, aya bener aya hal saperti mahluk murni teu mungkin mun masihan harti, sarta sagala usaha sapertos bakal datang ka kanyataan yén anjeun ngan saukur bakal ngarujuk kana sinonim atawa antonim na. mahluk murni konsép abstrak sapertos anu tiasa diterapkeun kana sagala hal, kalebet nyalira. Dina sababaraha basa obyék-berorientasi, kasebut nyaéta dimungkinkeun pikeun ngagambarkeun nanaon salaku obyék, kaasup operasi dina objék, nu prinsipna mah méré urang tingkat abstraksi misalna. Sanajan kitu, dina programming nu analog langsung mahluk murni No. Pikeun mariksa ayana hiji obyék, urang kudu mariksa henteuna na.

if(obj != null);

Aneh yén gula sintaksis sapertos kitu henteu acan aya, upami cek ieu populer pisan.

Henteu aya nanaon

Kumaha anjeun bisa nebak euweuh nyaeta henteuna nanaon. Sareng analogna tiasa disebat NULL. Eta sia noting yén dina elmu logika euweuh éta mahluk murni, sabab ogé aya. Ieu rada pikasieuneun; urang teu tiasa ngaksés NULL salaku obyék dina basa naon waé, sanaos dina dasarna éta ogé.

Formasi jeung moments

Janten mangrupa transisi ti euweuh в mahluk sareng ti mahluk в euweuh. Nu masihan urang dua momen, anu kahiji disebut mecenghulna, sareng sadetik ngaliwat. Paliwatan disebut kitu tinimbang leungit, sabab hakekat logis teu bisa leungit iwal urang geus poho. Ditarikna Salaku misalna urang bisa nelepon prosedur ngerjakeun. Lamun obyék urang geus initialized, teras momen kajadian, sareng upami masihan nilai anu sanés atanapi NULL momen ngaliwat.

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

Ayana

Pondokna ayana mangrupa objék nu teu boga harti jelas, tapi boga kapastian. Naon éta hartosna. Conto canonical nyaéta korsi biasa. Upami anjeun nyobian masihan definisi anu jelas, anjeun bakal mendakan seueur kasusah. Contona, anjeun nyebutkeun: "ieu sapotong jati dirancang pikeun diuk," tapi korsi ogé dijieun pikeun ieu, jsb. Tapi kurangna definisi anu jelas henteu nyegah urang nyorot dina rohangan sareng ngagunakeunana nalika ngirimkeun inpormasi ngeunaan éta, sabab dina sirah urang aya. kapastian korsi. Panginten sababaraha anu parantos nyangka yén jaringan saraf diciptakeun pikeun ngasingkeun objék sapertos kitu tina aliran data. Jaringan saraf tiasa dilambangkeun salaku fungsi anu ngahartikeun ieu kapastian, tapi teu aya jinis objék anu kalebet definisi anu jelas sareng kabur, ku kituna objék sapertos kitu henteu tiasa dianggo dina tingkat abstraksi anu sami.

Hukum transisi kuantitatif robah jadi kualitatif

Hukum ieu dirumuskeun ku Friedrich Engels salaku hasil tina interpretasi logika Hegel. Sanajan kitu, eta bisa jelas katempo dina jilid munggaran dina bab on ngukur. Intina nya éta kuantitatif parobahan hiji obyék bisa mangaruhan eta kualitas. Salaku conto, urang gaduh obyék és; kalayan akumulasi suhu, éta bakal janten cai cair sareng ngarobih kualitas. Pikeun nerapkeun paripolah ieu dina hiji obyék, aya pola desain State. Mecenghulna solusi sapertos ieu disababkeun ku henteuna dina programming hal saperti dasar keur kajadian objék. pandemen nangtukeun kaayaan dimana hiji obyék bisa muncul, sarta dina algoritma urang sorangan mutuskeun dina titik naon urang kudu initialize obyék.

PS: Upami inpormasi ieu pikaresepeun, kuring bakal marios éntitas sanés tina Élmu Logika.

sumber: www.habr.com

Tambahkeun komentar