আমি মনে করি আমি ক্যালকুলাস যাকে বলে এবং প্রোগ্রামিং ল্যাঙ্গুয়েজ কী বলা হয় সে সম্পর্কে আমি বেশ বিভ্রান্ত।
আমার মনে হয়, এবং বলা যেতে পারে যে, ক্যালকুলাস হল প্রোগ্রামগুলির সমতুল্যতা সম্পর্কে যুক্তির জন্য একটি আনুষ্ঠানিক ব্যবস্থা। প্রোগ্রামগুলিতে একটি মেশিন দ্বারা নির্দিষ্ট একটি অপারেশনাল শব্দার্থবিজ্ঞান থাকে, যা (আমার মনে হয়?) নিরোধক হওয়া উচিত। এইভাবে, কোনও ভাষার জন্য একটি (সঠিক) ক্যালকুলাস প্রোগ্রামের সমতার জন্য একটি প্রমাণ পদ্ধতি।
এটি আমার কাছে যুক্তিসঙ্গত বিভাজনের মতো মনে হয় তবে এটি কি সাধারণভাবে গৃহীত অর্থ? অথবা এটি এমনকি ভুল?
সম্পর্কিত, কিছু অপারেশনাল শব্দার্থবিজ্ঞানহীন (কেননা এটি সংঘবদ্ধ বলে ধরে নেওয়া হয়)? কৌশল পছন্দ খোলা ছেড়ে কি অর্জন করা হয়?
আমি এই সম্পর্কে কিছু স্পষ্টতা প্রশংসা করব; এবং আরও কংক্রিট রেফারেন্স! ধন্যবাদ!
3
একই জিনিস দেখার বিভিন্ন উপায়ে তারা পৃথক শব্দ।
—
রাফেল
@ রাফেল, কিভাবে এটি প্রশ্নের উত্তর দেয়? এটি দর্শন করার জায়গা নয়।
—
fade2black
কখনও কখনও, একটু দর্শন প্রয়োজন হয়, যে কোনও জায়গায়।
—
আন্দ্রে সৌজা লেমোস