عنوان
پدید آورنده
موضوع
رده
QA9,.54 .F7,L47 2010
QA9
,.
54
.
F7
,
L47
2010
کتابخانه
محل استقرار
شماره کتابشناسی ملی
کد کشور
IR
شماره
988260
زبان اثر
زبان متن نوشتاري يا گفتاري و مانند آن
انگلیسی
کشور محل نشر یا تولید
کشور محل نشر
IR
عنوان و نام پديدآور
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Cambridge, New York
نام ناشر، پخش کننده و غيره
: Cambridge University Press
تاریخ نشرو بخش و غیره
, 2010.
مشخصات ظاهری
نام خاص و کميت اثر
xvi, 176 p.
ساير جزييات
: ill.
فروست
عنوان فروست
(Lecture notes in logic
مشخصه جلد
; 34)
یادداشتهای مربوط به نشر، بخش و غیره
متن يادداشت
Print
یادداشتهای مربوط به کتابنامه ، واژه نامه و نمایه های داخل اثر
متن يادداشت
Bibliography
یادداشتهای مربوط به مندرجات
متن يادداشت
"This book presents a unifying framework for using priority arguments to prove theorems in computability. Priority arguments provide the most powerful theorem-proving technique in the field, but most of the applications of this technique are ad hoc, masking the unifying principles used in the proofs. The proposed framework presented isolates many of these unifying combinatorial principles and uses them to give shorter and easier-to-follow proofs of computability-theoretic theorems. Standard theorems of priority levels 1, 2, and 3 are chosen to demonstrate the framework's use, with all proofs following the same pattern. The last section features a new example requiring priority at all finite levels. The book will serve as a resource and reference for researchers in logic and computability, helping them to prove theorems in a shorter and more transparent manner"--Provided by publisher.
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
Proof theory
موضوع مستند نشده
Priority (Philosophy)
موضوع مستند نشده
Logic, Symbolic and mathematical
موضوع مستند نشده
منطق ریاضی
رده بندی کنگره
شماره رده
QA9
,.
54
نشانه اثر
.
F7
,
L47
2010
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
مستند نام اشخاص تاييد نشده
Lerman,Manuel, 1943-
مبدا اصلی
کشور
ایران
سازمان
Library of Foreign Languages and Islamic resource
وضعیت فهرست نویسی
وضعیت فهرست نویسی
old catalog
وضعیت انتشار
فرمت انتشار
p
اطلاعات رکورد کتابشناسی
نوع ماده
BL
پیشوند ISBD اعمال شده است
1
اطلاعات دسترسی رکورد
سطح دسترسي
a
تكميل شده
Y
