شماره مدرك
:
6851
شماره راهنما
:
6393
پديد آورنده
:
سليماني نيا، سميه
عنوان
:
استدلال پيرامون انتقال كنترل
مقطع تحصيلي
:
كارشناسي ارشد
گرايش تحصيلي
:
رياضي محض﴿منطق﴾
محل تحصيل
:
اصفهان: دانشگاه صنعتي اصفهان، دانشكده علوم رياضي
سال دفاع
:
1390
صفحه شمار
:
[هشت]،126ص.: مصور،جدول
يادداشت
:
ص.ع.به فارسي و انگليسي
استاد راهنما
:
مجتبي آقايي
استاد مشاور
:
امير هاشمي
توصيفگر ها
:
ائتلاف منطقي , كنترل گزاره اي , معنا شناسي مستقيم , معنا شناسي كريپكي , مدل بررسي گر , صدق پذيري
تاريخ نمايه سازي
:
20/4/91
استاد داور
:
محمد اردشير، مجيد عليزاده
دانشكده
:
رياضي
كد ايرانداك
:
ID6393
چكيده فارسي
:
به فارسي و انگليسي: قابل رويت در نسخه ديجيتالي
استاد راهنما
:
مجتبي آقايي
استاد مشاور
:
امير هاشمي
استاد داور
:
محمد اردشير، مجيد عليزاده
لينک به اين مدرک :
https://library.iut.ac.ir/dL/search/default.aspx?Term=6851&Field=0&DTC=107
کلیه حقوق این اثر برای شرکت مهندسی ارتباطات پيام مشرق محفوظ می باشد