প্রশ্ন ট্যাগ «set-theory»

গণিতবিদরা কখনও কখনও অ্যাক্সিয়াম অফ চয়েস (এসি) এবং নির্ধারিত অক্ষের অক্ষর (AD) সম্পর্কে উদ্বেগ প্রকাশ করেন। চয়েস এর সবর্জনবিদিত : প্রদত্ত যেকোন সংগ্রহে nonempty সেট, একটি ফাংশন চ করে একটি সেট দেওয়া এস এ সি , একজন সদস্য ফেরৎ এস ।CC{\cal C}fffSSSCC{\cal C}SSS নির্ধারণের অক্ষ : আসুন লম্বা বিট স্ট্রিংগুলির …

67 cc.complexity-theory  lo.logic  pl.programming-languages  big-picture  set-theory 

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

37 reference-request  lo.logic  set-theory 

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

15 set-theory  topology  topological-graph-theory 

আমি সাধারণত বাকের-গিল-সলোভে এবং কোহেন দ্বারা ব্যবহৃত জোর করে পদ্ধতিতে আগ্রহী। কৌশলটি নিজেই বা এর ব্যবহার সম্পর্কে আমি যতটা উত্স পেতে পারি তার জন্য আমি সন্ধান করছি। কারও কি পরামর্শ আছে?

15 cc.complexity-theory  set-theory 

আমি কম্পিউটার বিজ্ঞানে সূর্যমুখী সিস্টেম এবং এর প্রয়োগগুলিতে আকর্ষণীয়। প্রদত্ত ইউনিভার্স এবং একটি সংগ্রহ সেট করে একটি বলা হয় K-সূর্যমুখী সিস্টেম যদি সবার জন্য । এবং কে মূল হিসাবে এবং কে পাপড়ি বলা হয়। UUUkkkAiAiA_iAi∩Aj=YAi∩Aj=YA_i \cap A_j = Y i≠ji≠ji \neq jYYYAi−YAi−YA_i - Y সেটের একটি পরিবারকে বলা হয় ইউনিফর্ম, …

11 co.combinatorics  set-theory 

আমি যেমন বুঝতে পেরেছি, কম্পিউটারে বিজ্ঞানের তথ্য প্রকারগুলি রাসেলের প্যারাডক্সের মতো জিনিসের কারণে সেট তত্ত্বের উপর ভিত্তি করে তৈরি হয় না, তবে বাস্তব বিশ্বের প্রোগ্রামিং ভাষাগুলিতে আমরা যেমন "সেট থাকে না যা সেট" এর মতো জটিল ডেটা প্রকাশ করতে পারি না, আমরা কি পারি? বলুন যে অনুশীলনে টাইপ করা হয় …

11 type-theory  set-theory  type-systems 

ক্যান্টরের উপপাদ্যটি বলে যে কোনও সেট এ এর ​​জন্য, এ এর ​​সমস্ত উপসর্গের সেট এ এর ​​চেয়ে কঠোরতর কার্ডিনালিটি থাকে। জেডএফসি সেটগুলি উল্লেখ না করে কেবল ধরণের / প্রস্তাবগুলি ব্যবহার করে এর মতো কোনও কিছুর এনকোড করা সম্ভব? নির্ভরশীলভাবে টাইপ করা ভাষায় এই প্রস্তাবটি এনকোড করার জন্য কোড বা সিউডোকোড …

9 type-theory  set-theory 

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

9 pl.programming-languages  semantics  formal-modeling  set-theory  object-oriented