এগুলি নির্ভর করে আপনি কত গভীর যেতে চান এবং আপনি ইতিমধ্যে কতটা জানেন। একটি শিক্ষানবিসের জন্য উইঙ্কসেলের বইটি সত্যিই দুর্দান্ত, তবে হ্যাঁ, এটি আপনাকে শব্দার্থবিদ্যায় শিল্পের সাথে পরিচয় করিয়ে দিচ্ছে না কারণ এটি প্রায় 20 বছর আগে লেখা হয়েছিল was তবুও এটি এখনও বিষয়টির একটি ভাল প্রথম ভূমিকা। এটি লক্ষণীয়ও উপযুক্ত হতে পারে যে টি। নিপকো ইসাবেল / এইচএল-তে উইনস্কেলের বইয়ের যথেষ্ট অংশকে আনুষ্ঠানিকভাবে প্রবর্তন করেছেন, এখানে দেখুন । সুতরাং আপনি যদি প্রোগ্রামিং ভাষার শব্দার্থ বোঝার সাথে সাথে ইন্টারেক্টিভ প্রুফ অ্যাসিস্ট্যান্টগুলি ব্যবহার করতে শিখতে চান তবে আপনার কাছে আঁকতে প্রচুর সুসংগত উপাদান রয়েছে।
অন্যান্য বই যেগুলি আরও উন্নত তা হ'ল:
গুন্টার, প্রোগ্রামিং ল্যাঙ্গুয়েজস এর শব্দার্থবিজ্ঞান, ডেনোটেশনাল শব্দার্থবিজ্ঞানের উপর দৃষ্টি নিবদ্ধ করা আরও উন্নত বই, শব্দার্থবিজ্ঞানের একটি পদ্ধতির, যা প্রত্যাশাগুলির উপর নির্ভর করে না। নিখুঁতভাবে কার্যকরী lanugages উপর দৃষ্টি নিবদ্ধ করে এবং সম্মতিটি উপেক্ষা করে। এটি এমন একটি বই যা আমি নিজেকে স্নাতক হিসাবে শব্দার্থবিজ্ঞান শিখিয়েছিলাম, এবং পূর্ববর্তী ক্ষেত্রে আমি চাই যে আমি এর পরিবর্তে উইঙ্কসেলের বইটি ব্যবহার করতাম। গুন্টার কোনও শিক্ষানবিশকে সহজ পাঠযোগ্য নয়।
আমাদিও এবং কুরিয়েন দ্বারা ডোমেন এবং ল্যাম্বডা-ক্যালকুলি । আরও একটি বই আসছে যা ডোমেন-তাত্ত্বিক traditionতিহ্যে আরও লিখিত হয়েছে, যদিও এটি প্রক্রিয়া ক্যালকুলি নিয়ে আলোচনা করে।
জন মিচেলের বইগুলি যা ইতিমধ্যে উপরে বর্ণিত হয়েছে। এগুলি বেশিরভাগই সিক্যুয়াল গণনা সম্পর্কে।
পিয়ার্সের টিএপিএলের মতো বইগুলি খুব সুন্দর, তবে প্রোগ্রামিং ভাষার একটি দিক যেমন টাইপগুলি, তত গুরুত্বপূর্ণ narrow আমি এটিকে প্রোগ্রামিং ভাষার সাধারণ ক্ষেত্রের প্রথম ভূমিকা হিসাবে সুপারিশ করব না, তবে যে কেউ প্রকার সম্পর্কে শিখতে চায় তার জন্য পড়া বাধ্যতামূলক।
সত্যই বলা যেতে পারে, আমি মনে করি ভাষা শব্দার্থবিজ্ঞানের বিষয়ে বর্তমানে কোনও আপ-টু-ডেট প্রবর্তনাকারী বই নেই যা গত দশকে যে উল্লেখযোগ্য অগ্রগতি দেখেছিল তা প্রতিফলিত করে, বর্ণনামূলক পদ্ধতি এবং অনুক্রমিক গণনা থেকে সম্মতিতে স্থান পরিবর্তন (প্রক্রিয়া ক্যালকুলি এবং গেম শব্দার্থক) , অ্যালিয়োমেটিকস শব্দার্থবিদ্যা এবং যাচাইকরণে ইন্টারেক্টিভ প্রুফ সহকারীগুলির ব্যবহার।
আপডেট 22. এপ্রিল 2014: টোবিয়াস নিপকো এবং গেরউইন ক্লেইন একটি নতুন বই প্রকাশ করেছে
যা 'ইসাবেলে / এইচএল-তে উইংস্কেল' হিসাবে দেখা যেতে পারে। এটি প্রোগ্রামিং ভাষার শব্দার্থবিদ্যার (মূলত ক্রিয়াকলাপ এবং অ্যাক্সিয়োমেটিক) পরিচিতি কিন্তু পূর্ববর্তী কলম এবং কাগজ-ভিত্তিক পদ্ধতির বিপরীতে, এই বইটি ইসাবেল / এইচএল-এর সমস্ত গণিতকে প্রকাশ করেছে। অন্য কথায়, এটি একই সাথে উপপাদ্য প্রমানকারী সম্পর্কে একটি বই।
বইটি একেবারেই নতুন তাই আমি পাঠদানের জন্য ব্যবহার করি নি, তবে এটি
পিয়েরস এট আল দ্বারা সফটওয়্যার ফাউন্ডেশনগুলির চেয়ে নিম্ন স্তরে অবস্থিত এমন একটি পরিচিতি হিসাবে সত্যিই উপযুক্ত বলে মনে হচ্ছে ।