প্রশ্ন ট্যাগ «semantics»

প্রোগ্রামিং ল্যাঙ্গুয়েজ শব্দার্থবিজ্ঞানে, প্রায়শই শোনা যায় যে লোকেরা অর্থ এবং বর্ণের কথা বলে । তারা এক হিসাবে না বলে মনে হচ্ছে। পার্থক্য কি? পূর্ববর্তীটি অপারেশনাল শব্দার্থকগুলির সাথে যুক্ত হয়, যখন পরবর্তীটি ডেনোটেশনাল শব্দার্থবিদ্যার সাথে থাকে? ধন্যবাদ।

10 pl.programming-languages  semantics  denotational-semantics  operational-semantics 

কম্পিউটার সায়েন্সে লজিকের হ্যান্ডবুকের স্মিথের অধ্যায় এবং অন্যান্য রেফারেন্সগুলি বর্ণনা করে যে কীভাবে মেট্রিক স্পেসগুলি ডোমেন হিসাবে ব্যবহার করা যেতে পারে। আমি বুঝতে পারি যে সম্পূর্ণ মেট্রিক স্পেসগুলি অনন্য নির্দিষ্ট পয়েন্ট দেয় তবে আমি বুঝতে পারি না কেন মেট্রিক স্পেসগুলি গুরুত্বপূর্ণ। আমি নিম্নলিখিত প্রশ্নের উপর যে কোন চিন্তা সত্যিই প্রশংসা …

10 semantics  topology  denotational-semantics  domain-theory  metrics 

ডোমেন তাত্ত্বিক বিভাগগুলির সাথে কথা বলার সময় (সিপিও এবং ome সিপিও বলুন), আমি প্রায়শই ডোমেন তত্ত্বের বিভাগ তত্ত্বের ভাষার জন্য একটি অভিধানের জন্য প্রার্থনা করি।ωω\omega এটি, একটি ধারণা দেওয়া হয়েছে, সোনিক তীর বলুন, আমি অভিধানে এটি সন্ধান করতে এবং বিভিন্ন ডোমেন বিভাগে এর পরিচিত বৈশিষ্ট্যগুলি কী তা দেখতে পেতাম। আমি …

10 ct.category-theory  semantics  denotational-semantics  domain-theory 

আমি মার্টিন-ল্যাফ টাইপ তত্ত্ব, অর্থাৎ কোক / আগদাতে আনুষ্ঠানিকভাবে যাচাই করা সংকলকগুলিতে আগ্রহী। এই মুহুর্তে আমি একটি ছোট খেলনার উদাহরণ লিখেছি। এর মাধ্যমে আমি প্রমাণ করতে পারি যে আমার অনুকূলিতকরণগুলি সঠিক। উদাহরণস্বরূপ যে শূন্যের সাথে সংযোজনগুলি মুছে ফেলা যায়, অর্থাত "x + 0" এর মত প্রকাশ। নিয়মিত সংকলক দিয়ে সম্পাদন …

9 reference-request  pl.programming-languages  type-theory  semantics  compilers 

এটি গণিতের এসই ফোরামে আমি জিজ্ঞাসা করেছি, এবং আমাকে এখানে উল্লেখ করা হয়েছে। তাই এখানে প্রশ্ন- আমি আনুষ্ঠানিক গণিত এবং তাত্ত্বিক কম্পিউটার বিজ্ঞান উভয় ক্ষেত্রেই নবাগত, সুতরাং আমার প্রশ্নটি সঠিকভাবে গঠন করা না হলে দয়া করে আমার সাথে সহ্য করুন। অবজেক্ট ওরিয়েন্টেড মডেলিং বাস্তব বিশ্বের অনুকরণ করার সময় জটিল মিথস্ক্রিয়া …

9 pl.programming-languages  semantics  formal-modeling  set-theory  object-oriented