একটি ভাল বিভাগের থিওরি-ডোমেন থিওরি অভিধানটি কী?


10

ডোমেন তাত্ত্বিক বিভাগগুলির সাথে কথা বলার সময় (সিপিও এবং ome সিপিও বলুন), আমি প্রায়শই ডোমেন তত্ত্বের বিভাগ তত্ত্বের ভাষার জন্য একটি অভিধানের জন্য প্রার্থনা করি।ω

এটি, একটি ধারণা দেওয়া হয়েছে, সোনিক তীর বলুন, আমি অভিধানে এটি সন্ধান করতে এবং বিভিন্ন ডোমেন বিভাগে এর পরিচিত বৈশিষ্ট্যগুলি কী তা দেখতে পেতাম।

আমি বুঝতে পারি যে এই ইচ্ছাটি আশা করা খুব বেশি, তবে কি কোনও পাঠ্য বা সংস্থান এটির কাছাকাছি রয়েছে?

উত্তর:


6

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

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

এই ধরণের অভিধান তৈরিতে আমি খুব সহায়ক বলে মনে করেছি যে কিছু বিভাগের ক্ষেত্রে পুনরাবৃত্ত ডোমেন সমীকরণগুলির সমাধানের মাধ্যমে কাজ করা যা ঠিক ডোমেন নয়। দুটি ভাল পছন্দগুলি হল PERs (যেমন পলিমারফিজমের মডেলগুলিতে) এবং প্রিজিভগুলি (যেমন, নাম বরাদ্দকরণের জন্য) বিভাগগুলি। মেট্রিক স্পেসগুলি আরেকটি সম্ভাবনা, তবে আমি অনুভূতি তৈরিতে সহায়তা করার জন্য সেগুলি ডোমেনগুলির সাথে খুব একই রকম হতে দেখেছি।


হ্যাঁ, আমি আব্রামস্কি এট আল-এর অধ্যায়টির সাথে পরিচিত এবং বিশেষত সারণী টেবিলটি। যেমনটি আপনি বলেছিলেন, তারা মৌলিক কাঠামোগুলি (পণ্যগুলি, অঙ্কগুলি, এক্সপেনশিয়ালগুলি ইত্যাদি) বর্ণনা করে তবে তালিকাটি ব্যাপক নয়।
ওহাদ কামার

আমার মনে প্রশ্নটি জেগেছিল যখন আমি একটি সংজ্ঞার জন্য বেশ কয়েকটি সম্ভাবনা নিয়ে আলোচনা করছিলাম এবং আমাদের বিভিন্ন শ্রেণিবদ্ধ ধারণার তুলনা করা দরকার (সুনির্দিষ্ট হওয়ার জন্য মনিক তীরগুলির কয়েকটি ধারণা)। আমি যখন কিছুটা অবাক হলাম তখন বুঝতে পারি যে আমাদের পদ্ধতিটি হল স্বজ্ঞাততা, পুরানো নিবন্ধগুলি এবং যে কোনও বইটি আমাদের মনের মধ্যে ছড়িয়ে পড়ে, বিশেষত যখন ধারণাগুলি এই ধরণের অস্পষ্ট শ্রেণিবদ্ধ ধারণা ছিল না তা ব্যবহার করে সুবিধাজনক বৈশিষ্ট্যগুলি দ্রুত তৈরি করা। অবশ্যই, এই পদ্ধতিটিকে "দক্ষতা" বলা হয় (যার আমার অভাব রয়েছে) তবে একজন প্রোগ্রামার হিসাবে আমি অনুভব করেছি যে এটি করার আরও ভাল উপায় হতে পারে।
ওহাদ কামার

ওহ, এবং যাইহোক, প্রযোজক সম্পর্কে --- --- গবেষণার টাইমলাইনের কারণে ডিসিপিওগুলির সাথে সেগুলির কতগুলি সমস্যা রয়েছে? তোমাদের মধ্যে স্কটের মূল মডেল তাকান -calculus তিনি একটানা lattices, যা DCPOs চেয়ে আরও শক্তিশালী ব্যবহৃত (ডান?)। পূর্ববর্তী ক্ষেত্রে, আমরা জানি যে অবিচ্ছিন্ন জালগুলি সেরা ধারণা নয় এবং সিপিও, বা যে কোনও স্বাদের উপযুক্ত (পয়েন্টেড সিপিও বা উপরের, ইত্যাদি) নিয়ে কাজ করে। প্রকৃতপক্ষে, যেখানে বিভাগের তত্ত্বের পুরো সুবিধাটি প্রকাশ পায়। আমি জানি যে আজকাল something সিপিও-র সাথে কাজ করার জন্য তিনি পুরোপুরি সন্তুষ্ট হন যখন আমাদের কিছু খাওয়ার দরকার হয়। ω ωλωω
ওহাদ কামার

আপনি স্মিথ এবং প্লটকিন 1982, "পুনর্গঠনযোগ্য ডোমেন সমীকরণের বিভাগ-তাত্ত্বিক সমাধান" বা পল টেলারের কিছু কাগজপত্র (আমি সঠিক রেফারিকে ভুলে যাচ্ছি), বা অ্যান্ডি পিটসের 1996 এর "সম্পর্কিত সম্পর্কিত বৈশিষ্ট্যগুলি" দেখতে চাইতে পারেন। এই কাগজপত্রগুলি সমস্ত প্রয়োজনীয় বৈশিষ্ট্যগুলির শীর্ষ-ডাউন বিমূর্ত বৈশিষ্ট্যগুলির মাধ্যমে কাজ করে things আমি, আমি উদাহরণগুলির কয়েকটিতে কংক্রিটের বিশদ বিবরণ দিয়ে কাজ না করা পর্যন্ত আমি এই কাগজপত্রগুলি আমার জন্য কিছুটা বিমূর্ত দেখতে পেয়েছি। তাহলে তারা পরিষ্কার ছিল!
নীল কৃষ্ণস্বামী

মার্কোকস্কি 1977, চেইন-সম্পূর্ণ পোজগুলির বিভাগগুলিতে সিপিওগুলির কিছু বৈকল্পিকের জন্য একটি দুর্দান্ত টেবিল রয়েছে।
ওহাদ কামার

5

আমি নিশ্চিত যে একটি আছে। ক্যাটাগরি থিওরিতে অনেকগুলি ভাল বই এবং বিভিন্ন মানের মানের বক্তৃতা নোটের আরও সেট রয়েছে। উইকিপিডিয়াতে বিভাগ থিওরি এবং ডোমেন থিওরী সম্পর্কে যথেষ্ট নির্ভরযোগ্য তথ্য রয়েছে । আর একটি ভাল ইন্টারনেট রিসোর্স হ'ল এনজিটিএল্যাব , যদিও এটি উচ্চ-মাত্রিক বিভাগের তত্ত্বকে আরও চালিত করে

একটি ভাল ডোমেন তত্ত্বের রেফারেন্স হলেন এস আব্রামস্কি, এ জং (1994)। "ডোমেন তত্ত্ব"। এস আব্রামসকিতে, ডিএম গ্যাবে, টিএসই মাইবাম, সম্পাদক, (পিডিএফ)। কম্পিউটার সায়েন্সে লজিকের হ্যান্ডবুক। তৃতীয়। অক্সফোর্ড ইউনিভার্সিটি প্রেস. আইএসবিএন 0-19-853762-X।

বিভাগ তত্ত্বের বইগুলিতে আমি আসলে দেখেছি:

  • অ্যাওডি, স্টিভ (2006)। বিভাগ তত্ত্ব (অক্সফোর্ড লজিক গাইড 49)। অক্সফোর্ড ইউনিভার্সিটি প্রেস. ২ য় সংস্করণ, ২০১০. কম্পিউটার বিজ্ঞানের দিকে সজ্জিত একটি ভাল সাম্প্রতিক ভূমিকা

  • বার, মাইকেল; ওয়েলস, চার্লস "কম্পিউটিং সায়েন্সের জন্য বিভাগ তত্ত্ব।" পাওয়া শক্ত, এটি অ্যামাজন থেকে পাওয়া যায় না

  • লভের, উইলিয়াম; শানুয়েল, স্টিভ (1997)। ধারণাগত গণিত: বিভাগগুলির একটি প্রথম ভূমিকা। ক্যামব্রিজ ইউনিভার্সিটি প্রেস. আনন্দদায়ক ভূমিকা, সম্ভবত যথেষ্ট গভীর না

  • ম্যাক লেন, স্যান্ডার্স (1998)। ওয়ার্কিং গণিতজ্ঞের জন্য বিভাগসমূহ। স্নাতক পাঠ্য গণিত 5 (দ্বিতীয় সংস্করণ)। স্প্রিঙ্গের-ভার্ল্যাগ। আইএসবিএন 0-387-98403-8। সম্ভবত খুব গাণিতিক

  • পিয়ার্স, বেঞ্জামিন (1991)। কম্পিউটার বিজ্ঞানীদের জন্য বেসিক বিভাগের তত্ত্ব। এমআইটি প্রেস। সম্ভবত খুব বেসিক

  • টেলর, পল (1999)। গণিতের ব্যবহারিক ভিত্তি। ক্যামব্রিজ ইউনিভার্সিটি প্রেস. বেশ ব্যাপক; একটি যৌক্তিক দৃষ্টিভঙ্গি নেয়

অন্যান্য বই যেমন অনলাইনে পাওয়া যায় যেমন বার এবং ওয়েলসের টোপোজস, ট্রিপলস এবং থিওরিস এবং জিরি অ্যাডামেক, হোর্স্ট হার্লিচ, এবং জর্জ ই। স্ট্রেকারের অ্যাবস্ট্রাক্ট এবং কংক্রিট বিভাগ - দ্য জয় অফ বিড়াল । এগুলিতে আপনার প্রয়োজনীয় সমস্ত সংজ্ঞা থাকতে পারে অন্তত বিভাগ তত্ত্বের দিক থেকে।


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

ভবিষ্যতের প্রজন্মের জন্য এই সমস্যা সমাধানের জন্য একটি পদ্ধতি হ'ল আপনি যখন সেগুলি পেলেন তেমন শর্তাদির নিজস্ব অভিধান লিখুন।
ডেভ ক্লার্ক

1
সম্ভবত আমাদের নিজস্ব সংস্করণ এনকাটলব বিকাশ ?
উদয় রেড্ডি

3

আপনার পরামর্শদাতাকে জিজ্ঞাসা করবেন কীভাবে? তিনি ডোমেন তত্ত্বের একটি ভাল অংশ আবিষ্কার করেছিলেন।


ছাগলগুলি যেমন আমি উপরে বলেছি, চিন্তাটি তখন মনে আসল যখন আমরা বিভিন্ন ডোমেনে কিছু বিভাগের তাত্ত্বিক ধারণা নিয়ে আলোচনা করছিলাম। আমার যথাযথ চিন্তাভাবনাটি ছিল: পুরো সাহিত্যের মাধ্যমে স্কিমিং বিশেষজ্ঞের কাছে জিজ্ঞাসা করার চেয়ে আরও ভাল উপায় বা নিখুঁত অনুমান করা উচিত ...
ওহাদ কামার
আমাদের সাইট ব্যবহার করে, আপনি স্বীকার করেছেন যে আপনি আমাদের কুকি নীতি এবং গোপনীয়তা নীতিটি পড়েছেন এবং বুঝতে পেরেছেন ।
Licensed under cc by-sa 3.0 with attribution required.