دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
دسته بندی: سیستم های اطلاعاتی ویرایش: نویسندگان: Peter Aczel, Harold Simmons, Stanley S. Wainer سری: ISBN (شابک) : 052141413X, 9780521414135 ناشر: Cambridge University Press سال نشر: 1993 تعداد صفحات: 316 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 9 مگابایت
در صورت تبدیل فایل کتاب Proof Theory: A selection of papers from the Leeds Proof Theory Programme 1990 به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب نظریه اثبات: گزیده ای از مقالات از برنامه تئوری اثبات لیدز 1990 نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
این کار از کنفرانس تابستانی مدرسه تابستانی SERC \"منطق برای IT\" در نظریه اثبات که در دانشگاه لیدز برگزار شد، مشتق شده است. این کمکها از سوی کارشناسان شناختهشده ارائه میشود و شامل مقالات توضیحی و تحقیقاتی است که مقدمهای ارزشمند برای نظریه اثبات با هدف ریاضیدانان و دانشمندان رایانه تشکیل میدهد.
This work is derived from the SERC "Logic for IT" Summer School Conference on Proof Theory held at Leeds University. The contributions come from acknowledged experts and comprise expository and research articles which form an invaluable introduction to proof theory aimed at both mathematicians and computer scientists.