আপনি কি আমাকে
লজিক এবং গণনা সম্পর্কে একটি ভাল সূচনা (তবে বিস্তৃত) বই সম্পর্কে কিছু পরামর্শ দিতে পারেন ?
আমার মনে থাকা কিছু अस्पष्ट বিষয় হ'ল:
উত্তর:
আমার উত্তর এই প্রশ্নের জন্য দেরি হতে পারে, তবে আমি আশা করি এটি একইরকম তথ্য সন্ধানকারী অন্যান্য ব্যক্তির পক্ষে সহায়ক হবে।
আমি সিঙ্গাপুর জাতীয় বিশ্ববিদ্যালয়ের গাণিতিক যুক্তি সম্পর্কে একটি কোর্স নিয়েছিলাম, যেখানে প্রভাষক এই পাঠ্যপুস্তকটি ব্যবহার করেছিলেন:
ওল্ফগ্যাং রাউটেনবার্গের গাণিতিক যুক্তি, তৃতীয় সংস্করণের একটি সংক্ষিপ্ত পরিচিতি
ব্যক্তিগতভাবে, আমি পাঠ্যপুস্তক এবং কোর্স উভয়ই পছন্দ করি।
প্রাথমিকভাবে পাঠ্যপুস্তকটি পড়া বেশ কঠিন বলে মনে হয়। যাইহোক, একবার এটির সাথে পরিচিত হওয়ার পরে অনুসরণ করা খুব সহজ কারণ যেহেতু স্বরলিপিটির ব্যবস্থাটি খুব স্পষ্ট, বিষয়বস্তু স্বয়ংসম্পূর্ণ এবং পদ্ধতির ভিত্তি থেকে শুরু করে, কোনও অস্পষ্ট ধারণা নয়। উদাহরণস্বরূপ, এই বইটি প্রাকৃতিক ছাড়ের ক্যালকুলাস এবং হিলবার্ট ক্যালকুলাস বিকাশ করেছে, বা স্ক্র্যাচ থেকে কার্ট গডেলের দুটি অসম্পূর্ণতা উপপাদ্য প্রমাণ করে।
আমি সম্প্রতি কিনেছি এমন একটি বইয়ের পরামর্শ দিচ্ছি:
আমার ("এখনও হয়নি" :-) যুক্তির একটি শক্তিশালী পটভূমি এবং এই বইটি আমাকে যুক্তির কিছু "মৌলিক" দিক এবং গণনা এবং জটিলতার সাথে এর সম্পর্ককে আরও ভালভাবে বুঝতে সাহায্য করে। নিঃসন্দেহে একটি ভাল পরিচিতি বই।
TOC এবং ভূমিকা বইয়ের Pudlak হোম পৃষ্ঠাতে থেকে ডাউনলোডযোগ্য এবং আপনি এছাড়াও বইয়ের কিছু উদ্ধৃতাংশ জানতে পারেন http://books.google.com ।
ভূমিকা থেকে :
... প্রথম দুটি অধ্যায়টি গণিত এবং গাণিতিক যুক্তির ভিত্তিগুলির পরিচিতি introduction উপাদানটি খুব অনানুষ্ঠানিকভাবে ব্যাখ্যা করা হয়েছে এবং আরও বিশদ উপস্থাপনা পরবর্তী অধ্যায়ে পিছিয়ে দেওয়া হয়েছে ....
তৃতীয় অধ্যায়টি তত্ত্ব নির্ধারণে নিবেদিত, যা গণিতের ভিত্তির সবচেয়ে গুরুত্বপূর্ণ অংশ। এই অধ্যায়ে দুটি মূল থিম হ'ল: (1) শক্তিশালী কৌতুকগুলির উত্স হিসাবে উচ্চতর অসম্পূর্ণতা এবং (2) বিকল্প অক্ষ, যেমন নির্ধারার অক্ষ হিসাবে ...
অসম্ভবতার প্রমাণ, অধ্যায় 4 এর প্রবন্ধটি প্রমাণ দেয় যে নির্দিষ্ট কাজগুলি অসম্ভব, মূল স্বজ্ঞাততার বিপরীতে। আজকাল আমরা অসম্পূর্ণতা এবং অ-গণনযোগ্যতার সাথে অসম্ভবকে সমান করতে ঝোঁক, এটি একটি বরং সংকীর্ণ দৃষ্টিভঙ্গি। অতএব, এটি স্মরণযোগ্য যে প্রথম গুরুত্বপূর্ণ অসম্ভবতা ফলাফলগুলি বিভিন্ন প্রসঙ্গে: জ্যামিতি এবং বীজগণিতে প্রাপ্ত হয়েছিল। এই অধ্যায়ে উপস্থাপিত সবচেয়ে গুরুত্বপূর্ণ ফলাফল হ'ল কর্ট গডেলের অসম্পূর্ণতা উপপাদ্য ...
অসম্ভবতার প্রমাণগুলি স্পষ্টভাবে, ভিত্তিতে গুরুত্বপূর্ণ। অসম্পূর্ণতা প্রমাণ করার ক্ষেত্রে যে ক্ষেত্রটিতে সর্বাধিক প্রাথমিক সমস্যাগুলি হ'ল তা হ'ল গণনা সংক্রান্ত জটিলতা তত্ত্ব, অধ্যায় topic এর বিষয় But তবে কম্পিউটারের জটিলতা এবং ভিত্তিগুলির মধ্যে আরও সংযোগ রয়েছে ....
আসলে, গবেষণার একটি ক্ষেত্র রয়েছে যা গণ্য জটিলতা এবং যুক্তির মধ্যে সংযোগ অধ্যয়ন করে। একে 'প্রুফ কমপ্লেক্সিটি' বলা হয় এবং এটি Chapter ষ্ঠ অধ্যায়ে উপস্থাপন করা হয়েছে যদিও যদিও আমাদের কাছে ইঙ্গিত রয়েছে যে জটিলতার ভিত্তিতে একটি প্রাসঙ্গিক ভূমিকা পালন করা উচিত, তবে আমাদের এই সংযোগটি প্রমাণ করার কোনও ফলাফল নেই। ...
গণিতের ভিত্তি সম্পর্কে প্রতিটি বইয়ে গণিতের ভিত্তির প্রাথমিক দার্শনিক পদ্ধতির উল্লেখ করা উচিত। আমি এটি অধ্যায় 7 এও করি, তবে আমি যেমন দার্শনিক নই, অধ্যায়টির মূল অংশটি গাণিতিক ফলাফল এবং সমস্যাগুলিতে মনোনিবেশ করে যা গণিত এবং দর্শনের সীমান্তে ...
এটি এফএমটি এবং বর্ণনামূলক জটিলতা কভার করে না, তবে কয়েকটি ভাল বই রয়েছে যেগুলি সেই বিষয়গুলিতে নিবদ্ধ (যেমন লিওনিড লিবকিন: এলিমেন্টস অফ ফাইনাইট মডেল থিওরি; টেক্সট ইন থিওরেটিক কম্পিউটার সায়েন্স। একটি EATCS সিরিজ; 2004 )
আমি আমার উত্তরটি স্বীকার করি কারণ আমার কাছে ত্রুং টা প্রস্তাবিত বইটি পড়ার সুযোগ হয়নি, এখনও।
মডেলিং গণনার ক্ষেত্রে আমি টম স্টুয়ার্টের "বোঝার গণনা" বইটি পছন্দ করি। তিনি গণনার জন্য মডেলগুলির একটি দুর্দান্ত প্রগতিশীল ওভারভিউ অফার করেন। যদি আমি সঠিকভাবে স্মরণ করি: - ডিটারমিনিস্টিক সসীম-রাষ্ট্রীয় মেশিনগুলি - নন-ডিটারমিনিস্টিক এফএসএম - এফএসএম একটি স্ট্যাক (ডিটারিস্টিনিস্টিক এবং নন-ডিস্ট্রিমেন্টিক) সহ - ট্যুরিং মেশিনগুলি (একটি টেপ সহ)
এটি বেশ ইন্টারেক্টিভ এবং হ্যান্ডস অন যখন তিনি একই সাথে রুবির প্রতিটি মডেলের একটি সাধারণ বাস্তবায়ন তৈরি করেন।