• صفحه اصلی
  • جستجوی پیشرفته
  • فهرست کتابخانه ها
  • درباره پایگاه
  • ارتباط با ما
  • تاریخچه

عنوان
Why prove it again? :

پدید آورنده
John W. Dawson, Jr., with the assistance of Bruce S. Babcock and with a chapter by Steven H. Weintraub

موضوع
Proof theory.

رده
QA9
.
54

کتابخانه
مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی

محل استقرار
استان: قم ـ شهر: قم

مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی

تماس با کتابخانه : 32910706-025

شابک

شابک
3319173685
شابک
9783319173689
شابک اشتباه
3319173677
شابک اشتباه
9783319173672

شماره کتابشناسی ملی

شماره
dltt

عنوان و نام پديدآور

عنوان اصلي
Why prove it again? :
نام عام مواد
[Book]
ساير اطلاعات عنواني
alternative proofs in mathematical practice /
نام نخستين پديدآور
John W. Dawson, Jr., with the assistance of Bruce S. Babcock and with a chapter by Steven H. Weintraub

مشخصات ظاهری

نام خاص و کميت اثر
1 online resource (xi, 204 pages) :
ساير جزييات
illustrations

یادداشتهای مربوط به کتابنامه ، واژه نامه و نمایه های داخل اثر

متن يادداشت
Includes bibliographical references and index

یادداشتهای مربوط به مندرجات

متن يادداشت
Proofs in Mathematical Practice -- Motives for Finding Alternative Proofs -- Sums of Integers -- Quadratic Surds -- The Pythagorean Theorem -- The Fundamental Theorem of Arithmetic -- The Infinitude of the Primes -- The Fundamental Theorem of Algebra -- Desargues's Theorem -- The Prime Number Theorem -- The Irreducibility of the Cyclotomic Polynomials -- The Compactness of First-Order Languages -- Other Case Studies
بدون عنوان
0

ویراست دیگر از اثر در قالب دیگر رسانه

عنوان
Why Prove it Again?
شماره استاندارد بين المللي کتاب و موسيقي
3319173677

موضوع (اسم عام یاعبارت اسمی عام)

موضوع مستند نشده
Proof theory.

مقوله موضوعی

موضوع مستند نشده
MAT-- 000000

رده بندی ديویی

شماره
511
.
3
ويراست
23

رده بندی کنگره

شماره رده
QA9
.
54

نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )

مستند نام اشخاص تاييد نشده
Dawson, John W., (John William),1944-

نام تنالگان _ (مسئولیت معنوی برابر)

مستند نام تنالگان تاييد نشده
Ohio Library and Information Network.

مبدا اصلی

تاريخ عمليات
20150814093544.5
قواعد فهرست نويسي ( بخش توصيفي )
pn

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

نام الکترونيکي
 مطالعه متن کتاب 

اطلاعات رکورد کتابشناسی

نوع ماده
[Book]

اطلاعات دسترسی رکورد

تكميل شده
Y

پیشنهاد / گزارش اشکال

اخطار! اطلاعات را با دقت وارد کنید
ارسال انصراف
این پایگاه با مشارکت موسسه علمی - فرهنگی دارالحدیث و مرکز تحقیقات کامپیوتری علوم اسلامی (نور) اداره می شود
مسئولیت صحت اطلاعات بر عهده کتابخانه ها و حقوق معنوی اطلاعات نیز متعلق به آنها است
برترین جستجوگر - پنجمین جشنواره رسانه های دیجیتال