‫به نام خدا‬
‫تولید برنامه از توصیف رسمی – نیمسال دوم ‪39-39‬‬
‫تمرین ‪(4‬مهلت ارسال تا ‪ 5‬مرداد ‪)44‬‬
‫‪ 5‬تیر ‪39‬‬
‫‪ .1‬تئوری انواع‬
‫‪.1‬‬
‫به کمک تئوری انواع‪ ،‬توصیفی برای برنامه کوچکترین مضرب مشترک نوشته و کد متناظر با آن را استخرج نمایید‪ ( .‬هر چند‬
‫ترکیب کلمات "توصیف برنامه" تا حدودی متناقض است‪).‬‬
‫‪.2‬‬
‫توصیف برنامه محاسبه لگاریتم به پایه ‪ 2‬را نوشته و کد متناظر را استخراج نمایید‪ .‬آیا میتوان توصیف محاسبه لگاریتم به پایه ‪2‬‬
‫را به کمک برنامه تقسیم بر ‪( 2‬همانطور که در مورد برنامههای این دو برقرار است)نوشت؟‬
‫موفق باشید‪.‬‬