প্রশ্ন ট্যাগ «formal-systems»

আনুষ্ঠানিক পদ্ধতির একটি গুরুত্বপূর্ণ লক্ষ্য হ'ল স্বয়ংক্রিয় বা মানব-নির্দেশিত উপায় দ্বারা সিস্টেমগুলির যথার্থতা প্রমাণ করা। তবে, মনে হচ্ছে আপনি সঠিকতার প্রমাণ দিতে পারলেও, সিস্টেমটি ব্যর্থ হবে না এমন গ্যারান্টি দিতে সক্ষম হতে পারবেন না। উদাহরণ স্বরূপ: স্পেসিফিকেশন সিস্টেমটিকে সঠিকভাবে মডেল না করতে পারে, বা একটি উত্পাদন সিস্টেম মডেল করা থেকে …

20 lo.logic  pl.programming-languages  formal-systems  formal-methods 

আমি প্রোগ্রামিং ল্যাঙ্গুয়েজ থিওরিতে নতুন এবং আমি প্রোগ্রামিং ল্যাঙ্গুয়েজের আনুষ্ঠানিক শব্দার্থবিদ্যার জন্য একটি উত্সে একটি ভাল সংস্থান চাই seeking বিশেষত কাঠামোগত অপারেশনস শব্দার্থবিজ্ঞানের সন্ধান করা। কিছু বইয়ের সুপারিশ পেয়েছি। তবে আমি আরও পরিচিতি স্তরে একটি সংস্থান খুঁজছি। বিশেষত টিউটোরিয়াল, ওয়েব সাইট এবং বিনামূল্যে বইয়ের সুপারিশগুলি স্বাগত জানানো হয়।

17 reference-request  pl.programming-languages  semantics  formal-systems 

সিস্টেম "এফ" এবং সিস্টেম "টি" নামগুলি কোথা থেকে এসেছে তা কি কেউ জানেন? আমি জিজ্ঞাসা করছি না কে এই নামগুলি (জিরার্ড সিস্টেম এফ, এবং গডেল সিস্টেম টি) প্রবর্তন করেছে, তবে "এফ" এবং "টি" এর অর্থ কী।

9 ho.history-overview  type-systems  formal-systems