Sharif Digital Repository / Sharif University of Technology
    • [Zoom In]
    • [Zoom Out]
  • Page 
    		 of  0
  • [Previous Page]
  • [Next Page]
  • [Fullscreen view]
  • [Close]
 
منطق ∑ اثبات پذیری حساب شهودگرایی
مجتهدی, مجتبی Mojtahedi, Mojtaba

Cataloging brief

منطق ∑ اثبات پذیری حساب شهودگرایی
پدیدآور اصلی :   مجتهدی, مجتبی Mojtahedi, Mojtaba
ناشر :   صنعتی شریف
سال انتشار  :   1392
موضوع ها :   حساب شهودی Heyting Arithmetic منطق پایه Basic Logic منطق اثبات پذیری Provability Logic ...
شماره راهنما :   ‭02-45487

Find in content

sort by

Bookmark

  • حساب پایه (BA ) (10)
    • معرّفی (12)
      • منطق و حسابِ پایه (12)
      • خاصیّت دویانگ (13)
    • منطقِ عباراتِ پایه (14)
      • دست‌گاه استنتاج طبیعی (14)
      • نمادگذاریِ رشته‌ای (15)
      • معناشناسیِ کریپکی (16)
      • منطق موجّهات و منطق پایه (20)
    • منطقِ محمولات و حسابِ پایه (23)
      • نمادگذاریِ رشته‌ای (23)
      • حسابِ پایه (25)
      • مدل‌های کریپکی برای حسابِ پایه و گسترش‌های آن (26)
    • حسابِ پئانو (29)
      • حسابی‌سازیِ زبان (29)
      • تابعِ بازگشتیِ سولووِی (31)
      • قضیه‌ی MRDP (34)
      • تعبیرپذیری (35)
    • خاصیت دویانگ برای حسابِ پایه (37)
      • تصویرِ کلّیِ اثبات (37)
      • عملگر اِسْمورینْسْکی برای مدل‌های BA (38)
      • I-قاب‌ها (43)
      • اثباتِ خاصیّتِ دویانگ برای BA و گسترش‌های آن (45)
  • حساب شهودگرایی (48)
    • مقدّمات (51)
      • معرّفیِ مختصر (51)
      • تعریف‌های ابتدایی (52)
    • حساب (56)
      • اثبات‌پذیریِ متناهی (56)
      • q-تحقّق‌پذیری و اصلِ لیوانت (60)
      • HA* و PA* (64)
    • منطقِ عباراتِ وجهی (66)
      • فرمول‌های NNIL (66)
      • چند خاصیّت از ترجمه‌ی () در منطقِ عبارات (74)
      • اصولِ موضوعه برای الگوریتمِ TNNIL (78)
      • اصلِ لِیْوانْتِ گسترش‌یافته (83)
      • TNNIL-محافظه‌کاریِ LC رویِ LLe+ (85)
      • معناشناسیِ کریپکی برای LC (88)
    • محکی برای PL(HA) (92)
      • مجموعه‌ی S و فرم‌های نرمال (93)
      • اثباتِ متناهی بودنِ S (95)
      • تابعِ سولووی (101)
      • اثباتِ قضیه‌ی اصلی (109)
    • 1-منطقِ اثبات‌پذیریِ HA* (115)
      • قضیه‌ی صحّت (115)
      • قضیه‌ی تمامیّت (117)
    • 1-منطقِ اثبات‌پذیریِ HA (118)
      • قضیه‌ی صحّت (118)
      • قضیه‌ی تمامیّت (118)
    • جدولِ اصول و نظریّه‌ها (120)
    • کتاب‌نامه (121)
Loading...