حل تمرینات کتاب گسسته دوازدهم به کمک ROCQ - جلسه دوم - حل تمرین اول صفحه ۱۶
آرشاک پارسا
کد ها در گیت هاب من: https://github.com/akp2003/discrete-math-12
rocq,ریاضیات گسسته,گسسته,ریاضی گسسته,برنامه نویسی
کد ها در گیت هاب من: https://github.com/akp2003/discrete-math-12
rocq,ریاضیات گسسته,گسسته,ریاضی گسسته,برنامه نویسی
