Tarski's World: Revised and Expanded

ویرایش:  
نویسندگان: David Barker-Plummer,  Jon Barwise,  John Etchemendy  
سری: Center for the Study of Language and Information - Lecture Notes 
ISBN (شابک) : 1575864843, 9781575864846 
ناشر: CSLI Publications 
سال نشر: 2007 
تعداد صفحات: 144 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 1 Mb 

قیمت کتاب (تومان) : 51,000

دنیای تارسکی یک روش ابتکاری و هیجان انگیز برای آشنا کردن دانش آموزان با زبان منطق درجه اول است. با استفاده از بسته درسی، دانش آموزان به سرعت بر معانی اتصالات و واجد شرایط تسلط پیدا می کنند و به زودی به زبان نمادین در هسته منطق مدرن مسلط می شوند. این برنامه به دانش آموزان اجازه می دهد تا جهان های سه بعدی بسازند و سپس آنها را در منطق مرتبه اول توصیف کنند. این برنامه که با فرمت‌های مکینتاش و رایانه شخصی سازگار است، همچنین حاوی یک ابزار اصلاحی منحصربه‌فرد و مؤثر در قالب یک بازی است که دانش‌آموزان را در صورت ارزیابی اشتباه جملات در جهان‌های ساخته‌شده، به‌طور روشمند به اشتباهات خود بازمی‌گرداند.

یکی از ویژگی‌های کاملاً جدید در این نسخه اصلاح‌شده و توسعه‌یافته، دسترسی دانش‌آموزان به Grade Grinder است، یک سرویس نوآورانه درجه‌بندی مبتنی بر اینترنت که هر زمان که دانش‌آموزان به آن نیاز داشته باشند، بازخورد دقیق و به‌موقع ارائه می‌کند. دانش‌آموزان می‌توانند راه‌حل‌های بیش از 100 تمرین برنامه را برای ارزیابی به Grade Grinder ارسال کنند و نتایج به سرعت به دانش‌آموزان و به صورت اختیاری به معلم نیز بازگردانده می‌شود. یک رابط مبتنی بر وب همچنین به مربیان اجازه می دهد تا تکالیف و نمرات کلاس های خود را مدیریت کنند.

به عنوان مکملی برای متن منطقی استاندارد، Tarski's World یک ابزار ضروری برای کمک به دانش آموزان در یادگیری است. زبان منطق.

 

Tarski’s World is an innovative and exciting method of introducing students to the language of first-order logic. Using the courseware package, students quickly master the meanings of connectives and qualifiers and soon become fluent in the symbolic language at the core of modern logic. The program allows students to build three-dimensional worlds and then describe them in first-order logic. The program, compatible with Macintosh and PC formats, also contains a unique and effective corrective tool in the form of a game, which methodically leads students back through their errors if they wrongly evaluate the sentences in the constructed worlds.

A brand new feature in this revised and expanded edition is student access to Grade Grinder, an innovative Internet-based grading service that provides accurate and timely feedback to students whenever they need it. Students can submit solutions for the program’s more than 100 exercises to the Grade Grinder for assessment, and the results are returned quickly to the students and optionally to the teacher as well. A web-based interface also allows instructors to manage assignments and grades for their classes.

Intended as a supplement to a standard logic text, Tarski’s World is an essential tool for helping students learn the language of logic.