Sharif Digital Repository / Sharif University of Technology
    • [Zoom In]
    • [Zoom Out]
  • Page 
    		 of  0
  • [Previous Page]
  • [Next Page]
  • [Fullscreen view]
  • [Close]
 
منطق Σ1-اثبات‌ پذیری حساب شهودگرایانه
دژبرد، نوید Ⅾejborⅾ, Naviⅾ

Cataloging brief

منطق Σ1-اثبات‌ پذیری حساب شهودگرایانه
پدیدآور اصلی :   دژبرد، نوید Ⅾejborⅾ, Naviⅾ
ناشر :   صنعتی شریف
سال انتشار  :   1403
موضوع ها :   منطق اثبات پذیری Provability Logic شهود گرایی Intuitionism حساب Arithmetic منطق موجهات...
شماره راهنما :   ‭02-58315

Find in content

sort by

Bookmark

  • پیش‌گفتار (9)
  • مقدمات (14)
    • منطق موجهات شهودگرایانه (14)
    • نظریه‌های حساب (20)
      • نظریه‌های PA و HA (21)
      • حفاظت، محافظت و تعبیرپذیری (26)
      • مدل‌های کریپکی bold0mu mumu HA HA subsubsectionHA HA HA HA (28)
    • منطق اثبات‌پذیری (29)
  • تحقق‌پذیری (32)
    • q-تحقق‌پذیری (32)
    • اصل‌های لیوانت (36)
  • الگوریتم‌های تقریب (40)
    • NNIL (40)
    • TNNIL (43)
    • اصول موضوعه‌ی الگوریتم TNNIL (44)
    • برخی ملاحظات موجهاتی (46)
  • تابع سولووی و تبدیل مدل‌های کریپکی (49)
    • تابع سولووی: تعریف و خواص ابتدایی (49)
    • تصمیم‌پذیری گزاره‌های دار (54)
    • تابع سولووی: همیشه همان (57)
    • تبدیل مدل‌های کریپکی (62)
  • منطق 1 -اثبات‌پذیری HA (64)
    • منطق 1 -اثبات‌پذیری bold0mu mumu PA PA subsectionPA PA PA PA (64)
    • صحت، تمامیت و تصمیم‌پذیری iH (65)
    • صورت‌بندی‌های بدیل (67)
Loading...