Formal Specification and Verification

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

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

به صورت آنلاین منتشر شد. - 2006. - 152 ص. انگلیسی. (OCR-слой). [Prof. پ.ح. اشمیت. Fakultat fur Informatik. دانشگاه کارلسروهه (TH).
نظریه مجموعه‌های بدیهی. Sommer 2006]. محتواها.
Zermelo-Fraenkel (ZF) Axiom System (1):</ strong>
توسعه A1.
A2 Foundation.
A3 زیر مجموعه.
A4 Empty set.
Zermelo-Fraenkel Axiom System (2):
مجموعه جفت A5.
مجموعه قدرت A6.
A7 Sum.
A8 Infinity.
Zermelo-Fraenkel Axiom System (3): جایگزینی A9.
A10 Axiom of Choice.
شرایط کلاس.
شرایط کلاس به عنوان مجموعه.
برخی اختصارات برای مجموعه ها.
ادعاهای وجود.
لم در مورد اتحادیه ها و تقاطع ها.
اثبات وجود تقاطع ها.
اثبات وجود اتحادیه ها.
جفت های مرتب شده.
روابط و توابع.
/>اثبات وجود.
اعداد طبیعی N.
تعریف رسمی N.
اصول بدیهیات Peano.
اثبات اصل 4
مجموعه ویژگی های نظری N.
مجموعه های گذرا.
N متعدی است.
رابطه ترتیب در N.
مجموعه ویژگی های نظری N (II ).
قضیه بازگشت.
یکتایی.
ایده اثبات وجود.
جزئیات اثبات وجود.
افزودن اعداد طبیعی.
ضرب اعداد طبیعی.
اعداد صحیح.
ساخت Z.
عملیات روی Z.
رابطه ترتیبی روی Z.

Published online. — 2006. — 152 p. English. (OCR-слой). [Prof. P.H. Schmitt. Fakultat fur Informatik. Universitat Karlsruhe (TH).
Axiomatic Set Theory. Sommer 2006]. Contents.
Zermelo-Fraenkel (ZF) Axiom System (1):
A1 Extensionality.
A2 Foundation.
A3 Subset.
A4 Empty set.
Zermelo-Fraenkel Axiom System (2):
A5 Pair set.
A6 Power set.
A7 Sum.
A8 Infinity.
Zermelo-Fraenkel Axiom System (3):
A9 Replacement.
A10 Axiom of Choice.
Class Terms.
Class Terms as Sets.
Some Abbreviations for Sets.
Existence Claims.
Lemma on Unions and Intersections.
Proof of Existence of Intersections.
Proof of Existence of Unions.
Ordered Pairs.
Relations and Functions.
Existence Proofs.
Natural Numbers N.
Formal Definition of N.
Peano’s Axioms.
Proof of Axiom 4
Set Theoretic Properties of N.
Transitive Sets.
N is transitive.
The order relation on N.
Set Theoretic Properties of N (II).
The Recursion Theorem.
Uniqueness.
Idea of Existence Proof.
Details of Existence Proof.
Addition of natural numbers.
Multiplication of natural numbers.
The Integers.
The construction of Z.
Operations on Z.
Order Relation on Z.