چهارشنبه، اسفند ۲۱، ۱۳۸۱
اين ترم داريم منطق رياضي رو به روش اصل موضوعي ميخونيم (قبلا استنتاج طبيعي ميخونديم که راحت تر بود). انقدر حل مسئله با اين روش سخته که استادمون تمرين نداد حل کنيم، فقط 20 تا مسئله ي حل شده داد و گفت برين فقط نيگاشون کنين که دستتون بياد چه خبره !