{"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\/it\/blog\/news\/nauka-logiki-v-programmirovanii","title":{"rendered":"La scienza della logica nella programmazione","gt_translate_keys":[{"key":"rendered","format":"text"}]},"content":{"rendered":"<p><img decoding=\"async\" alt=\"La scienza della logica nella programmazione\" src=\"\/wp-content\/uploads\/2019\/04\/3f4ea4ccd01e4dd17cb9348e35b80752.jpeg\" style=\"display:block;margin: 0 auto;\" \/><\/p>\n<p><\/p>\n<p>Questo articolo \u00e8 dedicato all'analisi comparativa delle entit\u00e0 logiche dell'opera del filosofo tedesco Georg Wilhelm Friedrich Hegel \u00abScienza della logica\u00bb con i loro analoghi o la loro assenza nella programmazione.<\/p>\n<p><noindex><a rel=\"nofollow\" name=\"habracut\"><\/a><\/noindex><\/p>\n<p>Le entit\u00e0 di \u00abScienza della logica\u00bb sono evidenziate in corsivo per evitare confusione con le definizioni comunemente accettate di queste parole.<\/p>\n<p><\/p>\n<h1 id=\"chistoe-bytie\">Essere puro<\/h1>\n<p><\/p>\n<p>Se aprite la definizione <em>essere puro<\/em> nel libro, vedrete una frase interessante \u00absenza ulteriore definizione\u00bb. Ma per coloro che non hanno letto o non hanno capito, non affrettatevi a incolpare l'autore di demenza. <em>Essere puro<\/em> \u2014 \u00e8 un concetto di base nella logica di Hegel che significa che un certo oggetto esiste, da non confondere con l'esistenza dell'oggetto; l'oggetto potrebbe non esistere nella realt\u00e0, ma se lo abbiamo in qualche modo definito nella nostra logica, esso esiste. Se ci pensate, davvero, cose come <em>essere puro<\/em> \u00e8 impossibile dare una definizione, e qualsiasi tentativo di farlo si ridurr\u00e0 al fatto che farete semplicemente riferimento ai suoi sinonimi o antonimi. <em>Essere puro<\/em> un concetto cos\u00ec astratto che pu\u00f2 applicarsi a qualsiasi cosa, incluso se stesso. In alcuni linguaggi orientati agli oggetti, \u00e8 possibile rappresentare sotto forma di oggetto qualsiasi cosa, comprese le operazioni sugli oggetti, il che ci d\u00e0 essenzialmente un tale livello di astrazione. Tuttavia, nella programmazione non esiste un'analogia diretta per <em>essere puro<\/em> . Per verificare l'esistenza di un oggetto, dobbiamo controllarne l'assenza.<\/p>\n<p><\/p>\n<pre><code class=\"cs\">if(obj != null);<\/code><\/pre>\n<p><\/p>\n<p>\u00c8 strano che non esista ancora una tale dolcezza sintattica, considerando che questa verifica \u00e8 piuttosto popolare.<\/p>\n<p><\/p>\n<h1 id=\"nichto\">Niente<\/h1>\n<p><\/p>\n<p>Come si poteva indovinare <em>niente<\/em> \u00e8 l'assenza di qualsiasi cosa. La sua controparte pu\u00f2 essere chiamata NULL. Vale la pena notare che nella logica scientifica <em>niente<\/em> \u00e8 <em>l'essere puro<\/em>, perch\u00e9 esso esiste anch'esso. Ecco dove si trova un certo inghippo, a NULL non possiamo accedere come a un oggetto in nessun linguaggio, sebbene in sostanza anche esso sia un oggetto.<\/p>\n<p><\/p>\n<h1 id=\"stanovlenie-i-momenty\">Diventare e momenti<\/h1>\n<p><\/p>\n<p><em>Diventare<\/em> \u2014 \u00e8 il passaggio da <em>niente<\/em> in <em>essere<\/em> e uno di <em>a<\/em> in <em>niente<\/em>. Questo ci fornisce due <em>momenti<\/em>, il primo \u00e8 chiamato <em>insorgenza<\/em>, e il secondo <em>precessione<\/em>. <em>La precessione<\/em> \u00e8 cos\u00ec chiamata invece di scomparsa, perch\u00e9 l'entit\u00e0 logica in sostanza non pu\u00f2 scomparire, solo se l'abbiamo dimenticata. <em>La sottrazione<\/em> pu\u00f2 essere chiamata la procedura di assegnazione. Nel caso in cui inizializziamo un oggetto, si verifica <em>il momento dell'insorgenza<\/em>, mentre nel caso di assegnazione di un altro valore o NULL <em>il momento della precessione<\/em>.<\/p>\n<p><\/p>\n<pre><code class=\"cs\">obj = new object(); \/\/insorgenza\nobj = null; \/\/precessione<\/code><\/pre>\n<p><\/p>\n<h1 id=\"nalichnoe-bytie\">Essere presente<\/h1>\n<p><\/p>\n<p>In sintesi, <em>essere presente<\/em> \u00e8 un oggetto che non ha una definizione chiara, ma ha una <em>definizione<\/em>. Cosa significa. Un esempio canonico \u00e8 la comune sedia. Se cercate di darle una definizione chiara, vi troverete di fronte a molte difficolt\u00e0. Ad esempio, direte: \u00ab\u00e8 un oggetto di arredamento destinato a sedersi\u00bb, ma anche la poltrona \u00e8 stata creata per questo, e cos\u00ec via. Ma l'assenza di una definizione chiara non ci impedisce di identificarla nello spazio e utilizzarla per trasmettere informazioni su di essa, perch\u00e9 nella nostra mente c'\u00e8 <em>definizione<\/em> una sedia. \u00c8 possibile che alcuni abbiano gi\u00e0 intuito che per distinguere tali oggetti dal flusso di dati sono state create reti neurali. Una rete neurale pu\u00f2 essere definita come una funzione che definisce questa <em>definizione<\/em>, ma non esistono categorie di oggetti che includano sia definizioni chiare che indistinte, quindi tali oggetti non possono essere utilizzati a un livello di astrazione congruente.<\/p>\n<p><\/p>\n<h1 id=\"zakon-perehoda-kolichestvennyh-izmeneniy-v-kachestvennye\">Legge del passaggio da modifiche quantitative a qualitative<\/h1>\n<p><\/p>\n<p>Questa legge \u00e8 stata formulata da Friedrich Engels in seguito all'interpretazione della logica di Hegel. Tuttavia, pu\u00f2 essere facilmente vista nel primo volume nel capitolo su <em>misura<\/em>. La sua essenza risiede nel fatto che <em>modifiche quantitative<\/em> nell'oggetto possono influenzare la sua <em>qualit\u00e0<\/em>. Ad esempio, abbiamo un oggetto ghiaccio; accumulando calore, esso si trasformer\u00e0 in acqua liquida e cambier\u00e0 le sue <em>qualit\u00e0<\/em>. Per implementare questo comportamento in un oggetto esiste un pattern di progettazione \u00abStato\u00bb. L'emergere di questa soluzione \u00e8 stato causato dall'assenza nella programmazione di qualcosa come <em>fondamento<\/em> per <em>dell'emergere<\/em> di un oggetto. <em>Fondazione<\/em> definisce le condizioni sotto le quali un oggetto pu\u00f2 emergere, e nell'algoritmo decidiamo noi stessi quando dobbiamo inizializzare l'oggetto.<\/p>\n<p><\/p>\n<p><strong>PS:<\/strong> Se queste informazioni saranno interessanti, far\u00f2 una revisione di altre entit\u00e0 della \u00abScienza della logica\u00bb.<\/p>\n<p>Fonte: <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.0.1 - 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\/it\/blog\/news\/nauka-logiki-v-programmirovanii\" \/>\n\t<meta name=\"generator\" content=\"All in One SEO (AIOSEO) 5.0.0.1\" \/>\n\t\t<meta property=\"og:locale\" content=\"it_IT\" \/>\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\/it\/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\udd47Scienza della logica nella programmazione | ProHoster","description":"Questo articolo \u00e8 dedicato all'analisi comparativa.","canonical_url":"https:\/\/prohoster.info\/it\/blog\/news\/nauka-logiki-v-programmirovanii","robots":"max-image-preview:large","keywords":"","webmasterTools":{"miscellaneous":""},"schema":null,"og:locale":"it_IT","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\/it\/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\/it\/wp-json\/wp\/v2\/posts\/32111","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/prohoster.info\/it\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/prohoster.info\/it\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/prohoster.info\/it\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/prohoster.info\/it\/wp-json\/wp\/v2\/comments?post=32111"}],"version-history":[{"count":0,"href":"https:\/\/prohoster.info\/it\/wp-json\/wp\/v2\/posts\/32111\/revisions"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/prohoster.info\/it\/wp-json\/wp\/v2\/media\/23951"}],"wp:attachment":[{"href":"https:\/\/prohoster.info\/it\/wp-json\/wp\/v2\/media?parent=32111"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/prohoster.info\/it\/wp-json\/wp\/v2\/categories?post=32111"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/prohoster.info\/it\/wp-json\/wp\/v2\/tags?post=32111"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}