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

دانلود Logic and Reasoning for Computing

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

برای دریافت و مشاهده جزییات بیشتر این دوره کلیک کنید