proofs
عادی سازی، حذف حذف و تئوری اثبات
دانلود کتاب Normalization, cut-elimination and the theory of proofs (به فارسی: عادی سازی، حذف حذف و تئوری اثبات) نوشته شده توسط «A. M. Ungar» اطلاعات کتاب عادی سازی، حذف حذف و تئوری اثبات موضوع اصلی: منطق نوع: کتاب الکترونیکی ناشر: CSLI Publications نویسنده: A. M. Ungar زبان: English فرمت کتاب: djvu (قابل تبدیل به سایر فرمت ها) سال انتشار: 1992 تعداد صفحه: 245 حجم کتاب: 3 مگابایت کد کتاب: 0937073830 , 9780937073834 نوبت چاپ: 1 توضیحات کتاب عادی سازی، حذف حذف و تئوری اثبات قضیه حذف برش گنتزن به طور گسترده ای به عنوان ابزاری برای تحقیقات فرا ریاضی استفاده…
جهان ریاضی: سفری الفبایی در میان شواهد، مسائل و اشخاص بزرگ
دانلود کتاب The mathematical universe: An alphabetical journey through the great proofs, problems, and persons (به فارسی: جهان ریاضی: سفری الفبایی در میان شواهد، مسائل و اشخاص بزرگ) نوشته شده توسط «William Dunham» اطلاعات کتاب جهان ریاضی: سفری الفبایی در میان شواهد، مسائل و اشخاص بزرگ موضوع اصلی: ریاضیات نوع: کتاب الکترونیکی ناشر: Wiley نویسنده: William Dunham زبان: English فرمت کتاب: djvu (قابل تبدیل به سایر فرمت ها) سال انتشار: 1994 تعداد صفحه: 311 حجم کتاب: 7 مگابایت کد کتاب: 9780471536567 , 0471536563 توضیحات کتاب جهان ریاضی: سفری الفبایی در میان شواهد، مسائل و اشخاص بزرگ “اگر می خواهید علاقه…
مهره و پیچ و مهره اثبات
دانلود کتاب The nuts and bolts of proofs (به فارسی: مهره و پیچ و مهره اثبات) نوشته شده توسط «Antonella Cupillari» اطلاعات کتاب مهره و پیچ و مهره اثبات موضوع اصلی: ابتدایی نوع: کتاب الکترونیکی ناشر: Elsevier نویسنده: Antonella Cupillari زبان: English فرمت کتاب: djvu (قابل تبدیل به سایر فرمت ها) سال انتشار: 2005 تعداد صفحه: 193 حجم کتاب: 2 مگابایت کد کتاب: 9780120885091 , 0120885093 نوبت چاپ: 3ed. توضیحات کتاب مهره و پیچ و مهره اثبات مهره‌ها و پیچ‌های اثبات به دانش‌آموزان در مورد منطق پایه اثبات‌های ریاضی آموزش می‌دهد و نشان می‌دهد که چگونه و چرا اثبات‌های گزاره‌های…
حساب رایگان: رهایی از مفاهیم و اثبات ها
دانلود کتاب Free Calculus: A Liberation from Concepts and Proofs (به فارسی: حساب رایگان: رهایی از مفاهیم و اثبات ها) نوشته شده توسط «Qun Lin» اطلاعات کتاب حساب رایگان: رهایی از مفاهیم و اثبات ها موضوع اصلی: تحلیل و بررسی نوع: کتاب الکترونیکی ناشر: World Scientific Publishing Company نویسنده: Qun Lin زبان: English فرمت کتاب: djvu (قابل تبدیل به سایر فرمت ها) سال انتشار: 2008 تعداد صفحه: 109 حجم کتاب: 1 مگابایت کد کتاب: 9812704582 , 9789812704580 دانلود کتاب «حساب رایگان: رهایی از مفاهیم و اثبات ها»
شواهدی از کتاب
دانلود کتاب Proofs from THE BOOK (به فارسی: شواهدی از کتاب) نوشته شده توسط «Martin Aigner – Günter M. Ziegler (auth.)» اطلاعات کتاب شواهدی از کتاب موضوع اصلی: ریاضیات نوع: کتاب الکترونیکی ناشر: Springer Berlin Heidelberg نویسنده: Martin Aigner – Günter M. Ziegler (auth.) زبان: English فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها) سال انتشار: 2010 تعداد صفحه: 265 حجم کتاب: 4 مگابایت کد کتاب: 9783642008559 , 3642008550 نوبت چاپ: 4th ed. توضیحات کتاب شواهدی از کتاب این ویرایش چهارم بازبینی شده و بزرگ‌شده «اثباتی از کتاب» دارای پنج فصل جدید است که نتایج کلاسیکی مانند «قضیه‌ی بنیادی…
شواهدی از کتاب
دانلود کتاب Proofs from the book (به فارسی: شواهدی از کتاب) نوشته شده توسط «Martin Aigner – Günter M. Ziegler – Karl H. Hofmann» اطلاعات کتاب شواهدی از کتاب موضوع اصلی: ریاضیات نوع: کتاب الکترونیکی ناشر: Springer نویسنده: Martin Aigner – Günter M. Ziegler – Karl H. Hofmann زبان: English فرمت کتاب: djvu (قابل تبدیل به سایر فرمت ها) سال انتشار: 2003 تعداد صفحه: 220 حجم کتاب: 4 مگابایت کد کتاب: 9783540404606 , 9783540636984 , 3540404600 , 3540636986 نوبت چاپ: 3rd توضیحات کتاب شواهدی از کتاب از بررسی‌ها: “… درون PFTB (مدرک‌هایی از کتاب) در واقع نگاهی اجمالی به بهشت…
تطبیق مدارک به عنوان برنامه: پروتکل کری هاوارد
دانلود کتاب Adapting Proofs-as-Programs : The Curry-Howard Protocol (به فارسی: تطبیق مدارک به عنوان برنامه: پروتکل کری هاوارد) نوشته شده توسط «Iman Poernomo – John N. Crossley – Martin Wirsing» اطلاعات کتاب تطبیق مدارک به عنوان برنامه: پروتکل کری هاوارد موضوع اصلی: کامپیوترها نوع: کتاب الکترونیکی ناشر: Springer نویسنده: Iman Poernomo – John N. Crossley – Martin Wirsing زبان: English فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها) سال انتشار: 2005 تعداد صفحه: 417 حجم کتاب: 2 مگابایت کد کتاب: 0387237593 , 9780387281834 , 9780387237596 نوبت چاپ: 1 توضیحات کتاب تطبیق مدارک به عنوان برنامه: پروتکل کری هاوارد این…
حساب رایگان: رهایی از مفاهیم و شواهد
دانلود کتاب Free Calculus: A Liberation from Concepts and Proofs (به فارسی: حساب رایگان: رهایی از مفاهیم و شواهد) نوشته شده توسط «Qun Lin» اطلاعات کتاب حساب رایگان: رهایی از مفاهیم و شواهد موضوع اصلی: تحلیل و بررسی نوع: کتاب الکترونیکی ناشر: World Scientific Publishing Company نویسنده: Qun Lin زبان: English فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها) سال انتشار: 2008 تعداد صفحه: 109 حجم کتاب: 5 مگابایت کد کتاب: 9812704582 , 9789812704580 توضیحات کتاب حساب رایگان: رهایی از مفاهیم و شواهد حساب مرسوم بسیار سخت و پیچیده است. دانش آموزان مجبورند قضایای و برهان های زیادی را…
نحوه خواندن و انجام اثبات: مقدمه ای بر فرآیند تفکر ریاضی
دانلود کتاب How to Read and Do Proofs : An Introduction to Mathematical Thought Process (به فارسی: نحوه خواندن و انجام اثبات: مقدمه ای بر فرآیند تفکر ریاضی) نوشته شده توسط «Daniel Solow» اطلاعات کتاب نحوه خواندن و انجام اثبات: مقدمه ای بر فرآیند تفکر ریاضی موضوع اصلی: ریاضیات نوع: کتاب الکترونیکی ناشر: John Wiley & Sons نویسنده: Daniel Solow زبان: English فرمت کتاب: djvu (قابل تبدیل به سایر فرمت ها) سال انتشار: 1982 تعداد صفحه: 189 حجم کتاب: 2 مگابایت کد کتاب: 0471866458 , 9780471866459 دانلود کتاب «نحوه خواندن و انجام اثبات: مقدمه ای بر فرآیند تفکر ریاضی»
مدارک و مبانی: اولین دوره در ریاضیات انتزاعی
دانلود کتاب Proofs and Fundamentals: A First Course in Abstract Mathematics (به فارسی: مدارک و مبانی: اولین دوره در ریاضیات انتزاعی) نوشته شده توسط «Ethan D. Bloch» اطلاعات کتاب مدارک و مبانی: اولین دوره در ریاضیات انتزاعی موضوع اصلی: ریاضیات نوع: کتاب الکترونیکی ناشر: Birkhäuser Boston نویسنده: Ethan D. Bloch زبان: English فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها) سال انتشار: 2000 تعداد صفحه: 444 حجم کتاب: 20 مگابایت کد کتاب: 0817641114 , 9780817641115 نوبت چاپ: 1 توضیحات کتاب مدارک و مبانی: اولین دوره در ریاضیات انتزاعی یک روز این کتاب را از کتابفروشی برداشتم، شروع به خواندن…