শুরু করার জন্য একটি জায়গা হ'ল কাক রেফারেন্স ম্যানুয়াল ( পিডিএফ )। চতুর্থ অধ্যায় কোকের অন্তর্নিহিত যুক্তি বর্ণনা করে এবং শেষ পর্যন্ত সবকিছুই এর উপর ভিত্তি করে। এটিকে (সহ) প্ররোচিত কনস্ট্রাকশনগুলির ক্যালকুলাস বলা হয় এবং অনেকগুলি কাগজই বর্ণনা করে। কোক'আর্ট বইটি ইন্টারেক্টিভ উপপাদ্য প্রুভিং এবং প্রোগ্রাম ডেভেলপমেন্টে আপনার হাত পাওয়া কোকের আরও অবসর সময়ে কিন্তু সস্তা পরিচিতি সরবরাহ করে না।
কৌশল কীভাবে কাজ করে সে সম্পর্কে জানতে, এই আগের প্রশ্নটি একবার দেখুন: প্রুফ অ্যাসিস্ট্যান্টগুলিতে 'কৌশল' কীভাবে কাজ করে?
প্রয়োজনীয় তত্ত্বটি তৈরি করতে আপনার টাইপ থিওরি সম্পর্কে শিখতে হবে । প্রুফ অ্যাসিস্ট্যান্টের অন্তর্নিহিত তত্ত্বের সাথে সর্বাধিক ঘনিষ্ঠভাবে সম্পর্কিত সম্ভবত পের মার্টিন- লুফের ইন্টিগ্রুটিস্টিক টাইপ থিওরি নোটস (বা বই ) বা মার্টিন- ল্যাফ টাইপ থিওরিতে প্রোগ্রামিং বইটি , যা টাইপ থিওরিতে থিওরিমগুলি রচনা এবং প্রমাণিত করার বিষয়ে সত্যই। টাইপ তত্ত্বের উপর একটি প্রোগ্রামিং ভাষার দৃষ্টিভঙ্গি পিয়ার্সের প্রকার এবং প্রোগ্রামিং ভাষা থেকে প্রাপ্ত করা যেতে পারে । জিরাার্ড এট আল প্রুফস এবং প্রকারগুলি , যা কারি-হাওয়ার্ড চিঠিপত্রের গুরুত্বকেও সম্বোধন করে , এটি আরও একটি দুর্দান্ত রেফারেন্স। তারপরে আপনি সম্ভবত ভাল এবং সত্যই কোকোয়াড এবং হুয়েটস পড়তে প্রস্তুতক্যালকুলাস অফ কনস্ট্রাকশনস । শেষ পর্যন্ত কক ম্যানুয়ালটির পিছনে কিছু রেফারেন্স তাড়া করুন।
অন্যান্য প্রুফ অ্যাসিস্ট্যান্টস , এইচএল, নুপিআরএল, মিজার, দ্বাদশ, ইত্যাদি রয়েছে এবং তাদের থিয়োরিও রয়েছে, সুতরাং আপনি সেই দিকটি পড়ে অনেক কিছু শিখতে পারেন।
পরিশেষে, প্রমাণ সহকারীদের ইতিহাস এবং ভবিষ্যতের একটি সংক্ষিপ্তসার জন্য, হারমান জিউভার্সের সাম্প্রতিক নিবন্ধটি দেখুন ।
Show Tree
কোক মধ্যে।