Sharif Digital Repository / Sharif University of Technology
    • [Zoom In]
    • [Zoom Out]
  • Page 
    		 of  0
  • [Next Page]
  • [Previous Page]
  • [Fullscreen view]
  • [Close]
 
درجات حل ناپذیری
جهانجو، حمید رضا Jahanjou, Hamid Reza

Cataloging brief

درجات حل ناپذیری
پدیدآور اصلی :   جهانجو، حمید رضا Jahanjou, Hamid Reza
ناشر :   صنعتی شریف
سال انتشار  :   1389
موضوع ها :   محاسبه پذیری Computability نظریه درجه Degree Theory روش اولویتی Priority Method منطق...
شماره راهنما :   ‭02-41456

Find in content

sort by

Bookmark

  • علائم و نمادها (5)
  • نظریه محاسبه پذیری (7)
    • تاریخچه (7)
    • توابع محاسبه پذیر (9)
    • مجموعه‌های محاسبه‌پذیر و محاسبه‌پذیر شمارا (11)
    • حل ناپذیری، کاهش پذیری و تمامیت (16)
    • محاسبه پذیری نسبی (20)
  • نظریه درجه (25)
    • مقدمات (25)
    • لم مدول و لم حد (29)
    • عدم وجود بزرگترین کران پایین (31)
  • روش اولویت (34)
    • مسئله پست (34)
    • کلیات روش اولویت (35)
    • روش اولویت 0 (بدون صدمه) (36)
      • مجموعه‌های ساده (36)
      • روش اولویت بدون صدمه (38)
    • روش اولویت 0' (با صدمات متناهی) (39)
      • جوابی برای مسئله پست (40)
      • ترفند سَکس (42)
    • روش اولویت 0'' (با صدمات نامتناهی) (45)
    • روش درختی (48)
      • کلیات (48)
      • راه‌حلی برای مسئله پست با استفاده از روش درختی (50)
  • کتاب‌نامه (53)
Loading...