{"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 apri la definizione <em>essere puro<\/em> Nel libro, troverete una frase interessante \u00absenza ulteriore definizione\u00bb. Ma per coloro che non hanno letto o non hanno compreso, non affrettatevi a accusare l'autore di demenza. <em>Essere puro<\/em> \u2014 \u00e8 un concetto di base nella logica di Hegel che significa che un certo oggetto \u00e8, per favore non confondetelo con l'esistenza dell'oggetto; un oggetto potrebbe non esistere nella realt\u00e0, ma se lo abbiamo in qualche modo definito nella nostra logica, esso esiste. Se ci pensate, ci sono davvero cose come <em>essere puro<\/em> impossibile dare una definizione, e qualsiasi tentativo in tal senso si ridurrebbe al fatto che semplicemente fareste riferimento ai suoi sinonimi o antonimi. <em>Essere puro<\/em> un concetto cos\u00ec astratto che pu\u00f2 essere applicato a qualsiasi cosa, incluso se stesso. In alcuni linguaggi di programmazione orientati agli oggetti c'\u00e8 la possibilit\u00e0 di rappresentare come oggetto tutto ci\u00f2 che si desidera, comprese le operazioni sugli oggetti, il che, di fatto, ci d\u00e0 tale livello di astrazione. Tuttavia, nella programmazione, non esiste un equivalente diretto di <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 ci sia ancora un tale zucchero sintattico, considerando che questa verifica \u00e8 piuttosto comune.<\/p>\n<p><\/p>\n<h1 id=\"nichto\">Niente<\/h1>\n<p><\/p>\n<p>Come si poteva immaginare <em>niente<\/em> \u00e8 l'assenza di qualsiasi cosa. Il suo analogo pu\u00f2 essere considerato NULL. Vale la pena notare che nella logica scientifica <em>niente<\/em> \u00e8 <em>l'essere puro<\/em>, perch\u00e9 esso esiste anch'esso. Qui sta un certo inghippo, a NULL non possiamo riferirci come a un oggetto in nessun linguaggio, anche se in sostanza \u00e8 anch'esso un oggetto.<\/p>\n<p><\/p>\n<h1 id=\"stanovlenie-i-momenty\">Diventare e momenti<\/h1>\n<p><\/p>\n<p><em>Diventare<\/em> \u00e8 la transizione da <em>niente<\/em> in <em>essere<\/em> e da <em>essere<\/em> in <em>niente<\/em>. Questo ci d\u00e0 due <em>momenti<\/em>, il primo si chiama <em>emergenza<\/em>, e il secondo <em>prevenzione<\/em>. <em>Prevenzione<\/em> \u00e8 chiamato cos\u00ec invece di scomparsa, perch\u00e9 l'entit\u00e0 logica in sostanza non pu\u00f2 scomparire, solo se non l'abbiamo dimenticata. <em>Rimozione<\/em> si pu\u00f2 definire come la procedura di assegnazione. Nel caso in cui venga inizializzato un oggetto si verifica <em>il momento dell'emergere<\/em>, mentre nel caso dell'assegnazione di un altro valore o NULL <em>il momento della scomparsa<\/em>.<\/p>\n<p><\/p>\n<pre><code class=\"cs\">obj = new object(); \/\/emergere\nobj = null; \/\/scomparsa<\/code><\/pre>\n<p><\/p>\n<h1 id=\"nalichnoe-bytie\">Essere attuale<\/h1>\n<p><\/p>\n<p>In breve <em>essere attuale<\/em> \u2014 \u00e8 un oggetto che non ha una definizione chiara, ma ha <em>una definizione<\/em>. Cosa significa. Un esempio canonico \u00e8 una comune sedia. Se cercate di darle una definizione chiara, vi troverete di fronte a molte difficolt\u00e0. Ad esempio, direte: \u00ab\u00e8 un oggetto d'arredo destinato a sedersi\u00bb, ma anche la poltrona \u00e8 creata per questo e cos\u00ec via. Ma l'assenza di una definizione chiara non ci impedisce di distinguerla nello spazio e di usarla per trasmettere informazioni su di essa, questo perch\u00e9 nella nostra mente c'\u00e8 <em>una definizione<\/em> la sedia. Forse alcuni hanno gi\u00e0 intuito che per identificare tali oggetti dal flusso di dati sono state create reti neurali. Una rete neurale pu\u00f2 essere definita come una funzione che determina questa <em>una definizione<\/em>, ma non esistono tipi di oggetti che comprendano definizioni chiare e indistinte, quindi tali oggetti non possono essere utilizzati sullo stesso livello di astrazione.<\/p>\n<p><\/p>\n<h1 id=\"zakon-perehoda-kolichestvennyh-izmeneniy-v-kachestvennye\">Legge del passaggio da cambiamenti quantitativi a qualitativi<\/h1>\n<p><\/p>\n<p>Questa legge \u00e8 stata formulata da Friedrich Engels a seguito dell'interpretazione della logica di Hegel. Tuttavia, pu\u00f2 essere chiaramente vista nel primo volume nel capitolo su <em>misura<\/em>. La sua essenza consiste nel fatto che <em>cambiamenti<\/em> quantitativi in un oggetto possono influenzare la sua <em>qualit\u00e0<\/em>. Ad esempio, abbiamo un oggetto ghiaccio, quando accumula temperatura si trasformer\u00e0 in acqua liquida e cambier\u00e0 le sue <em>qualit\u00e0<\/em>. Per implementare tale comportamento in un oggetto, esiste il modello di design \u00abStato\u00bb. La nascita di tale soluzione \u00e8 stata causata dall'assenza nella programmazione di qualcosa come <em>la base<\/em> per <em>dell'emergere<\/em> di un oggetto. <em>Base<\/em> determina le condizioni in cui un oggetto pu\u00f2 emergere, e nell'algoritmo decidiamo noi stessi in quale momento dobbiamo inizializzare l'oggetto.<\/p>\n<p><\/p>\n<p><strong>PS:<\/strong> Se queste informazioni saranno interessanti, far\u00f2 una panoramica di altre entit\u00e0 di \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.1.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.1.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\udd47La scienza 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}]}}