ప్రోగ్రామింగ్‌లో లాజిక్ సైన్స్

ప్రోగ్రామింగ్‌లో లాజిక్ సైన్స్

ఈ వ్యాసం జర్మన్ తత్వవేత్త జార్జ్ విల్హెల్మ్ ఫ్రెడరిక్ హెగెల్ "సైన్స్ ఆఫ్ లాజిక్" యొక్క పని నుండి లాజికల్ ఎంటిటీల యొక్క తులనాత్మక విశ్లేషణకు అంకితం చేయబడింది, వారి అనలాగ్‌లు లేదా ప్రోగ్రామింగ్‌లో అవి లేకపోవడం.

ఈ పదాల యొక్క సాధారణంగా ఆమోదించబడిన నిర్వచనాలతో గందరగోళాన్ని నివారించడానికి సైన్స్ ఆఫ్ లాజిక్ నుండి ఎంటిటీలు ఇటాలిక్‌లలో ఉన్నాయి.

స్వచ్ఛమైన జీవి

మీరు నిర్వచనాన్ని తెరిస్తే స్వచ్ఛమైన జీవి పుస్తకంలో, మీరు "మరింత నిర్వచనం లేకుండా" ఒక ఆసక్తికరమైన పంక్తిని చూస్తారు. కానీ చదవని లేదా అర్థం చేసుకోని వారికి, చిత్తవైకల్యం రచయితను నిందించటానికి తొందరపడకండి. స్వచ్ఛమైన జీవి - ఇది హెగెల్ యొక్క తర్కంలో ఒక ప్రాథమిక భావన, అంటే ఏదో ఒక వస్తువు ఉనికిలో ఉంది, దయచేసి దానిని ఒక వస్తువు యొక్క ఉనికితో కంగారు పెట్టవద్దు, ఆ వస్తువు వాస్తవానికి ఉనికిలో ఉండకపోవచ్చు, కానీ మనం దానిని మన తర్కంలో ఏదో ఒకవిధంగా నిర్వచించినట్లయితే, అది ఉనికిలో ఉంటుంది. మీరు దాని గురించి ఆలోచిస్తే, నిజంగా అలాంటివి ఉన్నాయి స్వచ్ఛమైన జీవి ఒక నిర్వచనం ఇవ్వడం అసాధ్యం, మరియు అలాంటి ప్రయత్నమేదైనా మీరు దాని పర్యాయపదాలు లేదా వ్యతిరేక పదాలను సూచిస్తారు. స్వచ్ఛమైన జీవి అటువంటి నైరూప్య భావన దానితో సహా ఖచ్చితంగా దేనికైనా వర్తించవచ్చు. కొన్ని ఆబ్జెక్ట్-ఓరియెంటెడ్ భాషలలో, వస్తువులపై కార్యకలాపాలతో సహా ఏదైనా వస్తువుగా ప్రాతినిధ్యం వహించడం సాధ్యమవుతుంది, ఇది సూత్రప్రాయంగా మనకు అటువంటి స్థాయి నైరూప్యతను ఇస్తుంది. అయితే, డైరెక్ట్ అనలాగ్ ప్రోగ్రామింగ్‌లో స్వచ్ఛమైన జీవి నం. ఒక వస్తువు యొక్క ఉనికిని తనిఖీ చేయడానికి, దాని లేకపోవడం కోసం మనం తనిఖీ చేయాలి.

if(obj != null);

అటువంటి వాక్యనిర్మాణ చక్కెర ఇంకా ఉనికిలో లేకపోవడం వింతగా ఉంది, ఈ చెక్ చాలా ప్రజాదరణ పొందింది.

ఏమిలేదు

మీరు ఎలా ఊహించగలరు ఏమీ ఏమీ లేకపోవడం. మరియు దాని అనలాగ్‌ను NULL అని పిలుస్తారు. తర్కశాస్త్రంలో ఇది గమనించదగినది ఏమీ ఇది స్వచ్ఛమైన జీవి, ఎందుకంటే అది కూడా ఉంది. ఇది కొంచెం క్యాచ్; మేము NULLని ఏ భాషలోనూ ఒక వస్తువుగా యాక్సెస్ చేయలేము, అయితే సారాంశంలో ఇది కూడా ఒకటి.

నిర్మాణం మరియు క్షణాలు

మారుతోంది నుండి ఒక మార్పు ఏమీ в ఉండటం మరియు నుండి ఉండటం в ఏమీ. అది మనకు రెండు ఇస్తుంది క్షణం, మొదటిది అంటారు ఆవిర్భావం, మరియు రెండవది ఉత్తీర్ణత. ప్రకరణము అది అదృశ్యం కాకుండా అలా పిలువబడుతుంది, ఎందుకంటే తార్కిక సారాంశం తప్పనిసరిగా మనం మరచిపోయినంత వరకు అదృశ్యం కాదు. ఉపసంహరణ అలాగే మేము అసైన్‌మెంట్ విధానాన్ని పిలవవచ్చు. మన వస్తువు ప్రారంభించబడితే, అప్పుడు సంభవించిన క్షణం, మరియు మరొక విలువను కేటాయించిన సందర్భంలో లేదా NULL గడిచే క్షణం.

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

ఉనికి

సంక్షిప్తంగా ఉనికి అనేది స్పష్టమైన నిర్వచనం లేని వస్తువు, కానీ కలిగి ఉంది నిశ్చయత. దాని అర్థం ఏమిటి. కానానికల్ ఉదాహరణ ఒక సాధారణ కుర్చీ. మీరు దానికి స్పష్టమైన నిర్వచనం ఇవ్వాలని ప్రయత్నిస్తే, మీరు అనేక ఇబ్బందులు ఎదుర్కొంటారు. ఉదాహరణకు, మీరు ఇలా అంటారు: “ఇది కూర్చోవడానికి రూపొందించిన ఫర్నిచర్ ముక్క,” కానీ కుర్చీ కూడా దీని కోసం సృష్టించబడింది, మొదలైనవి. కానీ స్పష్టమైన నిర్వచనం లేకపోవడం అంతరిక్షంలో హైలైట్ చేయకుండా మరియు దాని గురించి సమాచారాన్ని ప్రసారం చేసేటప్పుడు ఉపయోగించకుండా నిరోధించదు, దీనికి కారణం మన తలలో ఉంది నిశ్చయత కుర్చీ. డేటా స్ట్రీమ్ నుండి అటువంటి వస్తువులను వేరుచేయడానికి న్యూరల్ నెట్‌వర్క్‌లు సృష్టించబడిందని కొందరు ఇప్పటికే ఊహించారు. దీన్ని నిర్వచించే ఫంక్షన్‌గా న్యూరల్ నెట్‌వర్క్‌ను సూచించవచ్చు నిశ్చయత, కానీ స్పష్టమైన మరియు అస్పష్టమైన నిర్వచనాలను కలిగి ఉండే ఆబ్జెక్ట్‌ల రకాలు ఏవీ లేవు, కాబట్టి అలాంటి వస్తువులు అదే స్థాయిలో సంగ్రహణలో ఉపయోగించబడవు.

పరిమాణాత్మక మార్పులను గుణాత్మకంగా మార్చే చట్టం

హెగెల్ యొక్క తర్కం యొక్క వివరణ ఫలితంగా ఫ్రెడరిక్ ఎంగెల్స్చే ఈ చట్టం రూపొందించబడింది. అయితే, అధ్యాయంలోని మొదటి సంపుటిలో స్పష్టంగా చూడవచ్చు కనీసం. దాని సారాంశం పరిమాణాత్మకమైన ఒక వస్తువులో మార్పులు దానిని ప్రభావితం చేయవచ్చు నాణ్యత. ఉదాహరణకు, మనకు మంచు వస్తువు ఉంది; ఉష్ణోగ్రత చేరడంతో, అది ద్రవ నీరుగా మారుతుంది మరియు దానిని మారుస్తుంది నాణ్యత. ఒక వస్తువులో ఈ ప్రవర్తనను అమలు చేయడానికి, స్టేట్ డిజైన్ నమూనా ఉంది. అటువంటి పరిష్కారం యొక్క ఆవిర్భావం అటువంటి విషయం ప్రోగ్రామింగ్‌లో లేకపోవడం వల్ల కలుగుతుంది ఆధారం కోసం ఆవిర్భావం వస్తువు. పునాది ఒక వస్తువు కనిపించే పరిస్థితులను నిర్ణయిస్తుంది మరియు అల్గారిథమ్‌లో మనం ఆబ్జెక్ట్‌ను ఏ సమయంలో ప్రారంభించాలో నిర్ణయించుకుంటాము.

PS: ఈ సమాచారం ఆసక్తికరంగా ఉంటే, నేను సైన్స్ ఆఫ్ లాజిక్ నుండి ఇతర అంశాలను సమీక్షిస్తాను.

మూలం: www.habr.com

ఒక వ్యాఖ్యను జోడించండి