Wednesday, March 12, 2003
اين ترم داريم منطق رياضي رو به روش اصل موضوعي ميخونيم (قبلا استنتاج طبيعي ميخونديم که راحت تر بود). انقدر حل مسئله با اين روش سخته که استادمون تمرين نداد حل کنيم، فقط 20 تا مسئله ي حل شده داد و گفت برين فقط نيگاشون کنين که دستتون بياد چه خبره !
ادامه ماجرا...