دانلود نمونه سوالات مبانی منطق و نظریه مجموعه ها (استخدامی)

دانلود رایگان نمونه سوالات مبانی منطق و نظریه مجموعه ها با جواب (استخدامی)

برای دانلود رایگان اینجا کلیک کنید

قسمتی از سوالات مبانی منطق و نظریه مجموعه ها :

 – کدام گزینه میتواند طول یک ف.د.س باشد؟ 

الف. ۲ 

ب. ۳ 

ج. ۵  ☑

د. ۶ 

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

الف. یک به یک هستند  ☑

ب. دارای برد یکسان هستند. 

ج. دوسویی هستند. 

د. پوشا هستند.

 – هر قطعه آغازی سره از یک ف د.س 

الف. یک ف.د.س. است. 

ب. تعداد پرانتزهای چپ آن بیشتر از تعداد پرانتزهای راست آن است.  ☑

ج. تعداد پرانترهای راست آن بیشتر از تعداد پرانتزهای راست آن است. 

د. تعداد پرانتزهای چپ با راست برابر است. 

 – کدام قضیه عکس قضیه تمامیت است؟ 

الف. درستی  ☑

ب. تعمیم 

ج. جایگزینی 

د. گودل

 – گزاره یک مجموعه از ف.د.س ها ارضا شونده است اگر وتنها اگر هر زیر مجموعه متناهی آن ارضا شونده باشد کدام قضیه زیر است؟

الف. تصمیم پذیری

ب. فشردگی  ☑

ج. تمامیت

د. تعمیم

 – اگر R یک رابطه در مجموعه A باشد در این صورت کدام گزینه درست می باشد؟

الف. R صرفا متعدی است 

ب. R متقارن است 

ج. R متعدی ودر A تابع اصل تثلیث است  ☑

د. R در A فقط تابع اصل تثلیث می باشد 

 – کدام گزینه بیانگر اصل استقرا می باشد؟ 

الف. دنباله ای نامتناهی از نمادها یک قدس است. 

ب. هر مجموعه استقرایی از ف.د.س.ها در واقع مجموعه همه ف.د.س.هاست.  ☑

ج. هر مجموعه استقرایی از ف.د.س.ها در واقع مجموعه آغازین است. 

د. دنباله ای متناهی از نمادها یک ف.د.س.است.

 – دنباله ای متناهی از اشیاء متمایز را چه می نامیم؟ 

الف. ف.د.س    

ب. نماد  ☑

ج. استقرا 

د. عبارت 

 – با کدام یک از طولهای زیر میتوان یک ف. د.س تولید کرد ؟ 

الف. ۲ 

ب. ۳ 

ج. ۵  ☑

د. ۶ 

 – اگر در ۵ موضع از یک ف. درس رابط دوتایی ظاهر شود در چند موضع از همان ف. درس نماد جمله ای ظاهر میشود؟ 

الف. ۶  ☑

ب. ۷

ج. ۵

د. ۴

 – یک مجموعه از عبارتها تصمیم پذیر است اگر و تنها اگر ………..

الف. آن مجموعه شمارش پذیر کارآمد با شدولی متمم آن شمارش پذیر کار آمد نباشد

ب. آن مجموعه و متمم آن هر دو شمارش پذیر کار آمد باشند  ☑

ج. فقط متمم آن مجموعه شمارش پذیر کارآمد باشد

د. متمم آن مجموعه شمارش پذیر کارآمد باشد ولی خود آنمجموعه شمارش پذیر کار آمد نباشد

 – هر قطعه پایانی از یک ترم ………….

الف. زنجیره ای متشکل از یک یا چند ترم است  ☑

ب. یک ترم است   

ج. بیش از یک ترم است.   

د. یک ترم نیست 

 – هیچ قطعه آغازی سره یک ترم خود 

الف. یک ترم است.

ب.  بیش از یک ترم است

ج. یک ترم نیست  ☑

ج. یک ف د س است. 

 – هر قطعه آغازی سره یک فرمول درست ساخت 

الف. یک فرمول است. 

ب. بیش از یک فرمول است. 

ج. یک فرمول نیست  ☑

د. یک نرم است. 

– در اثبات قاعده T از … استفاده می شود 

الف. برهان خلف 

ب. عکس نقیض 

ج. قاعده وضع مقدم  ☑

د. تعمیم 

 – کدامیک از موارد زیر بخشی از قضیه تمامیت گودل است. 

الف. اگر مجموعه ای ارضا شدنی باشد. سازگار است. 

ب. هر مجموعه سازگار از فرمولها ارضا شدنی است.  ☑

ج. مجموعه فرمولهای معتبر را می توان شماره گذاری کرد. 

د. هر اصل موضوع منطقی معتبر است. 

 – برای یک زبان معقول . 

الف. ف د س را می توان شماره گذاری کرد. 

ب. ف دس معتبر را می توان شماره گذاری کرد. 

ج. ف دس را میتوان به طور کارآمد شماره گذاری کرد. 

د. ف دس معتبر را می توان بطور کارآمد شماره گذاری کرد  ☑

 – کدامیک از اعداد زیر نمی تواند طول یک ف. س. د باشد؟ 

الف. ۶  ☑

ب. ۴ 

ج. ۹ 

د. ۱۱ 

 – در هر ف. د.س :

الف. تعداد پرانتزهای چپ نصف تعداد پرانتزهای راست است. 

ب. تعداد پرانتزهای چپ ربع تعداد پرانتزهای راست است. 

ج. تعداد پرانتزهای چپ دو برابر تعداد پرانتزهای راست است. 

د. تعداد پرانتزهای جب برابر تعداد پرانتزهای راست است  ☑

 – کدام مورد از پارامترهای زبان به حساب نمی آید؟

الف. نماد تساوی  ☑

ب. نمادهای محمولی

ج. نماد ثابت

د. نماد &

 – کدام گزینه صحیح است؟ 

الف. اگر هیچ نماد تابعی در زبان وجود نداشته باشد آنگاه ترمها فقط نمادهای ثابت و متغیرها نیستند لذا احتیاج به تعریف استقرایی دارد. 

ب. در تقابل با ف.د.س. ها که حکمهایی درباره اشیا هستند ترمها عبارتهایی هستند که به عنوان نام اشیا (عبارات اسمی) ترجمه می شوند. 

ج. مجموعه ترمها از ادانه تولید می شود  ☑

د. نرمها دارای ویرگول و پرانتز هستند.

 – کدام نماد یک پارامتر است؟ 

الف. رابط جمله ای 

ب. نماد جمله ای  ☑

ج. پرانتز 

د. نماد نفی 

 – یک عبارت ف. د.س است اگر و تنها اگر از نمادهای جمله ای با به کارگیری تعدادی متناهی از عملهای فرمولساز روی عبارتها  به دست آید کدام تعریف برای ف. د.س هاست؟ 

الف. از پایین به بالا  ☑

ب. از بالا به پایین 

ج. تناظر یک به یک با توابع بولی 

د. اعضای مجموعه استقرانی

 – کدام مجموعه تصمیم پذیر است؟ 

الف. مجموعه های شمارش پذیر 

ب. مجموعه های نامتناهی 

ج. نتایج توتولوژیک 

د. توتولوژی ها  ☑

 – گزاره یک مجموعه از ف. د. سها ارضا شونده است اگر و تنها اگر هر زیر مجموعه متناهی آن ارضا شونده باشد. کدام قضیه  است؟ 

الف. یگانه خوانی 

ب. تصمیم پذیری 

ج. فشردگی  ☑

د. تعمیم