شماره مدرك
2416
شماره مدرك
2424پ
شماره راهنما
2495
پديد آورنده
ماني، نيلوفر
عنوان
تعريف پذيري منطقي توابع شمارنده
مقطع تحصيلي
كارشناسي ارشد
گرايش تحصيلي
(رياضي محض )
محل تحصيل
اصفهان: دانشگاه صنعتي اصفهان، دانشكده علوم رياضي
سال دفاع
1383
صفحه شمار
[الف]، هشت، 145ص .: مصور، شكل
توصيفگر ها
زبان ،ساختار،نحو/ منطق رابطه ها/منطق هاي مرتبه اول / مرتبه دوم وجودي/ ماشين تورينگ / كلاسهاي پيچيدگي / تقليل پذيزي كراندار/ توابع شمارنده / خواص بستاري/ تايپ هاي اتمي / تعميم محك احتمالي /
تاريخ ورود اطلاعات
1396/02/20
كتابنامه
كتابنامه
رشته تحصيلي
علوم رياضي
دانشكده
رياضي
كد ايرانداك
ID2495
چكيده فارسي
به فارسي (قابل رويت درقسمت "نسخه ديجيتال ")،وبه انگليسي
استاد راهنما
مجتبي آقايي
استاد مشاور
بهناز عمومي