دانلود رایگان سوالات مبانی منطق و نظریه مجموعه ها با جواب (استخدامی)
قسمتی از سوالات مبانی منطق و نظریه مجموعه ها :
-کدام نماد جزء هر فرمول بسیط است؟
الف. نماد سور
ب. نماد محمولی ☑
ج. نماد ربطی
د. نماد تابعی
– کدام گزینه یک نماد ربطی میباشد؟
الف. پرانتز
ب. پارامتر
ج. نمادهای جمله ای ☑
د. نماد عطف
– کوچکترین مجموعه استقرانی در عبارتها کدام گزینه است؟
الف. نمادهای جمله ای
ب. ف د. س ها ☑
ج. توتولوژی ها
د. جمله ها
– کدام گزینه میتواند طول یک ف د.س باشد؟
الف.1 ☑
ب. 2
ج. 3
د. 6
– در ساخت ف. د.س ها به روش استقراتی به کمک 5 عمل فرمولساز ، مجموعه آغازین کدام مجموعه است؟
الف. نمادهای منطقی
ب. نمادهای ربطی
ج. توتولوژی ها
د. نمادهای جمله ای ☑
– برای ف. د.س ای که دارای 5 نماد جمله ای باشد چند ارز شدهی وجود دارد؟
الف. 10
ب. 16
ج. 25
د. 32 ☑
– در مدار راه گزین در کدام دروازه خروجی کمینۀ ورودی هاست؟
الف. AND ☑
ب. OR
ج. NAT
د. اکثریت OR
– گزاره یک مجموعه از ف. د.س ها ارضا شونده است اگرو تنها اگر هر زیر مجموعه متناهی آن ارضا شونده باشد. کدام قضیه می باشد؟
الف. قضیه یگانه خوانی
ب. قضیه بازگشت
ج. قضیه شمارش پذیری
د. قضیه فشردگی ☑
– کدام ف. درس ها جمله اند؟
الف. ف. د. س هایی که همه ترمها نماد ثابت باشند.
ب. ف د.س هایی که نماد ثابت نداشته باشند.
ج. ف د.س هایی که همه متغیر ها آزاد باشند.
د. ف د.س هایی که هیچ متغیر آزادی نداشته باشد ☑
-کدام گزینه درست است؟
الف. هر قطعه آغازی سره از یک ترم، خود یک ترم است.
ب. هر قطعه پایانی از یک ترم، زنجیری متشکل از یک یا چند نرم است ☑
ج. هر قطعه آغازی سره از یک فرمول خود یک فرمول است.
د. فرمولی وجود دارد که قطعه آغازی سره از آن خود یک فرمول است.
– کدام گزینه قضیه تمامیت است؟
الف. هر مجموعه ارضا شدنی از فرمولها سازگار است.
ب. هر مجموعه سازگار از فرمولها ارضا شدنی است. ☑
ج. هر اصل موضوع منطقی ، معتبر است.
د. اصول موضوع منطقی نتیجه منطقی هر چیزی است.
– کدام نوع از مجموعه ف. د.س تصمیم پذیرند؟
الف. شمار شپذیرها
ب. تو تولوژی ها ☑
ج. نامتناهی ها
د. نتایج توتولوژیک ف.د.س ها
– کدام گزینه صحیح است؟
الف. هیچ قطعه ای آغازین سره ای از یک ترم خود یک ترم نیست ☑
ب. هیچ قطعه ی پایانی از یک ترم خود یک ترم نیست
ج. مجموعه ی ترم ها از مجموعه ی متغیرها به طور آزاد با اعمال برخی توابع به دست می آید
د. مجموعه ترم ها از مجموعه ی نمادهای ثابت به طور آزاد با اعمال برخی توابع به دست می آید
– هر دنباله متناهی از نمادها چه نامیده میشود؟
الف. ف د.س
ب. عبارت ☑
ج. رابط جمله ای
د. نماد منطقی
– عبارتی که عضو هر مجموعه استقرائی باشد چه نام دارد؟
الف. ف.د.س ☑
ب. نماد منطقی
ج. نماد جمله ای
د. توتولوژی
– این نتیجه که به ازای هر ارز شدهی V را برای نمادهای جمله ای یک تابع منحصر بفرد را روی ف.د.س موجود است که ارزش تمام ف. د.س ها را مشخص میکند توسط کدام قضایا به دست می آید؟
الف. اصل استقرا
ب. یگانه خوانی و استقرا
ج. بازگشت و یگانه خوانی ☑
د. بازگشت و استقرا
– کدام یک از مجموعه های زیر ممکن است تصمیم پذیر نباشد؟
الف. متمم مجموعه شماره پذیر کارآمد. ☑
ب. مجموعه های متناهی
ج. مجموعه تمام توتولوژی ها
د. مجموعه نتایج تو تولوژیک یک مجموعه تصمیم پذیر متناهی
– طبق قضیه یگانه خوانی پنج عمل فرمول ساز وقتی به مجموعه ف د.س محدود می شوند آنگاه …
الف. یک به یک هستند ☑
ب. پوشا هستند
ج. دوسویی هستند.
د. دارای برد یکسان هستند
– یک مجموعه از عبارتها تصمیم پذیر است اگر و تنها اگر…..
الف.آن مجموعه شمارش پذیر کارآمد باشد ولی متمم آن شمارش پذیر کارآمد نباشد.
ب. آن مجموعه و متمم آن هر دو شمارش پذیر کار آمد باشند. ☑
ج. فقط متمم آن مجموعه شمارش پذیر کارآمد باشد.
د. متمم آن مجموعه شمارش پذیر کارآمد باشد ولی خود آن مجموعه شمارش پذیر کارآمد نباشد.
– کدام قضیه عکس قضیه درستی است؟
لف. تمامیت ☑
ب. تعمیم
ج. گودل
د. جایگزینی
کدام گزینه صحیح نمی باشد؟
الف. هر نماد جمله ای یک ف. د.س است.
ب. هر عبارتی که تعداد پرانتزهای چپ آن از تعداد پرانتزهای راست آن بیشتر باشد یک ف. د.س نیست
ج. طول یک ف. د.س یکی از اعداد 2 و 3 و 6 است. ☑
د. یک ف. د.س نمی تواند دارای طول 6 باشد.
– یک دنباله متناهی از نمادها را چه می نامیم
الف. عبارت ☑
ب. ف. د.س
ج. جمله
د. گزاره
– مجموعه نمادهای منطقی کدام گزینه است؟
الف. نمادهای جمله ای
ب. رابط های جمله ای و پرانتزها
ج. رابط های جمله ای و پارامترها ☑
د. پارامترها و پرانتزها
– کدام یک از قضایای زیر بیانگر اینست که مجموعه ف. د. سها بطور آزاد از مجموعه نمادهای جمله ای پدید آمده است ؟
الف. فشردگی
ب. استقرا
ج. بازگشت
د. یگانه خوانی ☑
– کدام قضیه وجود و منحصر بفردی گسترش ارزشدهی روی نمادهای دو جمله ای را روی تمام ف. د.سها را تامین میکند ؟
الف. یگانه خوانی
ب. فشردگی
ج. بازگشت ☑
د. اصل استقرا
