کسر نرم افزار آموزشی طراحی شده برای کمک به دانش آموزان اثبات در منطق صوری یادگیری است. این نظر گرفته شده است به توسط مدرسان و دانش آموزان از دوره منطق در سطح کالج در فلسفه، ریاضیات و علوم کامپیوتر مورد استفاده قرار گیرد. آن را می دهد بازخورد فوری در هر مرحله از اثبات، نکات در مورد چگونگی تکمیل اثبات فراهم می کند، و همراه با مجموعه ای از آموزش های ویدئویی است که توضیح و بررسی چند مفاهیم چالش برانگیز در منطق. کسر هدف برای حل سه مشکل که اثبات جزء سخت ترین دوره های منطق صوری: نمی دانستند که آیا قوانین به درستی اعمال شود، شدن در وسط اثبات، و عدم اطمینان در مورد قوانین و استراتژی های گیر کرده است. کسر آدرس این مسائل توسط ضعیف اشتباهات، از جمله یک موتور اشاره به پیشنهادات در مورد چگونگی تکمیل اثبات، و داشتن آموزش های چند رسانه ای از طریق قوانین پیچیده کمک به دانش آموزان. ویژگی های برجسته: 1. کتاب های درسی: کسر طراحی شده است به کار یکپارچه با کتاب های درسی زیر است: (من) منطق کتاب (توسط برگمان، مور، و نلسون)، (ب) مدرن رسمی منطق پرایمر (پل تلر)، (III ) جدی مقدمه به منطق ریاضی (توسط تونی روی). 2. خطاها ضعیف - خطا در اثبات کسر پرچم به عنوان به زودی به عنوان آنها رخ می دهد. این مهم است، چرا که وقتی دانش آموزان برای اولین بار از اثبات یادگیری، کسر مانع از دانش آموزان از یادگیری قواعد اشتباه است. 3. نکته موتور - کسر نکات در مورد چگونگی تکمیل اثبات فراهم می کند. هنگامی که دانش آموزان را در وسط یک اثبات گیر، کسر نشان می دهد که چگونه به پیشرفت. 4. آموزش های چند رسانه ای - کسر می آید با یک مجموعه ای از آموزش های چند رسانه ای، به دو گروه تقسیم می شوند: نحوه استفاده از کسر برای یادگیری منطق، و چگونگی استفاده از قوانین منطق. 5. انعطاف پذیری - کسر طراحی شده است برای کار با بسیاری از سیستم های منطق های مختلف و کتاب های درسی. هر دو علامت استاندارد و جایگزین را شامل می شوند، و همچنین به عنوان قواعد که ممکن است روشن و خاموش به صورت جداگانه. 6. مدرن طراحی - کسر فراهم می کند رابط مدرن است. به عنوان یک ورودی جدید را به یک میدان است که بسیاری از به روز رسانی در سال های اخیر دیده نشده است (بسیاری از برنامه های منطق برای داس، ویندوز 9x نوشته شده است، و یا اپلتها جاوا ابتدایی هستند)، کسر اهرم فن آوری از سیستم عامل مک X به ارائه یک رابط کاربر تمیز، کشیدن و رها کردن پشتیبانی، و یک سیستم راهنما جامع. 7. کارآمد تر از کاغذ - کسر طول می کشد مراقبت از جزئیات ویرایش توسط به طور خودکار تنظیم اثبات زمانی که خطوط اضافه می شوند، حذف و یا نقل مکان کرد
چه در این نسخه جدید است:
به اضافه پشتیبانی می کند. برای سیستم حکومت منطق کتاب PD +
اضافه شده پشتیبانی از دسترس مقدمه ND سیستم حکومت +
اضافه توانایی صادرات کسر به یک فایل متنی
اضافه توانایی صادرات کسر به قطعه لیتک
محدودیت ها:
فقط قوانین کسر زیر را در نسخه آزمایشی موجود است: فرض، فرض، تکرار، پیوند و اتصال مقدمه، پیوند و اتصال رفع، مقدمه شرطی، مشروط رفع، ریشه یابی لغات مقدمه، ریشه یابی لغات رفع
نظر یافت نشد