• شماره مدرك
    2416
  • شماره مدرك
    2424پ
  • شماره راهنما
    2495
  • پديد آورنده

    ماني، نيلوفر

  • عنوان

    تعريف پذيري منطقي توابع شمارنده

  • مقطع تحصيلي
    كارشناسي ارشد
  • گرايش تحصيلي
    (رياضي محض )
  • محل تحصيل
    اصفهان: دانشگاه صنعتي اصفهان، دانشكده علوم رياضي
  • سال دفاع
    1383
  • صفحه شمار
    [الف]، هشت، 145ص .: مصور، شكل
  • توصيفگر ها

    زبان ،ساختار،نحو/ منطق رابطه ها/منطق هاي مرتبه اول / مرتبه دوم وجودي/ ماشين تورينگ / كلاسهاي پيچيدگي / تقليل پذيزي كراندار/ توابع شمارنده / خواص بستاري/ تايپ هاي اتمي / تعميم محك احتمالي /

  • تاريخ ورود اطلاعات
    1396/02/20
  • كتابنامه
    كتابنامه
  • رشته تحصيلي
    علوم رياضي
  • دانشكده
    رياضي
  • كد ايرانداك
    ID2495
  • چكيده فارسي
    به فارسي (قابل رويت درقسمت "نسخه ديجيتال ")،وبه انگليسي
  • استاد راهنما
    مجتبي آقايي
  • استاد مشاور
    بهناز عمومي