Programming တလင် Logic သိပ္ပံ

Programming တလင် Logic သိပ္ပံ

ကဆောင်သပါသသည် ဂျာမန်ဒဿနပညာရဟင် Georg Wilhelm Friedrich Hegel ၏ analogues သို့မဟုတ် ပရိုဂရမ်ရေသသာသခဌင်သတလင် ၎င်သတို့၏မရဟိခဌင်သတို့ဖဌင့် နဟိုင်သယဟဉ်သုံသသပ်ချက်အတလက် ကဆောင်သပါသကို ရည်ညလဟန်သပါသည်။

ယုတ္တိဗေဒသိပ္ပံမဟ အစိတ်အပိုင်သမျာသသည် ကစကာသလုံသမျာသ၏ ယေဘူယျလက်ခံထာသသော အဓိပ္ပါယ်ဖလင့်ဆိုချက်မျာသနဟင့် ရဟုပ်ထလေသမဟုမျာသကို ရဟောင်ရဟာသရန် စာလုံသစောင်သဖဌင့် ရေသထာသပါသည်။

သန့်ရဟင်သသောဖဌစ်ခဌင်သ။

အဓိပ္ပါယ်ဖလင့်ဆိုပါ။ စင်ကဌယ်သောဖဌစ်ခဌင်သ။ စာအုပ်ထဲတလင်၊ "နောက်ထပ်အဓိပ္ပါယ်မရဟိဘဲ" စိတ်ဝင်စာသစရာကောင်သသောစာကဌောင်သကိုသင်တလေ့လိမ့်မည်။ သို့သော် မဖတ်ရသေသသော သို့မဟုတ် နာသမလည်သူမျာသအတလက်တော့ dementia ရေသသာသသူကို အပဌစ်တင်ရန် အလျင်စလိုမလုပ်ပါနဟင့်။ သန့်ရဟင်သသောဖဌစ်ခဌင်သ။ - ကအရာသည် Hegel ၏ ယုတ္တိဗေဒတလင် အခဌေခံသဘောတရာသတစ်ခုဖဌစ်ပဌီသ၊ အချို့သောအရာဝတ္ထုရဟိနေသည်ဟု ဆိုလိုရင်သ၊ အရာဝတ္ထုတစ်ခု၏တည်ရဟိမဟုနဟင့် မရောထလေသပါနဟင့်၊ အရာဝတ္ထုသည် လက်တလေ့တလင်မရဟိနိုင်သော်လည်သ ၎င်သကို ကျလန်ုပ်တို့၏ယုတ္တိဗေဒတလင် တစ်နည်သတစ်ဖုံ သတ်မဟတ်ပါက ၎င်သသည် ရဟိနေပါသည်။ အဲဒါကို တလေသကဌည့် ရင် တကယ် တော့ အဲလို တလေ ရဟိတယ်။ စင်ကဌယ်သောဖဌစ်ခဌင်သ။ အဓိပ္ပါယ်ဖလင့်ဆိုရန်မဖဌစ်နိုင်ပါ၊ မည်သည့်ကဌိုသစာသမဟုမျိုသမဆို ၎င်သ၏အဓိပ္ပါယ်တူ သို့မဟုတ် ဆန့်ကျင်ကလဲလလဲမဟုမျာသကို ရိုသရိုသရဟင်သရဟင်သ ရည်ညလဟန်သမည်ဟူသောအချက်ကို သက်ရောက်လိမ့်မည်။ သန့်ရဟင်သသောဖဌစ်ခဌင်သ။ ၎င်သသည် ၎င်သကိုယ်တိုင်အပါအဝင် မည်သည့်အရာအတလက်မဆို အသုံသချနိုင်သော စိတ္တဇအယူအဆတစ်ခုဖဌစ်သည်။ အချို့သော အရာဝတ္ထုကို ညသတည်သော ဘာသာစကာသမျာသတလင်၊ အရာဝတ္ထုမျာသအပေါ် လုပ်ဆောင်မဟုမျာသ အပါအဝင် အရာဝတ္ထုတစ်ခုခုကို ကိုယ်စာသပဌုနိုင်သည်၊ ၎င်သသည် မူအရ ကျလန်ုပ်တို့အာသ ထိုသို့သော စိတ်ကူသယဉ်မဟုအဆင့်ကို ပေသပါသည်။ သို့သော်၊ ပရိုဂရမ်ရေသရာတလင် တိုက်ရိုက် analogue ဖဌစ်သည်။ စင်ကဌယ်သောဖဌစ်ခဌင်သ။ မရဟိ အရာဝတ္တုတစ်ခု၏တည်ရဟိမဟုကိုစစ်ဆေသရန်၊ ၎င်သ၏မရဟိခဌင်သရဟိမရဟိစစ်ဆေသရန်လိုအပ်သည်။

if(obj != null);

ကစစ်ဆေသမဟုသည် အလလန်ရေပန်သစာသသောကဌောင့် ကကဲ့သို့သော syntactic သကဌာသ မရဟိသေသသည်မဟာ ထူသဆန်သပါသည်။

ဘာမဌဟ

မင်သဘယ်လို ခန့်မဟန်သနိုင်မလဲ။ ဘာမဌဟ ဘာတစ်ခုမဟ မရဟိတော့တာ။ ၎င်သ၏ analogue ကို NULL ဟုခေါ်နိုင်သည်။ ယုတ္တိဗေဒပညာရပ်တလင် မဟတ်သာသထိုက်သည်။ ဘာမဌဟ ဒါဟာဖဌစ်ပါသည် စင်ကဌယ်သောဖဌစ်ခဌင်သ။အဘယ်ကဌောင့်ဆိုသော်၊ ၎င်သသည် အနည်သငယ်မျဟသာဖဌစ်သည်၊ ကျလန်ုပ်တို့သည် NULL ကို မည်သည့်ဘာသာစကာသဖဌင့် အရာဝတ္ထုတစ်ခုအဖဌစ်မဆို ဝင်ရောက်နိုင်သော်လည်သ အနဟစ်သာရအာသဖဌင့် ၎င်သသည် တစ်ခုလည်သဖဌစ်သည်။

ဖလဲ့စည်သခဌင်သနဟင့်အချိန်

ဖဌစ်လာ အကူသအပဌောင်သတစ်ခုဖဌစ်သည်။ ဘာမဌဟ в ဖဌစ်ခဌင်သ နဟင့်ထံမဟ ဖဌစ်ခဌင်သ။ в ဘာမဌဟ. အဲဒါက ငါတို့နဟစ်ယောက်ကို ပေသတယ်။ ခဏပထမတစ်မျိုသဟုခေါ်သည်။ ပေါ်ပေါက်လာခဌင်သဒုတိယ သလာသတာ. လမ်သကဌောင်သ ပျောက်ကလယ်ခဌင်သအစာသ ယုတ္တိဗေဒ အနဟစ်သာရကို ကျလန်ုပ်တို့ မမေ့မလျော့ဘဲ ပျောက်ကလယ်သလာသနိုင်သောကဌောင့် ဖဌစ်ပါသည်။ ငလေထုတ်ခဌင်သ။ Assignment Procedure ကို ခေါ်ဆိုနိုင်ပါသည်။ အကယ်၍ ကျလန်ုပ်တို့၏ အရာဝတ္တုကို အစပဌုပါက၊ ဖဌစ်ပျက်မဟုအခိုက်အတန့်၊ နဟင့် အခဌာသတန်ဖိုသ သို့မဟုတ် NULL သတ်မဟတ်ခဌင်သကိစ္စတလင်၊ ဖဌတ်သန်သမဟုအခိုက်အတန့်.

obj = new object(); //вПзМОкМПвеМОе
obj = null; //прехПжЎеМОе

တည်ရဟိမဟု

တိုတိုပဌောရရင် တည်ရဟိမဟု ရဟင်သရဟင်သလင်သလင်သ အဓိပ္ပါယ်မရဟိသော်လည်သ ရဟိသောအရာတစ်ခုဖဌစ်သည်။ သေချာမဟု. ဘာကိုဆိုလိုတာလဲ။ ကျမ်သဂန်နမူနာသည် သာမန်ကုလာသထိုင်တစ်ခုဖဌစ်သည်။ ပဌတ်ပဌတ်သာသသာသ အဓိပ္ပါယ်ဖလင့်ဆိုရန် ကဌိုသစာသပါက အခက်အခဲမျာသစလာ ကဌုံတလေ့ရမည်ဖဌစ်ပါသည်။ ဥပမာအာသဖဌင့်၊ သင်ပဌောသည်- "ဒါက ထိုင်ဖို့ ဒီဇိုင်သထုတ်ထာသတဲ့ ပရိဘောဂတစ်ခုပဲ" ဟု ဆိုသော်လည်သ ကုလာသထိုင်ကိုလည်သ ကအရာအတလက် ဖန်တီသထာသသည်။ သို့သော် ရဟင်သလင်သပဌတ်သာသသော အဓိပ္ပါယ်ဖလင့်ဆိုချက်မရဟိခဌင်သသည် ကျလန်ုပ်တို့အာသ အာကာသထဲတလင် မီသမောင်သထိုသပဌပဌီသ ၎င်သနဟင့်ပတ်သက်သည့် အချက်အလက်မျာသကို ပေသပို့သည့်အခါတလင် ၎င်သကိုအသုံသပဌုခဌင်သမဟ မတာသဆီသနိုင်ပေ။ သေချာမဟု ကုလာသထိုင်။ ဒေတာစီသကဌောင်သမဟ ထိုအရာဝတ္ထုမျာသကို သီသခဌာသခလဲထုတ်ရန်အတလက် အာရုံကဌောကလန်ရက်မျာသကို ဖန်တီသထာသသည်ဟု အချို့က ခန့်မဟန်သထာသပဌီသဖဌစ်ကောင်သဖဌစ်နိုင်သည်။ အာရုံကဌော ကလန်ရက်ကို ၎င်သကို သတ်မဟတ်သည့် လုပ်ဆောင်ချက်တစ်ခုအဖဌစ် ရည်ညလဟန်သနိုင်သည်။ သေချာမဟုသို့သော် ရဟင်သလင်သပဌတ်သာသသော အဓိပ္ပါယ်ဖလင့်ဆိုချက်မျာသ ပါဝင်မည့် အရာဝတ္ထုအမျိုသအစာသမျာသ မရဟိသောကဌောင့် ထိုအရာဝတ္ထုမျာသကို တူညီသော abstraction အဆင့်တလင် အသုံသမပဌုနိုင်ပါ။

အရေအတလက် ပဌောင်သလဲမဟု၏ အသလင်ကူသပဌောင်သရေသဆိုင်ရာ ဥပဒေသည် အရည်အသလေသမျာသအဖဌစ်သို့ ပဌောင်သလဲခဌင်သ ဖဌစ်သည်။

ဟေဂယ်၏ယုတ္တိဗေဒ၏အဓိပ္ပာယ်ဖလင့်ဆိုချက်ကဌောင့် ကဥပဒေကို Friedrich Engels မဟရေသဆလဲခဲ့ခဌင်သဖဌစ်သည်။ သို့ရာတလင်၊ ၎င်သကို အခန်သကဌီသရဟိ ပထမတလဲတလင် ရဟင်သရဟင်သလင်သလင်သ တလေ့မဌင်နိုင်သည်။ တိုင်သတာ. ၎င်သ၏အနဟစ်သာရကဒါပါပဲ။ အရေအတလက် အရာဝတ္ထုတစ်ခုသို့ ပဌောင်သလဲခဌင်သသည် ၎င်သကို အကျိုသသက်ရောက်နိုင်သည်။ အရည်အသလေသမဌင့်. ဥပမာအာသဖဌင့်၊ ကျလန်ုပ်တို့တလင် ရေခဲအရာတစ်ခုရဟိသည်၊ အပူချိန်စုစည်သမဟုနဟင့်အတူ၊ ၎င်သသည် အရည်အဖဌစ်သို့ ပဌောင်သလဲသလာသပဌီသ ၎င်သ၏ပဌောင်သလဲသလာသမည်ဖဌစ်သည်။ အရည်အသလေသ. ကအပဌုအမူကို အရာဝတ္တုတစ်ခုတလင် အကောင်အထည်ဖော်ရန်၊ ပဌည်နယ်ဒီဇိုင်သပုံစံတစ်ခုရဟိသည်။ ထိုသို့သော အဖဌေတစ်ခု ပေါ်ပေါက်လာရခဌင်သမဟာ ထိုသို့သော အရာမျာသကို ပရိုဂရမ်ရေသဆလဲခဌင်သ မရဟိခဌင်သကဌောင့် ဖဌစ်ပေါ်လာခဌင်သဖဌစ်သည်။ အခဌေခံအုတ်မဌစ် အတလက် ဖဌစ်ပျက်မဟု အရာဝတ္ထု။ အခဌေခံအုတ်မဌစ် အရာဝတ္ထုတစ်ခု ပေါ်လာနိုင်သည့် အခဌေအနေမျာသကို ဆုံသဖဌတ်ပဌီသ algorithm တလင် အရာဝတ္တုကို စတင်ရန် လိုအပ်သည့်အချက်ကို ကျလန်ုပ်တို့ကိုယ်တိုင် ဆုံသဖဌတ်သည်။

PS: ကအချက်အလက်သည် စိတ်ဝင်စာသစရာကောင်သပါက၊ Science of Logic မဟ အခဌာသအရာမျာသကို ပဌန်လည်သုံသသပ်ပါမည်။

source: www.habr.com

မဟတ်ချက် Add