proof
نظریه اثبات پایه
دانلود کتاب Basic Proof Theory (به فارسی: نظریه اثبات پایه) نوشته شده توسط «A. S. Troelstra – H. Schwichtenberg» اطلاعات کتاب نظریه اثبات پایه موضوع اصلی: منطق نوع: کتاب الکترونیکی ناشر: CUP نویسنده: A. S. Troelstra – H. Schwichtenberg زبان: English فرمت کتاب: djvu (قابل تبدیل به سایر فرمت ها) سال انتشار: 1996 تعداد صفحه: 357 حجم کتاب: 3 مگابایت کد کتاب: 9780521572231 , 0521572231 نوبت چاپ: 1st توضیحات کتاب نظریه اثبات پایه این مقدمه بر ایده های اساسی نظریه اثبات ساختاری شامل بحث و مقایسه کامل انواع مختلف رسمی سازی منطق مرتبه اول است. مثالهایی از چندین حوزه کاربردی…
نظریه اثبات
دانلود کتاب Proof Theory (به فارسی: نظریه اثبات) نوشته شده توسط «Gaisi Takeuti» اطلاعات کتاب نظریه اثبات موضوع اصلی: منطق نوع: کتاب الکترونیکی ناشر: North-Holland نویسنده: Gaisi Takeuti زبان: English فرمت کتاب: djvu (قابل تبدیل به سایر فرمت ها) سال انتشار: 1975 تعداد صفحه: 361 حجم کتاب: 3 مگابایت کد کتاب: 9780444104922 , 0444104925 نوبت چاپ: 1st توضیحات کتاب نظریه اثبات با تمرکز بر نظریه اثبات نوع جنتزن، این جلد مروری مفصل از آثار خلاق نویسنده گایسی تاکوتی و دیگر منطقدانان قرن بیستم ارائه میکند. این متن به بررسی کاربردهای نظریه اثبات در منطق و همچنین سایر زمینههای ریاضیات میپردازد.…
نظریه اثبات ساختاری
دانلود کتاب Structural proof theory (به فارسی: نظریه اثبات ساختاری) نوشته شده توسط «Professor Sara Negri – Jan von Plato – Aarne Ranta» اطلاعات کتاب نظریه اثبات ساختاری موضوع اصلی: منطق نوع: کتاب الکترونیکی ناشر: CUP نویسنده: Professor Sara Negri – Jan von Plato – Aarne Ranta زبان: English فرمت کتاب: djvu (قابل تبدیل به سایر فرمت ها) سال انتشار: 2001 تعداد صفحه: 276 حجم کتاب: 2 مگابایت کد کتاب: 9780521793070 , 0521793076 توضیحات کتاب نظریه اثبات ساختاری نظریه برهان ساختاری شاخه ای از منطق است که ساختار کلی و ویژگی های برهان های منطقی و ریاضی را مطالعه می…
شهودگرایی و نظریه اثبات: مجموعه مقالات کنفرانس تابستانی در بوفالو N.Y. 1968
دانلود کتاب Intuitionism and Proof Theory: Proceedings of the Summer Conference at Buffalo N.Y. 1968 (به فارسی: شهودگرایی و نظریه اثبات: مجموعه مقالات کنفرانس تابستانی در بوفالو N.Y. 1968) نوشته شده توسط «Kino A. – Myhill J. – Vesley R.E. (eds.)» اطلاعات کتاب شهودگرایی و نظریه اثبات: مجموعه مقالات کنفرانس تابستانی در بوفالو N.Y. 1968 موضوع اصلی: منطق نوع: کتاب الکترونیکی ناشر: North-Holland Pub. Co. نویسنده: Kino A. – Myhill J. – Vesley R.E. (eds.) زبان: English فرمت کتاب: djvu (قابل تبدیل به سایر فرمت ها) سال انتشار: 1970 تعداد صفحه: 500 حجم کتاب: 4 مگابایت کد کتاب: 0720422574 ,…
کتابچه راهنمای نظریه اثبات
دانلود کتاب Handbook of Proof Theory (به فارسی: کتابچه راهنمای نظریه اثبات) نوشته شده توسط «Samuel R. Buss (Editor)» اطلاعات کتاب کتابچه راهنمای نظریه اثبات موضوع اصلی: منطق نوع: کتاب الکترونیکی ناشر: Elsevier Science نویسنده: Samuel R. Buss (Editor) زبان: English فرمت کتاب: djvu (قابل تبدیل به سایر فرمت ها) سال انتشار: 1998 تعداد صفحه: 821 حجم کتاب: 6 مگابایت کد کتاب: 0444898409 , 9780444898401 توضیحات کتاب کتابچه راهنمای نظریه اثبات این جلد شامل مقالاتی است که طیف وسیعی از نظریه اثبات را با تأکید بر جنبه های ریاضی آن پوشش می دهد. مقالات نه تنها باید برای متخصصان نظریه…
کتاب اثبات
دانلود کتاب Book of proof (به فارسی: کتاب اثبات) نوشته شده توسط «Richard Hammack» اطلاعات کتاب کتاب اثبات موضوع اصلی: منطق نوع: کتاب الکترونیکی ناشر: Virginia Commonwealth University Mathematics نویسنده: Richard Hammack زبان: English فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها) سال انتشار: 2009 تعداد صفحه: 278 حجم کتاب: 2 مگابایت کد کتاب: 0982406207 , 9780982406205 دانلود کتاب «کتاب اثبات»
اثبات و معضلات دیگر: ریاضیات و فلسفه
دانلود کتاب Proof and Other Dilemmas: Mathematics and Philosophy (به فارسی: اثبات و معضلات دیگر: ریاضیات و فلسفه) نوشته شده توسط «Bonnie Gold & Roger A. Simons» اطلاعات کتاب اثبات و معضلات دیگر: ریاضیات و فلسفه موضوع اصلی: ریاضیات نوع: کتاب الکترونیکی ناشر: Mathematical Association of America نویسنده: Bonnie Gold & Roger A. Simons زبان: English فرمت کتاب: djvu (قابل تبدیل به سایر فرمت ها) سال انتشار: 2008 تعداد صفحه: 379 حجم کتاب: 5 مگابایت کد کتاب: 9780883855676 , 0883855674 دانلود کتاب «اثبات و معضلات دیگر: ریاضیات و فلسفه»
منطق شرطی و ترجیحی: روش های اثبات و اثبات قضیه
دانلود کتاب Conditional and Preferential Logics: Proof Methods and Theorem Proving (به فارسی: منطق شرطی و ترجیحی: روش های اثبات و اثبات قضیه) نوشته شده توسط «G.L. Pozzato» اطلاعات کتاب منطق شرطی و ترجیحی: روش های اثبات و اثبات قضیه موضوع اصلی: منطق نوع: کتاب الکترونیکی ناشر: IOS Press نویسنده: G.L. Pozzato زبان: English فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها) سال انتشار: 2010 تعداد صفحه: 209 حجم کتاب: 2 مگابایت کد کتاب: 1607500949 , 9781607500940 توضیحات کتاب منطق شرطی و ترجیحی: روش های اثبات و اثبات قضیه این جلد شامل نسخه اصلاح شده و به روز شده…
مبانی منطقی پیچیدگی اثبات
دانلود کتاب Logical foundations of proof complexity (به فارسی: مبانی منطقی پیچیدگی اثبات) نوشته شده توسط «Stephen Cook – Phuong Nguyen» اطلاعات کتاب مبانی منطقی پیچیدگی اثبات موضوع اصلی: منطق نوع: کتاب الکترونیکی ناشر: Association for Symbolic Logic; Cambridge University Press نویسنده: Stephen Cook – Phuong Nguyen زبان: English فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها) سال انتشار: 2010 تعداد صفحه: 497 حجم کتاب: 3 مگابایت کد کتاب: 052151729X , 9780521517294 نوبت چاپ: 1 توضیحات کتاب مبانی منطقی پیچیدگی اثبات این کتاب به بررسی پیچیدگی محاسباتی و اثبات گزارهای از نقطه نظر پیچیدگی محاسباتی میپردازد. هفت فصل اول…