Programmēšanas loģikas zinātne

Programmēšanas loģikas zinātne

Šis raksts ir veltīts loģisko vienību salīdzinošai analīzei no vācu filozofa Georga Vilhelma Frīdriha Hēgeļa darba “Loģikas zinātne” ar to analogiem vai to neesamību programmēšanā.

Loģikas zinātnes vienības ir kursīvā, lai izvairītos no neskaidrībām ar šo vārdu vispārpieņemtajām definīcijām.

Tīra būtne

Ja atverat definīciju tīra būtne grāmatā jūs redzēsiet interesantu rindu “bez sīkākas definīcijas”. Bet tie, kas nav lasījuši vai nesaprot, nesteidzieties apsūdzēt autoru demenci. Tīra būtne - tas ir Hēgeļa loģikas pamatjēdziens, kas nozīmē, ka kāds objekts eksistē, lūdzu, nejauciet to ar objekta esamību, objekts var neeksistēt realitātē, bet, ja mēs to kaut kā definējam savā loģikā, tas pastāv. Ja tā padomā, tad tiešām ir tādas lietas kā tīra būtne nav iespējams sniegt definīciju, un jebkurš šāds mēģinājums būs saistīts ar faktu, ka jūs vienkārši atsauksities uz tā sinonīmiem vai antonīmiem. Tīra būtne tik abstrakts jēdziens, ka to var attiecināt uz pilnīgi jebko, arī uz sevi pašu. Dažās objektorientētās valodās kā objektu ir iespējams attēlot jebko, ieskaitot operācijas ar objektiem, kas principā dod mums šādu abstrakcijas līmeni. Tomēr, programmējot tiešo analogu tīra būtne Nē. Lai pārbaudītu objekta esamību, mums ir jāpārbauda tā neesamība.

if(obj != null);

Dīvaini, ka šāds sintaktiskais cukurs vēl neeksistē, ņemot vērā, ka šis čeks ir ļoti populārs.

Nekas

Kā jūs varētu uzminēt nekas ir nekā neesamība. Un tā analogu var saukt par NULL. Ir vērts atzīmēt, ka loģikas zinātnē nekas ir tīra būtne, jo tā arī pastāv. Tas ir nedaudz aizķerts; mēs nevaram piekļūt NULL kā objektam nevienā valodā, lai gan būtībā tas arī ir viens.

Veidošanās un mirkļi

Kļūstot ir pāreja no nekas в būt un no būtne в nekas. Tas mums dod divus brīdis, pirmo sauc parādīšanāsun otrais garāmejot. Pasāža to sauc tā, nevis pazušanu, jo loģiskā būtība būtībā nevar pazust, ja vien mēs to neesam aizmirsuši. Izņemšana kā tādu mēs varam saukt par piešķiršanas procedūru. Ja mūsu objekts ir inicializēts, tad rašanās brīdis, un citas vērtības piešķiršanas gadījumā vai NULL pārejas brīdis.

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

Esamība

Īsumā esamību ir objekts, kuram nav skaidras definīcijas, bet ir noteiktību. Ko tas nozīmē. Kanoniskais piemērs ir parasts krēsls. Ja mēģināsit tai sniegt skaidru definīciju, jūs saskarsities ar daudzām grūtībām. Piemēram, jūs sakāt: "šī ir mēbele, kas paredzēta sēdēšanai", bet arī krēsls ir radīts tam utt. Bet skaidras definīcijas trūkums neliedz mums to izcelt telpā un izmantot, pārraidot informāciju par to, jo mūsu galvā ir noteiktību krēsls. Varbūt daži jau ir uzminējuši, ka neironu tīkli tika izveidoti, lai izolētu šādus objektus no datu plūsmas. Neironu tīklu var apzīmēt kā funkciju, kas to nosaka noteiktību, taču nav tādu objektu veidu, kas ietvertu skaidras un izplūdušas definīcijas, tāpēc šādus objektus nevar izmantot vienā abstrakcijas līmenī.

Kvantitatīvo izmaiņu pārejas likums uz kvalitatīvajām

Šo likumu Hēgeļa loģikas interpretācijas rezultātā formulēja Frīdrihs Engelss. Tomēr to var skaidri redzēt nodaļas pirmajā sējumā vismazāk. Tās būtība ir tāda kvantitatīvi objekta izmaiņas var to ietekmēt kvalitāte. Piemēram, mums ir ledus objekts; ar temperatūras uzkrāšanos tas pārvērtīsies šķidrā ūdenī un mainīs to īpašības. Lai īstenotu šo uzvedību objektā, ir valsts dizaina modelis. Šāda risinājuma rašanos izraisa tas, ka programmēšanā nav tādas lietas kā fonds par parādīšanās objektu. Fonds nosaka apstākļus, kādos objekts var parādīties, un algoritmā mēs paši izlemjam, kurā brīdī objekts ir jāinicializē.

PS: Ja šī informācija ir interesanta, es pārskatīšu citas loģikas zinātnes vienības.

Avots: www.habr.com

Pievieno komentāru