Truth Tables APK
نسخه کنونی
3.43 for Windows
به روز شده
2013-11-15
اطلاعات
نسخه 3.43 (#45)
به روز شده 2013-11-15
اندازه پرونده APK 207.1 KB
نسخه Android مورد نیاز Android 2.2+ (Froyo)
برنامه نویس Erpelstolz
رده آموزش (برنامه)
ID at.ac.univie.phl.logik.android.truthtables
یادداشت های توسعه دهنده حقیقت استفاده از جدول برای منطق کلاسیک و برای تعدادی از سیستم های غیر کلاسیک
تصویر نماگرفت
برای دیدن اندازه اصلی روی عکس کلیک کنید
فهرست مطالب
قابلیت های جدید
تازه چه خبر در Truth Tables 3.43 است
* NAND and NOR are more prominent for most screen sizes (requested by a user)
* cleaning up layouts (please report any problem with exotic devices)
* allowing "*" and "+" for conjunction and disjunction, respectively (requested by a user)
* optionally showing separator lines between main columns (requested by a user)
* on-screen keyboard optionally showing the propositional letters A, B, C,... instead of P, Q, R,... (requested by a user)
* cleaning up layouts (please report any problem with exotic devices)
* allowing "*" and "+" for conjunction and disjunction, respectively (requested by a user)
* optionally showing separator lines between main columns (requested by a user)
* on-screen keyboard optionally showing the propositional letters A, B, C,... instead of P, Q, R,... (requested by a user)
شرح
تنها هدف از این برنامه ایجاد و نمایش، جداول حقیقت است.
این نسخه رایگان با پشتیبانی از ادات معمول در منطق کلاسیک، که نفی، همراه، (فراگیر) ترکیب فصلی، conditonal (مفهوم مواد)، و biconditional (هم ارزی ماده)، و همچنین ثابت 1 و 0 دلالت حق و باطل است، بود. نکته جالب این است که، علاوه بر نت نویسی تا حدودی خسته کننده استاندارد از منطق، شما ممکن است جریان اندود شده، نشان گذاری لهستانی براق Lukasiewicz استفاده کنید، بیش از حد.
و آن را در اینجا متوقف نمی شود. اگر شما، نوع را به زمین مشترک احساس شخص، شما را پیدا خواهد کرد آن اطمینان بخش است که، به طور پیش فرض، این برنامه با استفاده کلاسیک، دو ارزش، منطق. اما اگر شما بیشتر از نوع پرماجرا هستند، هرگز توقف کوتاه از شرکت، شما خوشحال به یاد بگیرند که جدول درستی برای آندروید پشتیبانی از تعدادی از غیر کلاسیک، سیستم های چند مقداری از منطق، بیش از حد. هرگز یک رودخانه دو بار وارد کنید، و دو منفی را تأیید را ندارد، پس به صحبت می کنند!
این نسخه رایگان با پشتیبانی از ادات معمول در منطق کلاسیک، که نفی، همراه، (فراگیر) ترکیب فصلی، conditonal (مفهوم مواد)، و biconditional (هم ارزی ماده)، و همچنین ثابت 1 و 0 دلالت حق و باطل است، بود. نکته جالب این است که، علاوه بر نت نویسی تا حدودی خسته کننده استاندارد از منطق، شما ممکن است جریان اندود شده، نشان گذاری لهستانی براق Lukasiewicz استفاده کنید، بیش از حد.
و آن را در اینجا متوقف نمی شود. اگر شما، نوع را به زمین مشترک احساس شخص، شما را پیدا خواهد کرد آن اطمینان بخش است که، به طور پیش فرض، این برنامه با استفاده کلاسیک، دو ارزش، منطق. اما اگر شما بیشتر از نوع پرماجرا هستند، هرگز توقف کوتاه از شرکت، شما خوشحال به یاد بگیرند که جدول درستی برای آندروید پشتیبانی از تعدادی از غیر کلاسیک، سیستم های چند مقداری از منطق، بیش از حد. هرگز یک رودخانه دو بار وارد کنید، و دو منفی را تأیید را ندارد، پس به صحبت می کنند!
رأی و نظرات
رتبه: 4.1 / 5 · 5+ رأی
(*) مورد نیاز است
