D'Wëssenschaft vun der Logik am Programméiere

D'Wëssenschaft vun der Logik am Programméiere

Dësen Artikel ass eng komparativ Analyse vu logeschen Entitéiten aus der Aarbecht vum däitsche Philosoph Georg Wilhelm Friedrich Hegel "Science of Logic" mat hiren Analoga oder hir Fehlen an der Programméierung gewidmet.

Entitéite vun der Science of Logic sinn Kursiv fir Duercherneen mat den allgemeng akzeptéierten Definitioune vun dëse Wierder ze vermeiden.

Pure Wiesen

Wann Dir d'Definitioun opmaacht pure Wiesen am Buch gesitt Dir eng interessant Linn "ouni weider Definitioun". Awer fir déi, déi net gelies hunn oder net verstanen hunn, presséiert net den Auteur vun Demenz ze beschëllegt. Pure Wiesen - dëst ass e Basiskonzept an der Hegel Logik, dat heescht datt en Objet existéiert, w.e.g. verwiesselt et net mat der Existenz vun engem Objet, den Objet existéiert vläicht net an der Realitéit, awer wa mir et iergendwéi an eiser Logik definéieren, existéiert et. Wann Dir driwwer denkt, ginn et wierklech sou Saachen wéi pure Wiesen et ass onméiglech eng Definitioun ze ginn, an all esou Versuch kënnt op d'Tatsaach erof datt Dir einfach op seng Synonyme oder Antonyme referéiert. Pure Wiesen esou en abstrakt Konzept datt et op absolut alles applizéiert ka ginn, och selwer. A verschiddenen objektorientéierte Sproochen ass et méiglech alles als Objet ze representéieren, och Operatiounen op Objeten, wat eis am Prinzip esou en Abstraktiounsniveau gëtt. Wéi och ëmmer, beim Programméiere vum direkten Analog pure Wiesen Nee. Fir z'iwwerpréiwen op d'Existenz vun engem Objet, musse mir iwwerpréiwen fir seng Fehlen.

if(obj != null);

Et ass komesch datt sou syntaktesch Zocker nach net existéiert, well dës Scheck ganz populär ass.

Näischt

Wéi kéint Dir roden näischt ass d'Feele vun eppes. A seng Analog kann NULL genannt ginn. Et ass derwäert opgeschriwwen dass an der Wëssenschaft vun Logik näischt et ass pure Wiesen, well et gëtt och. Dëst ass e bësse vun engem Fang; mir kënnen net Zougang zu NULL als Objet an all Sprooch, obwuel et am Wesentlechen och een ass.

Formatioun a Momenter

Bildung ass en Iwwergank aus näischt в sinn a vu sinn в näischt. Dat gëtt eis zwee Moment, déi éischt genannt Entstoe, an zweeter laanschtgoungen. Passage et nennt een esou amplaz vun der Verschwannen, well déi logesch Essenz am Fong net verschwanne kann, ausser mir et vergiess hunn. Réckzuch wéi esou kënne mir d'Aufgab Prozedur nennen. Wann eisen Objet initialiséiert ass, dann Moment vum Optriede, an am Fall vun engem anere Wäert oder NULL zouzeschreiwen Moment vum Passage.

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

Existenz

Kurz gesoot Existenz ass en Objet deen keng kloer Definitioun huet, awer huet Sécherheet. Wat heescht dat. Dat kanonescht Beispill ass en normale Stull. Wann Dir probéiert et eng kloer Definitioun ze ginn, wäert Dir vill Schwieregkeeten begéinen. Zum Beispill, Dir seet: "Dëst ass e Miwwel fir ze sëtzen entworf", awer de Stull ass och dofir erstallt, asw. Awer de Mangel vun enger kloerer Definitioun verhënnert net datt mir et am Weltraum ënnersträichen an et benotze wann Dir Informatioun doriwwer vermëttelt, dat ass well et an eisem Kapp ass Sécherheet Stull. Vläicht hunn e puer scho virgestallt datt neural Netzwierker erstallt goufen fir sou Objeten aus dem Datestroum ze isoléieren. En neuralt Netzwierk kann als Funktioun bezeechent ginn déi dëst definéiert Sécherheet, awer et gi keng Aarte vun Objeten déi kloer a fuzzy Definitioune enthalen, dofir kënnen esou Objeten net um selwechten Abstraktiounsniveau benotzt ginn.

D'Gesetz vum Iwwergank vu quantitativen Ännerungen a qualitativen

Dëst Gesetz gouf vum Friedrich Engels als Resultat vun der Interpretatioun vun der Hegel senger Logik formuléiert. Allerdéngs ass et kloer am éischte Band am Kapitel iwwer mannst. Seng Essenz ass dat quantitativ Ännerungen un engem Objet kënnen et beaflossen Qualitéit. Zum Beispill hu mir en Äisobjekt; mat Temperaturakkumulatioun wäert et a flëssegt Waasser ëmwandelen a seng änneren Qualitéiten. Fir dëst Verhalen an engem Objet ëmzesetzen, gëtt et e Staatsdesignmuster. D'Entstoe vu sou enger Léisung gëtt verursaacht duerch d'Feele vun der Programméierung vun esou enger Saach wéi der Basis fir Optriede Objet. Stëftung bestëmmt d'Konditiounen ënner deenen en Objet erschénge kann, an am Algorithmus entscheede mir selwer op wéi engem Punkt mir den Objet initialiséieren mussen.

PS: Wann dës Informatioun interessant ass, wäert ech aner Entitéite vun der Science of Logic iwwerpréiwen.

Source: will.com

Setzt e Commentaire