ورود به حساب

نام کاربری گذرواژه

گذرواژه را فراموش کردید؟ کلیک کنید

حساب کاربری ندارید؟ ساخت حساب

ساخت حساب کاربری

نام نام کاربری ایمیل شماره موبایل گذرواژه

برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید


09117307688
09117179751

در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید

دسترسی نامحدود

برای کاربرانی که ثبت نام کرده اند

ضمانت بازگشت وجه

درصورت عدم همخوانی توضیحات با کتاب

پشتیبانی

از ساعت 7 صبح تا 10 شب

دانلود کتاب Set Theory in Computer Science - A Gentle Introduction to Mathematical Modeling I

دانلود کتاب نظریه مجموعه ها در علوم کامپیوتر - مقدمه ای ملایم بر مدل سازی ریاضی I

Set Theory in Computer Science - A Gentle Introduction to Mathematical Modeling I

مشخصات کتاب

Set Theory in Computer Science - A Gentle Introduction to Mathematical Modeling I

دسته بندی: منطق
ویرایش:  
نویسندگان:   
سری:  
 
ناشر:  
سال نشر:  
تعداد صفحات: 183 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 2 مگابایت

قیمت کتاب (تومان) : 80,000



کلمات کلیدی مربوط به کتاب نظریه مجموعه ها در علوم کامپیوتر - مقدمه ای ملایم بر مدل سازی ریاضی I: ریاضیات، منطق ریاضی، نظریه مجموعه ها



ثبت امتیاز به این کتاب

میانگین امتیاز به این کتاب :
       تعداد امتیاز دهندگان : 22


در صورت تبدیل فایل کتاب Set Theory in Computer Science - A Gentle Introduction to Mathematical Modeling I به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب نظریه مجموعه ها در علوم کامپیوتر - مقدمه ای ملایم بر مدل سازی ریاضی I نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.


توضیحاتی در مورد کتاب نظریه مجموعه ها در علوم کامپیوتر - مقدمه ای ملایم بر مدل سازی ریاضی I

دانشگاه ایلینوی در Urbana-Champaign Urbana, IL 61801, USA, 2011. — 183 p.
فهرست مطالب:
انگیزه.
نظریه مجموعه‌ها به عنوان یک نظریه بدیهی /> روابط، توابع و مجموعه توابع.
بازگشت ساده و اولیه، و بدیهیات Peano.
مطالعه موردی: زبان Peano.
روابط دودویی در یک مجموعه.
مورد مطالعه: Fixpoint Semantics of Recursive Functions and Lispy.
مجموعه ها در اندازه های مختلف هستند.
مجموعه های I-Indexed.
از I-Indexed Sets تا Sets و اصل انتخاب.
روابط مستدل، و استقراء و بازگشت کاملاً بنیادی.
اعداد اصلی و محاسبات اصلی.
طبقات، روابط و توابع درونی، و جایگزینی.
مطالعه موردی: انواع وابسته و چند شکلی در Maude.
Well Orders، Ordinals، Cardinals، و Trans ساختارهای متناهی.
مجموعه‌های با پایه و اساس و اصل پایه.

توضیحاتی درمورد کتاب به خارجی

University of Illinois at Urbana-Champaign Urbana, IL 61801, USA, 2011. — 183 p.
Table of Contents:
Motivation.
Set Theory as an Axiomatic Theory.
The Empty Set, Extensionality, and Separation.
Pairing, Unions, Powersets, and Infinity.
Case Study: A Computable Model of Hereditarily Finite Sets.
Relations, Functions, and Function Sets.
Simple and Primitive Recursion, and the Peano Axioms.
Case Study: The Peano Language.
Binary Relations on a Set.
Case Study: Fixpoint Semantics of Recursive Functions and Lispy.
Sets Come in Different Sizes.
I-Indexed Sets.
From I-Indexed Sets to Sets, and the Axiom of Choice.
Well-Founded Relations, and Well-Founded Induction and Recursion.
Cardinal Numbers and Cardinal Arithmetic.
Classes, Intensional Relations and Functions, and Replacement.
Case Study: Dependent and Polymorphic Types in Maude.
Well Orders, Ordinals, Cardinals, and Transfinite Constructions.
Well-Founded Sets and The Axiom of Foundation.




نظرات کاربران

تمامی حقوق معنوی و مادی وبسایت متعلق به اینترنشنال لایبرری می باشد