{"id":32111,"date":"2019-10-31T21:45:14","date_gmt":"2019-10-31T18:45:14","guid":{"rendered":"https:\/\/prohoster.info\/blog\/nauka-logiki-v-programmirovanii\/"},"modified":"2019-10-31T21:45:14","modified_gmt":"2019-10-31T18:45:14","slug":"nauka-logiki-v-programmirovanii","status":"publish","type":"post","link":"https:\/\/prohoster.info\/nl\/blog\/news\/nauka-logiki-v-programmirovanii","title":{"rendered":"De wetenschap van de logica in programmeren","gt_translate_keys":[{"key":"rendered","format":"text"}]},"content":{"rendered":"<p><img decoding=\"async\" alt=\"De wetenschap van de logica in programmeren\" src=\"\/wp-content\/uploads\/2019\/04\/3f4ea4ccd01e4dd17cb9348e35b80752.jpeg\" style=\"display:block;margin: 0 auto;\" \/><\/p>\n<p><\/p>\n<p>Dit artikel behandelt een vergelijkende analyse van de logische entiteiten uit het werk van de Duitse filosoof Georg Wilhelm Friedrich Hegel 'Wetenschap van de Logica' met hun analogen of het ontbreken daarvan in programmeren.<\/p>\n<p><noindex><a rel=\"nofollow\" name=\"habracut\"><\/a><\/noindex><\/p>\n<p>Entiteiten uit 'Wetenschap van de Logica' zijn cursief weergegeven om verwarring met gangbare definities van deze woorden te voorkomen.<\/p>\n<p><\/p>\n<h1 id=\"chistoe-bytie\">Zuiver zijn<\/h1>\n<p><\/p>\n<p>Als u de definitie opent <em>zuiver zijn<\/em> in het boek, zult u een interessante regel tegenkomen 'zonder verdere definitie'. Maar voor degenen die het niet hebben gelezen of niet hebben begrepen, haast u niet om de auteur van dementie te beschuldigen. <em>Zuiver zijn<\/em> \u2014 dit is een basisbegrip in de logica van Hegel, wat betekent dat een object bestaat; verwart u dit niet met het bestaan van een object; een object kan in de werkelijkheid niet bestaan, maar als we het op een bepaalde manier defini\u00ebren in onze logica, dan is het er. Als u erover nadenkt, zijn er werkelijk dingen zoals <em>zuiver zijn<\/em> het is onmogelijk om een definitie te geven, en elke poging hiertoe zal neerkomen op dat u gewoon naar synoniemen of antoniemen verwijst. <em>Zuiver zijn<\/em> een zo abstract begrip, dat het op absoluut alles van toepassing kan zijn, inclusief zichzelf. In sommige objectgeori\u00ebnteerde talen is het mogelijk om alles als object voor te stellen, inclusief operaties op objecten, wat in principe ons zo'n abstractieniveau geeft. Echter, in programmering is er geen directe analoog van <em>zuiver zijn<\/em> Om de aanwezigheid van een object te controleren, moeten we zijn afwezigheid controleren.<\/p>\n<p><\/p>\n<pre><code class=\"cs\">if(obj != null);<\/code><\/pre>\n<p><\/p>\n<p>Het is vreemd dat er nog geen dergelijke syntactische suiker is, gezien het feit dat deze controle vrij populair is.<\/p>\n<p><\/p>\n<h1 id=\"nichto\">Niets<\/h1>\n<p><\/p>\n<p>Zoals je kunt raden <em>niets<\/em> is de afwezigheid van iets. Zijn analoog kan NULL zijn. Het is belangrijk op te merken dat in de wetenschap van de logica <em>niets<\/em> is <em>zuiver zijn<\/em>, omdat het ook bestaat. Dit vormt een kleine complicatie; naar NULL kunnen we in geen enkele taal als object verwijzen, hoewel het in wezen ook een object is.<\/p>\n<p><\/p>\n<h1 id=\"stanovlenie-i-momenty\">Worden en momenten<\/h1>\n<p><\/p>\n<p><em>Worden<\/em> is de overgang van <em>niets<\/em> in <em>zijn<\/em> en van <em>zijn<\/em> in <em>niets<\/em>. Dit geeft ons twee <em>momenten<\/em>, de eerste wordt genoemd <em>ontstaan<\/em>, en de tweede <em>vergang<\/em>. <em>Vergang<\/em> is zo genoemd in plaats van verdwijnen, omdat een logische entiteit in wezen niet kan verdwijnen, alleen als we het vergeten zijn. <em>Opheffing<\/em> hoe we de procedure voor toewijzing kunnen noemen. In het geval dat we een object initialiseren, gebeurt er <em>het moment van ontstaan<\/em>, en in het geval van het toewijzen van een andere waarde of NULL <em>het moment van vergaan<\/em>.<\/p>\n<p><\/p>\n<pre><code class=\"cs\">obj = new object(); \/\/ ontstaan\nobj = null; \/\/ vergaan<\/code><\/pre>\n<p><\/p>\n<h1 id=\"nalichnoe-bytie\">Het actuele bestaan<\/h1>\n<p><\/p>\n<p>Als ik het kort samenvat <em>actueel bestaan<\/em> \u2014 is een object dat geen duidelijke definitie heeft, maar wel heeft <em>duidelijkheid<\/em>. Wat betekent dit. Een canoniek voorbeeld is een gewone stoel. Als je probeert het een duidelijke definitie te geven, zul je met veel moeilijkheden worden geconfronteerd. Bijvoorbeeld, je zegt: 'dit is een meubelstuk dat bedoeld is om op te zitten', maar een fauteuil is ook voor dat doel gemaakt, enzovoort. Maar het ontbreken van een duidelijke definitie weerhoudt ons er niet van om het in de ruimte te onderscheiden en te gebruiken bij het overdragen van informatie erover, dat komt omdat we in ons hoofd hebben <em>duidelijkheid<\/em> van een stoel. Misschien heeft iemand al geraden dat neuro-netwerken zijn ontworpen om zulke objecten uit de datastroom te filteren. Een neuraal netwerk kan worden aangeduid als een functie die dit <em>duidelijkheid<\/em>, maar er zijn geen soorten objecten die zowel duidelijke als vage definities omvatten, daarom kunnen zulke objecten niet op hetzelfde abstractieniveau worden gebruikt.<\/p>\n<p><\/p>\n<h1 id=\"zakon-perehoda-kolichestvennyh-izmeneniy-v-kachestvennye\">De wet van overgang van kwantitatieve veranderingen naar kwalitatieve<\/h1>\n<p><\/p>\n<p>Deze wet werd geformuleerd door Friedrich Engels na de interpretatie van de logica van Hegel. Echter, men kan het heel goed zien in het eerste deel in het hoofdstuk over <em>maat<\/em>. De essentie ervan is dat <em>kwantitatieve<\/em> veranderingen in een object invloed kunnen uitoefenen op zijn <em>kwaliteit<\/em>. Bijvoorbeeld, we hebben een object ijs, bij het toenemen van de temperatuur verandert het in vloeibaar water en verandert het zijn <em>kwaliteiten<\/em>. Voor de implementatie van dergelijk gedrag in een object bestaat er een ontwerppatroon 'Toestand'. De opkomst van een dergelijke oplossing is veroorzaakt door het ontbreken van zoiets als <em>grondslag<\/em> voor <em>van het ontstaan<\/em> van een object. <em>De grondslag<\/em> bepaalt de voorwaarden waaronder een object kan ontstaan, en in het algoritme besluiten we zelf op welk moment we het object moeten initialiseren.<\/p>\n<p><\/p>\n<p><strong>PS:<\/strong> Als deze informatie interessant is, zal ik een overzicht geven van andere entiteiten uit 'Wetenschap van de Logica'.<\/p>\n<p>Bron: <a content=\"nofollow\" rel=\"nofollow\" href=\"https:\/\/habr.com\/ru\/post\/448948\/\">habr.com<\/a><\/p>","protected":false,"gt_translate_keys":[{"key":"rendered","format":"html"}]},"excerpt":{"rendered":"<p>\u0414\u0430\u043d\u043d\u0430\u044f \u0441\u0442\u0430\u0442\u044c\u044f \u043f\u043e\u0441\u0432\u044f\u0449\u0435\u043d\u0430 \u0441\u0440\u0430\u0432\u043d\u0438\u0442\u0435\u043b\u044c\u043d\u043e\u043c\u0443 \u0430\u043d\u0430\u043b\u0438\u0437\u0443 \u043b\u043e\u0433\u0438\u0447\u0435\u0441\u043a\u0438\u0445 \u0441\u0443\u0449\u043d\u043e\u0441\u0442\u0435\u0439 \u0438\u0437 \u043f\u0440\u043e\u0438\u0437\u0432\u0435\u0434\u0435\u043d\u0438\u044f \u043d\u0435\u043c\u0435\u0446\u043a\u043e\u0433\u043e \u0444\u0438\u043b\u043e\u0441\u043e\u0444\u0430 \u0413\u0435\u043e\u0440\u0433\u0430 \u0412\u0438\u043b\u044c\u0433\u0435\u043b\u044c\u043c\u0430 \u0424\u0440\u0438\u0434\u0440\u0438\u0445\u0430 \u0413\u0435\u0433\u0435\u043b\u044f &#171;\u041d\u0430\u0443\u043a\u0438 \u043b\u043e\u0433\u0438\u043a\u0438&#187; \u0441 \u0438\u0445 \u0430\u043d\u0430\u043b\u043e\u0433\u0430\u043c\u0438 \u0438\u043b\u0438 \u0438\u0445 \u043e\u0442\u0441\u0443\u0442\u0441\u0442\u0432\u0438\u0435\u043c \u0432 \u043f\u0440\u043e\u0433\u0440\u0430\u043c\u043c\u0438\u0440\u043e\u0432\u0430\u043d\u0438\u0438. \u0421\u0443\u0449\u043d\u043e\u0441\u0442\u0438 \u0438\u0437 &#171;\u041d\u0430\u0443\u043a\u0438 \u043b\u043e\u0433\u0438\u043a\u0438&#187; \u0432\u044b\u0434\u0435\u043b\u0435\u043d\u044b \u043a\u0443\u0440\u0441\u0438\u0432\u043e\u043c \u0447\u0442\u043e\u0431\u044b \u043d\u0435 \u0431\u044b\u043b\u043e \u043f\u0443\u0442\u0430\u043d\u0438\u0446\u044b \u0441 \u043e\u0431\u0449\u0435\u043f\u0440\u0438\u043d\u044f\u0442\u044b\u043c\u0438 \u043e\u043f\u0440\u0435\u0434\u0435\u043b\u0435\u043d\u0438\u044f\u043c\u0438 \u044d\u0442\u0438\u0445 \u0441\u043b\u043e\u0432. \u0427\u0438\u0441\u0442\u043e\u0435 \u0431\u044b\u0442\u0438\u0435 \u0415\u0441\u043b\u0438 \u0412\u044b \u043e\u0442\u043a\u0440\u043e\u0435\u0442\u0435 \u043e\u043f\u0440\u0435\u0434\u0435\u043b\u0435\u043d\u0438\u0435 \u0447\u0438\u0441\u0442\u043e\u0435 \u0431\u044b\u0442\u0438\u0435 \u0432 \u043a\u043d\u0438\u0433\u0435, \u0442\u043e \u0443\u0432\u0438\u0434\u0438\u0442\u0435 \u0438\u043d\u0442\u0435\u0440\u0435\u0441\u043d\u0443\u044e \u0441\u0442\u0440\u043e\u0447\u043a\u0443 &#171;\u0431\u0435\u0437 [&hellip;]<\/p>\n","protected":false,"gt_translate_keys":[{"key":"rendered","format":"html"}]},"author":1,"featured_media":23951,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[702],"tags":[],"class_list":["post-32111","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-news"],"aioseo_notices":[],"aioseo_head":"\n\t\t<!-- All in One SEO 5.0.3 - aioseo.com -->\n\t<meta name=\"description\" content=\"\u0414\u0430\u043d\u043d\u0430\u044f \u0441\u0442\u0430\u0442\u044c\u044f \u043f\u043e\u0441\u0432\u044f\u0449\u0435\u043d\u0430 \u0441\u0440\u0430\u0432\u043d\u0438\u0442\u0435\u043b\u044c\u043d\u043e\u043c\u0443 \u0430\u043d\u0430\u043b\u0438\u0437\u0443.\" \/>\n\t<meta name=\"robots\" content=\"max-image-preview:large\" \/>\n\t<meta name=\"author\" content=\"Yuri Gagarin\"\/>\n\t<link rel=\"canonical\" href=\"https:\/\/prohoster.info\/nl\/blog\/news\/nauka-logiki-v-programmirovanii\" \/>\n\t\t<meta name=\"generator\" content=\"All in One SEO (AIOSEO) 5.0.3\" \/>\n\t\t<meta property=\"og:locale\" content=\"nl_NL\" \/>\n\t\t<meta property=\"og:site_name\" content=\"ProHoster | \u041a\u0443\u043f\u0438\u0442\u044c \u043d\u0430\u0434\u0435\u0436\u043d\u044b\u0439 \u0445\u043e\u0441\u0442\u0438\u043d\u0433 \u0434\u043b\u044f \u0441\u0430\u0439\u0442\u043e\u0432 \u0441 \u0437\u0430\u0449\u0438\u0442\u043e\u0439 \u043e\u0442 DDoS, VPS VDS \u0441\u0435\u0440\u0432\u0435\u0440\u044b\" \/>\n\t\t<meta property=\"og:type\" content=\"article\" \/>\n\t\t<meta property=\"og:title\" content=\"\ud83e\udd47\u041d\u0430\u0443\u043a\u0430 \u043b\u043e\u0433\u0438\u043a\u0438 \u0432 \u043f\u0440\u043e\u0433\u0440\u0430\u043c\u043c\u0438\u0440\u043e\u0432\u0430\u043d\u0438\u0438 | ProHoster\" \/>\n\t\t<meta property=\"og:description\" content=\"\u0414\u0430\u043d\u043d\u0430\u044f \u0441\u0442\u0430\u0442\u044c\u044f \u043f\u043e\u0441\u0432\u044f\u0449\u0435\u043d\u0430 \u0441\u0440\u0430\u0432\u043d\u0438\u0442\u0435\u043b\u044c\u043d\u043e\u043c\u0443 \u0430\u043d\u0430\u043b\u0438\u0437\u0443.\" \/>\n\t\t<meta property=\"og:url\" content=\"https:\/\/prohoster.info\/nl\/blog\/news\/nauka-logiki-v-programmirovanii\" \/>\n\t\t<meta property=\"og:image\" content=\"https:\/\/prohoster.info\/wp-content\/uploads\/2021\/11\/logo-350.jpg\" \/>\n\t\t<meta property=\"og:image:secure_url\" content=\"https:\/\/prohoster.info\/wp-content\/uploads\/2021\/11\/logo-350.jpg\" \/>\n\t\t<meta property=\"og:image:width\" content=\"350\" \/>\n\t\t<meta property=\"og:image:height\" content=\"350\" \/>\n\t\t<meta property=\"article:published_time\" content=\"2019-10-31T18:45:14+00:00\" \/>\n\t\t<meta property=\"article:modified_time\" content=\"2019-10-31T18:45:14+00:00\" \/>\n\t\t<meta property=\"article:publisher\" content=\"https:\/\/www.facebook.com\/prohoster\" \/>\n\t\t<meta property=\"article:author\" content=\"https:\/\/www.facebook.com\/prohoster\" \/>\n\t\t<!-- All in One SEO -->\n\n","aioseo_head_json":{"title":"\ud83e\udd47De wetenschap van de logica in programmering | ProHoster","description":"Dit artikel is gewijd aan een vergelijkende analyse.","canonical_url":"https:\/\/prohoster.info\/nl\/blog\/news\/nauka-logiki-v-programmirovanii","robots":"max-image-preview:large","keywords":"","webmasterTools":{"miscellaneous":""},"schema":null,"og:locale":"nl_NL","og:site_name":"ProHoster | \u041a\u0443\u043f\u0438\u0442\u044c \u043d\u0430\u0434\u0435\u0436\u043d\u044b\u0439 \u0445\u043e\u0441\u0442\u0438\u043d\u0433 \u0434\u043b\u044f \u0441\u0430\u0439\u0442\u043e\u0432 \u0441 \u0437\u0430\u0449\u0438\u0442\u043e\u0439 \u043e\u0442 DDoS, VPS VDS \u0441\u0435\u0440\u0432\u0435\u0440\u044b","og:type":"article","og:title":"\ud83e\udd47\u041d\u0430\u0443\u043a\u0430 \u043b\u043e\u0433\u0438\u043a\u0438 \u0432 \u043f\u0440\u043e\u0433\u0440\u0430\u043c\u043c\u0438\u0440\u043e\u0432\u0430\u043d\u0438\u0438 | ProHoster","og:description":"\u0414\u0430\u043d\u043d\u0430\u044f \u0441\u0442\u0430\u0442\u044c\u044f \u043f\u043e\u0441\u0432\u044f\u0449\u0435\u043d\u0430 \u0441\u0440\u0430\u0432\u043d\u0438\u0442\u0435\u043b\u044c\u043d\u043e\u043c\u0443 \u0430\u043d\u0430\u043b\u0438\u0437\u0443.","og:url":"https:\/\/prohoster.info\/nl\/blog\/news\/nauka-logiki-v-programmirovanii","og:image":"https:\/\/prohoster.info\/wp-content\/uploads\/2021\/11\/logo-350.jpg","og:image:secure_url":"https:\/\/prohoster.info\/wp-content\/uploads\/2021\/11\/logo-350.jpg","og:image:width":350,"og:image:height":350,"article:published_time":"2019-10-31T18:45:14+00:00","article:modified_time":"2019-10-31T18:45:14+00:00","article:publisher":"https:\/\/www.facebook.com\/prohoster","article:author":"https:\/\/www.facebook.com\/prohoster"},"aioseo_meta_data":{"post_id":"32111","title":null,"description":null,"keywords":null,"keyphrases":null,"primary_term":null,"canonical_url":null,"og_title":null,"og_description":null,"og_object_type":"default","og_image_type":"default","og_image_url":null,"og_image_width":null,"og_image_height":null,"og_image_custom_url":null,"og_image_custom_fields":null,"og_video":null,"og_custom_url":null,"og_article_section":null,"og_article_tags":null,"twitter_use_og":false,"twitter_card":"default","twitter_image_type":"default","twitter_image_url":null,"twitter_image_custom_url":null,"twitter_image_custom_fields":null,"twitter_title":null,"twitter_description":null,"schema":{"blockGraphs":[],"customGraphs":[],"default":{"data":{"Article":[],"Course":[],"Dataset":[],"FAQPage":[],"Movie":[],"Person":[],"Product":[],"ProductReview":[],"Car":[],"Recipe":[],"Service":[],"SoftwareApplication":[],"WebPage":[]},"graphName":"","isEnabled":true},"graphs":[]},"schema_type":null,"schema_type_options":null,"pillar_content":false,"robots_default":true,"robots_noindex":false,"robots_noarchive":false,"robots_nosnippet":false,"robots_nofollow":false,"robots_noimageindex":false,"robots_noodp":false,"robots_notranslate":false,"robots_max_snippet":null,"robots_max_videopreview":null,"robots_max_imagepreview":"large","priority":null,"frequency":null,"local_seo":null,"seo_analyzer_scan_date":"2026-01-21 09:19:48","breadcrumb_settings":null,"limit_modified_date":false,"reviewed_by":null,"ai":null,"created":"2021-03-01 03:04:40","updated":"2026-01-21 09:19:48","focus_keyword":null,"additional_keywords":null,"truseo_locale":null},"gt_translate_keys":[{"key":"link","format":"url"}],"_links":{"self":[{"href":"https:\/\/prohoster.info\/nl\/wp-json\/wp\/v2\/posts\/32111","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/prohoster.info\/nl\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/prohoster.info\/nl\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/prohoster.info\/nl\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/prohoster.info\/nl\/wp-json\/wp\/v2\/comments?post=32111"}],"version-history":[{"count":0,"href":"https:\/\/prohoster.info\/nl\/wp-json\/wp\/v2\/posts\/32111\/revisions"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/prohoster.info\/nl\/wp-json\/wp\/v2\/media\/23951"}],"wp:attachment":[{"href":"https:\/\/prohoster.info\/nl\/wp-json\/wp\/v2\/media?parent=32111"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/prohoster.info\/nl\/wp-json\/wp\/v2\/categories?post=32111"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/prohoster.info\/nl\/wp-json\/wp\/v2\/tags?post=32111"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}