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