توضیح بیشتری نبود؟

مجموعه ای شماراست که بشه یک تابعی از اون مجموعه به مجموعه اعداد طبیعی پیدار کرد و بتوان اعضای مجموعه را به ترتیب قرار داد و یا ترتیب شمارش واسه اون ارایه داد
گزینه یک مجموعه اعداد اول ترتیب خاصی دارند پس شماراست
دومی زبان روی الفبای محدود شماراست
سومی چون زبانهای بازگشتی تصمیم پذیرند میشه روال شمارش براشون پیدا کرد
یه نکته ای دیگه هست مجموعه همه ماشین های تورینگ روی الفبا سیگما شماراست چون میتونیم تمام ماشین های تورینگ رو با صفر و یک کد کرد و براشون روال شمارش ارائه داد
مجموعه توانی مجموعه نامتناهی رو نمیتوان براش روال شمارش ارائه داد
پس دو بتوان سیگما استار میشه شمارا
اما این گزینه چهار یکم ابهام داره چون محدوده
کسی میتونه واسه گزینه چهار نکته ش رو بگه؟

(۲۰ دى ۱۳۹۱ ۰۹:۵۳ ق.ظ)teacherpc نوشته شده توسط:  مجموعه ای شماراست که بشه یک تابعی از اون مجموعه به مجموعه اعداد طبیعی پیدار کرد و بتوان اعضای مجموعه را به ترتیب قرار داد و یا ترتیب شمارش واسه اون ارایه داد
گزینه یک مجموعه اعداد اول ترتیب خاصی دارند پس شماراست
دومی زبان روی الفبای محدود شماراست
سومی چون زبانهای بازگشتی تصمیم پذیرند میشه روال شمارش براشون پیدا کرد
یه نکته ای دیگه هست مجموعه همه ماشین های تورینگ روی الفبا سیگما شماراست چون میتونیم تمام ماشین های تورینگ رو با صفر و یک کد کرد و براشون روال شمارش ارائه داد
مجموعه توانی مجموعه نامتناهی رو نمیتوان براش روال شمارش ارائه داد
پس دو بتوان سیگما استار میشه شمارا
اما این گزینه چهار یکم ابهام داره چون محدوده
کسی میتونه واسه گزینه چهار نکته ش رو بگه؟

سلام ممنون از پاسختون فقط این که اعداد اول را نمیشه براش ترتیب نوشت (تا بی نهایت) .
چون میشه به اعداد طبیعی نگاشت زد میشه شمارا .

درمورد گزینه قضیه داریم که اگر یک مجموعه شمارا باشد ، مجموعه توانی آن ناشماراست. خوب حل شد دیگه خودتون تو گزینه ۲ جواب دادید که زبان روی الفبای محدود شماراست پس طبق قضیه توانی آن ناشمارا میشه...


مرسی که جواب دادید موفق باشید.

اما تو کتاب پوران یه نکته گفته که مجموعه توتنی یک مجموعه متناهی ، شماراست و برای یک مجموعه نامتناهی ناشماراست.؟!!!حالا جواب چی میشه؟به نظر من گزینه ۳ غلطه!