پروگرامنگ ۾ منطق جي سائنس

پروگرامنگ ۾ منطق جي سائنس

هي آرٽيڪل جرمن فلسفي جارج ولهيلم فريڊرڪ هيگل جي ڪم مان منطقي ادارن جي تقابلي تجزيي لاءِ وقف آهي ”سائنس آف لاجڪ“ انهن جي اينالاگ سان يا انهن جي پروگرامنگ ۾ غير موجودگي.

سائنس جي منطق مان ادارا انهن لفظن جي عام طور تي قبول ٿيل وصفن سان مونجهاري کان بچڻ لاءِ ترڪي ۾ آهن.

خالص وجود

جيڪڏهن توهان تعريف کي کوليو خالص وجود ڪتاب ۾، توهان هڪ دلچسپ لائين ڏسندا "وڌيڪ تعريف کان سواء." پر انھن لاءِ جن نه پڙھيو آھي يا نه سمجھيو آھي، ڊمنشيا جي ليکڪ تي الزام لڳائڻ لاءِ تڪڙ نه ڪريو. خالص وجود هيگل جي منطق ۾ اهو هڪ بنيادي تصور آهي، مطلب ته ڪجهه شئي موجود آهي، مهرباني ڪري ان کي ڪنهن شئي جي وجود سان نه ڳنڍيو، شئي حقيقت ۾ موجود نه ٿي سگهي ٿي، پر جيڪڏهن اسان ان کي پنهنجي منطق ۾ ڪنهن طرح بيان ڪريون ته اها موجود آهي. جيڪڏهن توهان ان جي باري ۾ سوچيو ته، حقيقت ۾ اهڙيون شيون آهن خالص وجود ان جي ڪا وصف ڏيڻ ناممڪن آهي، ۽ اهڙي ڪا به ڪوشش ان حقيقت تائين پهچندي ته توهان صرف ان جي مترادفات يا مترادفات ڏانهن اشارو ڪندا. خالص وجود اهڙو هڪ خلاصو تصور آهي ته اهو مڪمل طور تي ڪنهن به شيءِ تي لاڳو ٿي سگهي ٿو، بشمول پاڻ. ڪجھ اعتراضن تي مبني ٻولين ۾، اھو ممڪن آھي ته ڪنھن شئي کي ھڪڙي شئي جي طور تي پيش ڪري، بشمول شيون تي عمل، جيڪو اصول ۾ اسان کي تجريد جي ھڪڙي سطح ڏئي ٿو. بهرحال، پروگرامنگ ۾ سڌو اينالاگ خالص وجود نه. ڪنهن شئي جي وجود کي جانچڻ لاءِ، اسان کي ان جي غير موجودگيءَ جي جانچ ڪرڻي پوندي.

if(obj != null);

اها عجيب ڳالهه آهي ته اهڙي مصنوعي شوگر اڃا تائين موجود ناهي، ڇاڪاڻ ته هي چيڪ تمام مشهور آهي.

ڪجهه به نه

توهان ڪيئن اندازو لڳائي سگهو ٿا ڪجھ به نه ڪنهن به شيء جي غير موجودگي آهي. ۽ ان جي اينالاگ کي NULL سڏيو وڃي ٿو. اهو قابل ذڪر آهي ته منطق جي سائنس ۾ ڪجھ به نه اهو آهي خالص وجود، ڇاڪاڻ ته اهو پڻ موجود آهي. اھو ھڪڙو پڪڙڻ جو ھڪڙو آھي؛ اسان NULL کي ڪنھن به ٻوليء ۾ ھڪڙي اعتراض جي طور تي پھچائي نٿا سگھون، جيتوڻيڪ اصل ۾ اھو ھڪڙو آھي.

ٺهڻ ۽ لمحات

ٿي رهيو آهي کان هڪ منتقلي آهي ڪجھ به نه в هجڻ ۽ مان هجڻ в ڪجھ به نه. اهو اسان کي ٻه ڏئي ٿو لمحو، پهريون نالو سڏيو ويندو آهي ظهور، ۽ ٻيو گذرڻ. گذرڻ ان کي غائب ٿيڻ جي بدران سڏيو ويندو آهي، ڇاڪاڻ ته منطقي جوهر لازمي طور تي غائب نه ٿي سگهي، جيستائين اسان ان کي وساري نه سگهون. ڪڍڻ جيئن ته اسان تفويض جي عمل کي سڏي سگهون ٿا. جيڪڏهن اسان جو اعتراض شروع ڪيو ويو آهي، پوء ظهور جو لمحو، ۽ ٻي قيمت تفويض ڪرڻ جي صورت ۾ يا NULL گذرڻ جو لمحو.

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

وجود

مختصر ۾ وجود هڪ اعتراض آهي جنهن جي ڪا واضح تعريف نه آهي، پر آهي يقين. هن جو ڇا مطلب آهي. روايتي مثال هڪ عام ڪرسي آهي. جيڪڏھن توھان ان کي واضح تعريف ڏيڻ جي ڪوشش ڪندا، توھان کي ڪيتريون ئي مشڪلاتون سامھون اينديون. مثال طور، توهان چئو ٿا: "هي فرنيچر جو هڪ ٽڪرو آهي جيڪو ويهڻ لاء ٺهيل آهي،" پر هن لاء ڪرسي پڻ ٺاهي وئي آهي، وغيره. پر واضح تعريف جو فقدان اسان کي خلا ۾ ان کي اجاگر ڪرڻ ۽ ان جي باري ۾ معلومات منتقل ڪرڻ وقت استعمال ڪرڻ کان روڪي نٿو سگهي، اهو ئي سبب آهي جو اسان جي سر ۾ موجود آهي. يقين ڪرسي شايد ڪجهه اڳ ۾ ئي اندازو لڳايو آهي ته نيورل نيٽ ورڪ اهڙين شين کي ڊيٽا جي وهڪري کان ڌار ڪرڻ لاءِ ٺاهيا ويا آهن. هڪ اعصابي نيٽ ورڪ هڪ فنڪشن جي طور تي ظاهر ڪري سگهجي ٿو جيڪو هن کي بيان ڪري ٿو يقين، پر شين جا ڪي به قسم نه آهن جن ۾ واضح ۽ فزي وصفون شامل هجن، تنهن ڪري اهڙيون شيون استعمال نه ٿيون ڪري سگهجن هڪ ئي سطح تي تجزياتي.

مقداري تبديلين جي منتقلي جو قانون معيار ۾ تبديل ٿي وڃي ٿو

هيگل جي منطق جي تشريح جي نتيجي ۾ هي قانون فريڊرڪ اينگلز ٺاهيو هو. بهرحال، اهو واضح طور تي باب جي پهرين جلد ۾ ڏسي سگهجي ٿو ماپ. ان جو جوهر اهو آهي مقداري ڪنهن شئي ۾ تبديليون ان تي اثرانداز ٿي سگهن ٿيون معيار. مثال طور، اسان وٽ هڪ برفاني شئي آهي؛ گرمي پد جي جمع ٿيڻ سان، اهو مائع پاڻي ۾ تبديل ٿي ويندو معيار. ھڪڙي اعتراض ۾ ھن رويي کي لاڳو ڪرڻ لاء، ھڪڙو رياستي ڊيزائن جو نمونو آھي. اهڙي حل جو ظهور اهڙي شيء جي پروگرامنگ ۾ غير موجودگيء جي سبب آهي بنياد لاء ظهور اعتراض. بنياد انهن حالتن جو تعين ڪري ٿو جن جي تحت هڪ اعتراض ظاهر ٿي سگهي ٿو، ۽ الگورٿم ۾ اسان پاڻ اهو فيصلو ڪريون ٿا ته ڪهڙي نقطي تي اسان کي اعتراض کي شروع ڪرڻ جي ضرورت آهي.

پي جيڪڏهن اها معلومات دلچسپ آهي، مان سائنس جي منطق مان ٻين ادارن جو جائزو وٺندس.

جو ذريعو: www.habr.com

تبصرو شامل ڪريو