دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Hyperproof
دانلود کتاب ضد آب
مشخصات کتاب
Hyperproof
ویرایش: [1 ed.]
نویسندگان: Jon Barwise. John Etchemendy
سری: Center for the Study of Language and Information - CSLI Lecture Notes 42
ISBN (شابک) : 1881526119, 1101191252
ناشر: CSLI Publications
سال نشر: 1994
تعداد صفحات: 266
زبان: English
فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 2 Mb
قیمت کتاب (تومان) : 59,000
در صورت تبدیل فایل کتاب Hyperproof به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب ضد آب نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب ضد آب
Hyperproof سیستمی برای یادگیری اصول استدلال تحلیلی و ساخت اثبات است که از یک متن و یک برنامه نرم افزار مکینتاش تشکیل شده است. برخلاف روش‌های سنتی منطق مرتبه اول، Hyperproof اطلاعات گرافیکی و جمله‌ای را با هم ترکیب می‌کند و مجموعه‌ای از قوانین منطقی را برای ادغام این اشکال مختلف اطلاعات ارائه می‌کند. این استراتژی به دانش آموزان اجازه می دهد تا به جای ساختار نحوی جملات، بر محتوای اطلاعاتی اثبات ها تمرکز کنند. با استفاده از Hyperproof، دانش آموز یاد می گیرد که با استفاده از یک سیستم اثبات شهودی که مجموعه استاندارد قوانین جمله ای را برای ترکیب اطلاعات نمایش داده شده به صورت گرافیکی، اثبات می کند، اثبات هایی برای پیامد و عدم نتیجه بسازد. Hyperproof با سیستم‌های اثباتی مختلف به سبک کسر طبیعی، از جمله سیستم مورد استفاده در زبان منطق درجه اول نویسنده، سازگار است.
توضیحاتی درمورد کتاب به خارجی
Hyperproof is a system for learning the principles of analytical reasoning and proof construction, consisting of a text and a Macintosh software program. Unlike traditional treatments of first-order logic, Hyperproof combines graphical and sentential information, presenting a set of logical rules for integrating these different forms of information. This strategy allows students to focus on the information content of proofs, rather than the syntactic structure of sentences. Using Hyperproof the student learns to construct proofs of both consequence and nonconsequence using an intuitive proof system that extends the standard set of sentential rules to incorporate information represented graphically. Hyperproof is compatible with various natural-deduction-style proof systems, including the system used in the authors' Language of First-Order Logic.
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Juan Bautista De Anza: Basque Explorer in the New World, 1693-1740 (The Basque Series)
دانلود کتاب Handbook of Combinatorics
دانلود کتاب Die Wirthschaftliche Krisis
