Loģikas zinātne programmēšanā

Loģikas zinātne programmēšanā

Šis raksts veltīts salīdzinošai analīzei loģiskajām būtībām no vācu filozofa Georga Vilhelma Fridriha Hēgela darba „Loģikas zinātnes” un to analogiem vai to trūkumam programmēšanā.

Būtības no „Loģikas zinātnes” ir izceltas slīprakstā, lai nerastos neskaidrības ar vispārpieņemtiem šo vārdu definīcijām.

Tīra būtība

Ja jūs atvērsiet definīciju tīra būtība grāmatā, jūs ieraudzīsiet interesantu teikumu „bez tālākas definīcijas”. Taču tiem, kas nav lasījuši vai nesaprot, nevajag steigties apsūdzēt autoru demencē. Tīra būtība — tas ir pamata jēdziens Hēgela loģikā, nozīmējot, ka kaut kāds objekts ir; lūdzu, nepārprast ar objekta eksistenci, objekts var neeksistēt realitātē, bet, ja mēs to kādā veidā esam definējuši mūsu loģikā, tas ir. Ja jūs padomāsiet, patiešām tādas lietas kā tīra būtība nav iespējams definēt, un jebkura tāda mēģinājuma rezultātā jūs vienkārši atsauksities uz tā sinonīmiem vai antonīmiem. Tīra būtība tik ļoti abstrakts jēdziens, ka to var attiecināt uz pilnīgi uz jebko, tostarp uz pašu sevi. Dažos objektu orientētos valodās ir iespēja attēlot kā objektu visu, kas vien ir, tostarp operācijas ar objektiem, kas principā dod mums tādu abstrakcijas līmeni. Tomēr programmēšanā nav tieša analoga tīrai būtībai Lai pārbaudītu objekta esamību, mums jāpārbauda tā neesamība.

if(obj != null);

Dīvaini, ka tāda sintaktiskā cukura vēl nav, ņemot vērā, ka šī pārbaude ir diezgan populāra.

Nekas

Kā varēja nojaust, nekas ir jebkā trūkums. Tā ekvivalents var būt NULL. Jāatzīmē, ka loģikā nekas ir tīra būtība, jo arī tā ir. Tajā slēpjas zināma ķeza, jo pie NULL mēs nevaram attiekties kā uz objektu nevienā valodā, kaut arī patiesībā tas arī ir objekts.

Kļūšana un momenti

Kļūšana — tas ir pāreja no nekas par būtība un no būtības. par nekasTas mums sniedz divus momentus,pirmais saucas radīšana,savukārt otrais pāreja.. Pāreja nosaukta tāpēc, nevis pazušanai, jo loģiskā būtība pēc būtības nevar izzust, tikai tad, ja mēs to neesam aizmirsuši. Pārtraukšana kā tādu varam nosaukt piešķiršanas procedūru. Ja mums tiek inicializēts objekts, notiek momenta rašanās, bet piešķirot citu vērtību vai NULL momenta pāreja.

obj = new object(); //rašanās
obj = null; //pāreja

Esošā būtība

Ja īsumā esošā būtība — tas ir objekts, kam nav skaidrs definējums, bet ir noteikums. Ko tas nozīmē. Kanoniskais piemērs ir parastais krēsls. Ja mēģināsiet tam dot skaidru definējumu, saskarsities ar vairākiem sarežģījumiem. Piemēram, jūs teiksiet: „tas ir mēbeļu priekšmets, kas paredzēts sēdēšanai”, bet krēsls arī ir radīts šim mērķim utt. Taču skaidra definējuma trūkums netraucē mums izcelt to telpā un izmantot, nododot informāciju par to, jo mūsu prātā ir noteikums krēsls. Iespējams, daži jau ir sapratuši, ka, lai izceltu šādus objektus no datu plūsmas, tika radītas neironu tīklus. Neironu tīklu var definēt kā funkciju, kas nosaka šo noteikums, taču kategoriju objektu, kas ietvertu gan skaidras, gan neskaidras definīcijas, nav, tāpēc šādus objektus nevar izmantot vienā abstrakcijas līmenī.

Kvalitatīvo izmaiņu pārejas likums

Šo likumu formulēja Fridrihs Engels, interpretējot Hēgeļa loģiku. Tomēr to var pilnībā ieraudzīt pirmajā sējumā nodaļā par mēru. T tā būtība ir tāda, ka kvantitatīvas izmaiņas objektā var ietekmēt tā kvalitāti. Piemēram, mums ir objekts ledus, uzkrājot temperatūru, tas pārvēršas šķidrumā un maina savas kvalitātes. Lai realizētu tādu uzvedību objektā, pastāv dizaina paraugs "Stāvoklis". Šāda risinājuma rašanās tika izraisīta ar to, ka programmēšanā nav tādas lietas kā pamats lai objekta rašanās . Pamats nosaka nosacījumus, ap kuriem objekts var rasties, bet algoritmā mēs paši izlemjam, kad mums jāsāk inicializēt objekts.

PS: Ja šī informācija būs interesanta, es veicu pārskatu par citām būtībām no "Loģikas zinātnes".

Avots: habr.com

Iegādājieties uzticamu tīmekļa hostingu ar DDoS aizsardzību, VPS VDS serveriem 🔥 Iegādājieties uzticamu tīmekļa hostingu ar DDoS aizsardzību, VPS VDS serveriem | ProHoster