کدگذاری جهان / A. Beller، گروه علوم کامپیوتر، دانشگاه تمپل، و گروه علوم تصمیم، مدرسه وارتون، دانشگاه پنسیلوانیا، R. Jensen، موسسه Mathematisches، دانشگاه فرایبورگ، P. Welch، موسسه ریاضی، دانشگاه آکسفورد.

عنوان	کدگذاری جهان / A. Beller، گروه علوم کامپیوتر، دانشگاه تمپل، و گروه علوم تصمیم، مدرسه وارتون، دانشگاه پنسیلوانیا، R. Jensen، موسسه Mathematisches، دانشگاه فرایبورگ، P. Welch، موسسه ریاضی، دانشگاه آکسفورد.
تاریخ انتشار:	1982
محل انتشار	کمبریج [کمبریج شایر] ; نیویورک - انتشارات دانشگاه کمبریج، 1982.
موضوع	نظریه مجموعه های بدیهی، منطق، نمادین و ریاضیات
نوع	كتاب
زبان	عربی
دیجیتال	خیر
نسخه خطی	خیر
تعداد صفحات	353
ابعاد فیزیکی	23 cm
کتابخانه:	The Institute for Advanced Study (IAS)
شماره ثبت	3100001~!1402~!78
محل کتابخانه	پشته های ریاضی
تاریخ	1982
یادداشت‌ها	شامل منابع کتابشناختی (صفحات 347-348) و نمایه ها، هزینه حق چاپ فعلی: 22.50 GBP. شامل منابع کتابشناختی (صفحات 347-348) و نمایه ها، هزینه حق چاپ فعلی: 22.50 GBP. 1402. 353 صفحه ; 23 سانتی متر
متن نمونه	نظریه مجموعه‌های بدیهی دغدغه این کتاب است. به‌ویژه، نویسندگان نتایجی را در مورد کدگذاری مدل‌های M، نظریه مجموعه‌های زرملو-فرانکل همراه با فرضیه پیوستار تعمیم‌یافته با استفاده از ساخت کلاس «اجباری» اثبات می‌کنند. با این روش M را به مدل دیگری L[a] با همان ویژگی‌ها گسترش می‌دهند. که تمام ساختار کاردینالیتی و همبستگی M را کد می کند. برخی از برنامه ها نیز در نظر گرفته می شوند." - ناشر
İçindekiler	The building blocks -- The conditions -- Distributivity -- The denoument -- Applications -- The fine-structural lemmas -- The Cohen-generic sets -- How to get rid of " ¬0#" -- Some further applications.
ISBN	9780521280402, 0521280400, 0521280404, 0521280400, 0521280480
Seri	London Mathematical Society lecture note series 47, London Mathematical Society lecture note series 47.

مشاهده در منبع The Institute for Advanced Study (IAS)

The Institute for Advanced Study (IAS)

کدگذاری جهان / A. Beller، گروه علوم کامپیوتر، دانشگاه تمپل، و گروه علوم تصمیم، مدرسه وارتون، دانشگاه پنسیلوانیا، R. Jensen، موسسه Mathematisches، دانشگاه فرایبورگ، P. Welch، موسسه ریاضی، دانشگاه آکسفورد.

تاریخ انتشار 1982

محل انتشار کمبریج [کمبریج شایر] ; نیویورک - انتشارات دانشگاه کمبریج، 1982.

موضوع نظریه مجموعه های بدیهی، منطق، نمادین و ریاضیات

نوع كتاب

زبان عربی

دیجیتال خیر

نسخه خطی خیر

تعداد صفحات 353

ابعاد فیزیکی 23 cm

کتابخانه The Institute for Advanced Study (IAS)

شماره ثبت 3100001~!1402~!78

محل کتابخانه پشته های ریاضی

تاریخ 1982

یادداشت‌ها شامل منابع کتابشناختی (صفحات 347-348) و نمایه ها، هزینه حق چاپ فعلی: 22.50 GBP. شامل منابع کتابشناختی (صفحات 347-348) و نمایه ها، هزینه حق چاپ فعلی: 22.50 GBP. 1402. 353 صفحه ; 23 سانتی متر

متن نمونه نظریه مجموعه‌های بدیهی دغدغه این کتاب است. به‌ویژه، نویسندگان نتایجی را در مورد کدگذاری مدل‌های M، نظریه مجموعه‌های زرملو-فرانکل همراه با فرضیه پیوستار تعمیم‌یافته با استفاده از ساخت کلاس «اجباری» اثبات می‌کنند. با این روش M را به مدل دیگری L[a] با همان ویژگی‌ها گسترش می‌دهند. که تمام ساختار کاردینالیتی و همبستگی M را کد می کند. برخی از برنامه ها نیز در نظر گرفته می شوند." - ناشر

İçindekiler The building blocks -- The conditions -- Distributivity -- The denoument -- Applications -- The fine-structural lemmas -- The Cohen-generic sets -- How to get rid of " ¬0#" -- Some further applications.

ISBN 9780521280402, 0521280400, 0521280404, 0521280400, 0521280480

Seri London Mathematical Society lecture note series 47, London Mathematical Society lecture note series 47.