Veda o logike v programovaní

Veda o logike v programovaní

Tento článok je venovaný komparatívnej analýze logických entít z diela nemeckého filozofa Georga Wilhelma Friedricha Hegela „Veda o logike“ s ich analógmi alebo ich absenciou v programovaní.

Entity z vedy o logike sú uvedené kurzívou, aby sa predišlo zámene so všeobecne akceptovanými definíciami týchto slov.

Čistá bytosť

Ak otvoríte definíciu čisté bytie v knihe uvidíte zaujímavý riadok „bez ďalšej definície“. Ale pre tých, ktorí nečítali alebo nerozumejú, neponáhľajte sa s obviňovaním autora z demencie. Čistá bytosť - toto je základný pojem v Hegelovej logike, čo znamená, že nejaký predmet existuje, nemýľte si to, prosím, s existenciou predmetu, predmet v skutočnosti nemusí existovať, ale ak sme ho nejako definovali v našej logike, existuje. Ak sa nad tým zamyslíte, naozaj existujú také veci ako čisté bytie nie je možné uviesť definíciu a každý takýto pokus vyústi do skutočnosti, že budete jednoducho odkazovať na jeho synonymá alebo antonymá. Čistá bytosť taký abstraktný pojem, že ho možno použiť na absolútne čokoľvek, vrátane seba. V niektorých objektovo orientovaných jazykoch je možné reprezentovať čokoľvek ako objekt, vrátane operácií s objektmi, čo nám v princípe dáva takú úroveň abstrakcie. Avšak pri programovaní priameho analógu čisté bytie Nie Aby sme skontrolovali existenciu objektu, musíme skontrolovať jeho neprítomnosť.

if(obj != null);

Je zvláštne, že takýto syntaktický cukor zatiaľ neexistuje, vzhľadom na to, že táto kontrola je veľmi populárna.

nič

Ako si mohol hádať nič je absencia čohokoľvek. A jeho analóg možno nazvať NULL. Stojí za zmienku, že vo vede o logike nič je čisté bytie, pretože tiež existuje. Toto je trochu háčik; nemôžeme pristupovať k NULL ako k objektu v žiadnom jazyku, hoci v podstate je to tiež jeden.

Formácia a momenty

slušivý je prechod z nič в bytia a od bytie в nič. To nám dáva dve moment, prvý sa volá vznika druhý absolvovanie. Priechod nazýva sa to tak namiesto zmiznutia, pretože logická podstata v podstate nemôže zmiznúť, pokiaľ sme na ňu nezabudli. Odstúpenie ako taký môžeme nazvať postup priraďovania. Ak je náš objekt inicializovaný, potom moment výskytu, a v prípade priradenia inej hodnoty alebo NULL moment prechodu.

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

Existencia

V skratke existencie je objekt, ktorý nemá jasnú definíciu, ale má istota. Čo to znamená. Kanonickým príkladom je obyčajná stolička. Ak sa tomu pokúsite dať jasnú definíciu, narazíte na mnohé ťažkosti. Napríklad poviete: „toto je kus nábytku určený na sedenie“, ale stolička je na to stvorená atď. Chýbajúca jasná definícia nám však nebráni zvýrazniť ju v priestore a použiť ju pri prenose informácií o nej, pretože v našej hlave existuje istota stolička. Možno už niektorí uhádli, že neurónové siete boli vytvorené na izoláciu takýchto objektov od toku údajov. Neurónovú sieť možno označiť ako funkciu, ktorá to definuje istota, ale neexistujú žiadne typy objektov, ktoré by obsahovali jasné a nejasné definície, preto takéto objekty nemožno použiť na rovnakej úrovni abstrakcie.

Zákon prechodu kvantitatívnych zmien na kvalitatívne

Tento zákon sformuloval Friedrich Engels ako výsledok výkladu Hegelovej logiky. Je to však jasne vidieť v prvom zväzku v kapitole o opatrenie. Jeho podstatou je to kvantitatívne zmeny objektu ho môžu ovplyvniť kvalita. Napríklad máme ľadový objekt, ktorý sa akumuláciou teploty zmení na tekutú vodu a zmení ju Kvalita. Na implementáciu tohto správania v objekte existuje vzor návrhu stavu. Vznik takéhoto riešenia je spôsobený absenciou v programovaní niečoho ako nadácie pre vznik objekt. nadácie určuje podmienky, za ktorých sa môže objekt objaviť, a v algoritme sa sami rozhodneme, v akom bode musíme objekt inicializovať.

PS: Ak sú tieto informácie zaujímavé, preskúmam ďalšie entity z vedy o logike.

Zdroj: hab.com

Pridať komentár