آموزش منطق و استدلال در علوم کامپیوتر - آخرین آپدیت

titleمنطق گزاره‌ای Propositional Logic

• titleمقدمه‌ای بر دوره Introduction to the course

• titleمقدمه‌ای بر منطق گزاره‌ای Introduction to propositional logic

• titleاجزای سازنده منطق Building blocks of logic

• titleجدول صحت – مثال‌ها Truth table – examples

• titleاتولوژی و سازگاری (بخش ۱) Tautology and consistency (part 1)

• titleاتولوژی و سازگاری (بخش ۲) Tautology and consistency (part 2)

• titleاتولوژی و سازگاری – مثال‌ها Tautology and consistency – examples

• titleمعادل‌ها (بخش ۱) Equivalences (part 1)

• titleمعادل‌ها (بخش ۲) Equivalences (part 2)

• titleمنطق مرتبه اول First-order logic

• titleنتیجه‌گیری Conclusion

titleمنطق محمول Predicate logic

• titleمقدمه‌ای بر منطق محمول Introduction to predicate logic

• titleمحمول‌ها چیستند؟ What are predicates?

• titleسورها (Quantification) Quantification

• titleقوانین دِمورگان برای سورها De Morgan's laws for quantifiers

• titleقوانین استنتاج Rules of inference

• titleقوانین استنتاج با سورها Rules of inference with quantifiers

titleجبر بول Boolean Algebra

• titleمقدمه‌ای بر جبر بول Introduction to Boolean algebra

• titleاصول جبر بول Postulates of Boolean algebra

• titleتوابع بولین Boolean functions

• titleگیت‌های منطقی Logic gates

• titleمدارهای ترکیبی Combinational circuits

• titleساده‌سازی مدارها Simplification of circuits

titleتکنیک‌های اثبات Proof techniques

• titleاثبات چیست؟ What is a proof?

• titleاثبات مستقیم Direct proof

• titleاثبات از طریق تناقض Proof by contradiction

• titleاثبات از طریق نقض (Contrapositive) Proof by contrapositive

• titleمثال‌هایی از اثبات تناقض و نقض Proof by contradiction and contrapositive – examples

• titleاثبات از طریق استقرا Proof by induction

• titleمثال از یک اثبات صحیح Example of a correct proof

• titleمثال از یک اثبات نادرست Example of an incorrect proof

• titleنتیجه‌گیری Conclusion

• titleخلاصه‌ی دوره Course summary