A Scienza di a Lògica in Programmazione

A Scienza di a Lògica in Programmazione

Stu articulu hè cunsacratu à una analisi comparativa di entità logica da u travagliu di u filòsufu tedescu Georg Wilhelm Friedrich Hegel "Scienza di Logic" cù i so analoghi o a so assenza in a prugrammazione.

Entità da a Scienza di a Logica sò in corsu per evità a cunfusione cù e definizioni generalmente accettate di queste parolle.

Essiri puri

Si apre a definizione esse puri in u libru, vi vede una linea interessante "senza più definizione". Ma per quelli chì ùn anu micca lettu o ùn capiscenu micca, ùn affruntate micca à accusà l'autore di dimenzja. Essiri puri - questu hè un cuncettu basu in a logica di Hegel, vale à dì chì qualchì ughjettu esiste, per piacè ùn cunfundite micca cù l'esistenza di un ughjettu, l'ughjettu pò esse micca in a realità, ma s'ellu ci hè definitu in a nostra logica, esiste. Se pensate à questu, ci sò veramente cose cum'è esse puri hè impussibile di dà una definizione, è ogni tentativu di tali tentativu vene à u fattu chì vi basta à riferite à i so sinonimi o antonimi. Essiri puri un cuncettu cusì astrattu chì pò esse appiicatu à assolutamente qualcosa, cumpresu ellu stessu. In certi linguaggi orientati à l'ughjettu, hè pussibule rapprisintà qualcosa cum'è un ogettu, cumpresi l'operazioni nantu à l'uggetti, chì in principiu ci dà un tali livellu di astrazione. Tuttavia, in a prugrammazione di l'analogicu direttu esse puri Innò. Per verificà l'esistenza di un ughjettu, avemu bisognu di verificà a so assenza.

if(obj != null);

Hè stranu chì un tali zuccaru sintatticu ùn esiste ancu, datu chì questu cuntrollu hè assai populari.

Nunda

Cumu puderebbe indovinà nunda hè l'assenza di qualcosa. È u so analogu pò esse chjamatu NULL. Hè nutate chì in a scienza di a logica nundaesse puri, perchè esiste ancu. Questu hè un pocu di cattura; ùn pudemu micca accede à NULL cum'è un ughjettu in ogni lingua, ancu s'ellu hè in essenza ancu unu.

Formazione è mumenti

Duvintà hè una transizione da nunda в esse è da essendu в nunda. Chì ci dà dui mumentu, u primu hè chjamatu emergenza, è secondu passendu. Passaghju hè chjamatu cusì invece di sparizione, perchè l'essenza logica essenzialmente ùn pò micca sparisce, salvu chì l'avemu scurdatu. Ritirata comu tali pudemu chjamà a prucedura di assignazione. Se u nostru ughjettu hè inizializatu, allora mumentu di l'occurrence, è in casu di assignà un altru valore o NULL mumentu di passà.

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

Esistenza

In corta esistenza hè un ogettu chì ùn hà micca una definizione chjara, ma hà certezza. Cosa significa. L'esempiu canonicu hè una sedia ordinaria. Sè vo pruvate à dà una definizione chjara, vi scontru assai difficultà. Per esempiu, dite: "questu hè un pezzu di mobili cuncepitu per pusà", ma a sedia hè ancu creata per questu, etc. Ma a mancanza di una definizione chjara ùn ci impedisce micca di mette in risaltu in u spaziu è l'utilizanu quandu trasmette infurmazioni nantu à questu, questu hè perchè in a nostra testa ci hè. certezza sedia. Forse alcuni anu digià invintatu chì e rete neurali sò state create per isolà tali oggetti da u flussu di dati. Una rete neurale pò esse denotata cum'è una funzione chì definisce questu certezza, ma ùn ci sò micca tipi d'uggetti chì includenu definizioni chjaru è fuzzy, per quessa, tali oggetti ùn ponu micca esse usatu à u listessu livellu di astrazione.

A lege di transizione di i cambiamenti quantitativi in ​​quelli qualitativi

Sta lege hè stata formulata da Friedrich Engels in u risultatu di l'interpretazione di a logica di Hegel. Tuttavia, si pò esse chjaramente vistu in u primu vulume in u capitulu nantu misura. A so essenza hè questu quantitativu i cambiamenti à un oggettu pò influenzallu Качество. Per esempiu, avemu un ughjettu di ghiaccio; cù l'accumulazione di a temperatura, diventerà in acqua liquida è cambia u so qualità. Per implementà stu cumpurtamentu in un ughjettu, ci hè un mudellu di designu di Statu. L'emergenza di una tale suluzione hè causata da l'absenza in a prugrammazione di una tale cosa fondazione di accadenza ughjettu. Fundazioni determina e cundizioni in quale un ughjettu pò appare, è in l'algoritmu noi stessi decidemu in quale puntu avemu bisognu di inizializà l'ughjettu.

PS: Se questa informazione hè interessante, vi rivederaghju altre entità da a Scienza di a Logica.

Source: www.habr.com

Add a comment