ছাত্র আনুষ্ঠানিক যুক্তি প্রমাণ শিখতে সাহায্য করার জন্য ডিজাইন করা শিক্ষাগত সফ্টওয়্যার
বিয়োগ হয়. এটা প্রশিক্ষক এবং দর্শন, গণিত ও কম্পিউটার বিজ্ঞান মধ্যে কলেজ পর্যায়ের যুক্তি কোর্স ছাত্র দ্বারা ব্যবহার করা দেয়ার উদ্দেশ্যে করা হচ্ছে. এটি একটি প্রমাণ প্রতিটি পর্যায়ে তাৎক্ষণিক প্রতিক্রিয়া দেয় প্রমাণ সম্পন্ন করার জন্য কিভাবে সম্পর্কে ইঙ্গিত প্রদান করে, এবং ব্যাখ্যা এবং যুক্তি কয়েকটি চ্যালেঞ্জিং ধারণার পর্যালোচনা যে ভিডিও টিউটোরিয়াল একটি সেট দিয়ে আসে. নিয়ম নিয়ম এবং কৌশল সম্পর্কে একটি প্রমাণ মধ্যম, এবং অনিশ্চয়তার মধ্যে আটকে, সঠিকভাবে প্রয়োগ করা হয় কিনা জানি না deductions প্রমাণ আনুষ্ঠানিক যুক্তি কোর্স সবচেয়ে কঠিন উপাদান যে তিনটি সমস্যা সমাধানের লক্ষ্যে কাজ করে. Deductions একটি প্রমাণ, সম্পূর্ণ এবং মাল্টিমিডিয়া টিউটোরিয়াল হচ্ছে জটিল নিয়ম মাধ্যমে ছাত্র সাহায্য কিভাবে পরামর্শ করতে একটি ইঙ্গিতটি ইঞ্জিন সহ, ত্রুটি ঝিমুনি দ্বারা এই সমস্যার সুরাহা করা. বৈশিষ্ট্য হাইলাইট করুন: 1. ইসলাম: Deductions নিম্নলিখিত পাঠ্যবই সাথে অঙ্গীভূতভাবে কাজ করার পরিকল্পনা করা হয়: (ক) (বার্গম্যান, নিগ্রো, এবং নেলসন দ্বারা) যুক্তিবিজ্ঞান বুক, (২) (পল টেলার দ্বারা) একটি আধুনিক প্রথাগত যুক্তিবিজ্ঞান প্রাইমার, (গ টনি রায়ের গাণিতিক যুক্তিবিজ্ঞান) একটি গুরুতর ভূমিকা (). 2. পতাকাঙ্কিত ত্রুটি - যত তাড়াতাড়ি তারা ঘটতে হিসাবে প্রমাণ মধ্যে সিদ্ধান্তগ্রহণ পতাকা ত্রুটি. ছাত্র প্রথম প্রমাণ শেখার যখন, deductions ভুল নিয়ম শেখার থেকে ছাত্র প্রতিরোধ, কারণ এটি গুরুত্বপূর্ণ. 3. ইঙ্গিত ইঞ্জিন - বিয়োগ প্রমাণ সম্পন্ন করার জন্য কিভাবে সম্পর্কে ইঙ্গিত প্রদান করে. ছাত্র একটি প্রমাণ মাঝখানে আটকে যান, deductions অগ্রগতি কিভাবে প্রস্তাব দেওয়া হয়. যুক্তি শিখতে বিয়োগ কিভাবে ব্যবহার করতে, এবং কিভাবে যুক্তি নিয়ম ব্যবহার করার জন্য: - 4. মাল্টিমিডিয়া টিউটোরিয়াল বিয়োগ দুটি দলে বিভক্ত মাল্টিমিডিয়া টিউটোরিয়াল একটি সেট, সঙ্গে আসে. 5. নমনীয়তার - বিয়োগ বিভিন্ন যুক্তি সিস্টেম এবং পাঠ্যবই সঙ্গে কাজ করার পরিকল্পনা করা হয়. উভয় মান এবং বিকল্প চিহ্ন বন্ধ স্বতন্ত্রভাবে পরিণত করা হতে পারে যে নিয়ম হিসাবে ভাল হিসাবে অন্তর্ভুক্ত করা হয়. 6. আধুনিক ডিজাইন - বিয়োগ একটি আধুনিক ইন্টারফেস উপলব্ধ করা হয়. (অনেক যুক্তি প্রোগ্রাম ডস, উইন্ডোজ 9x জন্য লিখিত, বা অপূর্ণাঙ্গ জাভা অ্যাপলেট হয়) সাম্প্রতিক বছরগুলোতে অনেক আপডেট দেখা যায় না যে একটি ক্ষেত্রের মধ্যে একটি নতুন এন্ট্রি হিসাবে, deductions একটি পরিষ্কার ইউজার ইন্টারফেস প্রদান করে Mac OS X এর প্রযুক্তি ওঠানামায়, ড্র্যাগ এবং ড্রপ সমর্থন, এবং একটি সমন্বিত সহায়তা সিস্টেম. . 7. কাগজ চেয়ে আরো দক্ষ - বিয়োগ লাইন সরানো বা সরানো, যোগ করা হয় যখন স্বয়ংক্রিয়ভাবে প্রমাণ সামঞ্জস্য করে সম্পাদনা বিবরণ যত্ন নেয়
নতুন এই রিলিজে কি:
- যুক্তিবিজ্ঞান বুক পি ডি 'নিয়ম সিস্টেমের জন্য সমর্থন যোগ করা হয়েছে
- প্রবেশযোগ্য ভূমিকা এনডি + + নিয়ম সিস্টেমের জন্য সমর্থন যোগ করা হয়েছে
- একটি টেক্সট ফাইল থেকে একটি সিদ্ধান্তগ্রহণ এক্সপোর্ট করার ক্ষমতা যোগ করা
- একটি ক্ষীর স্নিপেট একটি সিদ্ধান্তগ্রহণ এক্সপোর্ট করার ক্ষমতা যোগ করা
সীমাবদ্ধতা
শুধু নিম্নলিখিত সিদ্ধান্তগ্রহণ নিয়ম ট্রায়াল সংস্করণ উপলব্ধ রয়েছে: প্রতিজ্ঞা, আত্মগরিমা, পুনরাবৃত্তি, একত্রে ভূমিকা, সংযোগ দূরীকরণ, শর্তাধীন ভূমিকা, শর্তাধীন দূরীকরণ, টিল্ড ভূমিকা, টিল্ড দূরীকরণ
পাওয়া মন্তব্যসমূহ না