شماره مدرك :
6851
شماره راهنما :
6393
پديد آورنده :
سليماني نيا، سميه
عنوان :

استدلال پيرامون انتقال كنترل

مقطع تحصيلي :
كارشناسي ارشد
گرايش تحصيلي :
رياضي محض﴿منطق﴾
محل تحصيل :
اصفهان: دانشگاه صنعتي اصفهان، دانشكده علوم رياضي
سال دفاع :
1390
صفحه شمار :
[هشت]،126ص.: مصور،جدول
يادداشت :
ص.ع.به فارسي و انگليسي
استاد راهنما :
مجتبي آقايي
استاد مشاور :
امير هاشمي
توصيفگر ها :
ائتلاف منطقي , كنترل گزاره اي , معنا شناسي مستقيم , معنا شناسي كريپكي , مدل بررسي گر , صدق پذيري
تاريخ نمايه سازي :
20/4/91
استاد داور :
محمد اردشير، مجيد عليزاده
دانشكده :
رياضي
كد ايرانداك :
ID6393
چكيده فارسي :
به فارسي و انگليسي: قابل رويت در نسخه ديجيتالي
استاد راهنما :
مجتبي آقايي
استاد مشاور :
امير هاشمي
استاد داور :
محمد اردشير، مجيد عليزاده
لينک به اين مدرک :

بازگشت