تعریف پذیری منطقی توابع شمارنده SUPERVISOR Behnaz Omoomi,Mojtaba Aghaei بهناز عمومی (استاد مشاور) مجتبی آقائی فروشانی (استاد راهنما) STUDENT Niloofar Mani نیلوفر مانی FACULTY - DEPARTMENT دانشکده ریاضی DEGREE Master of Science (MSc) YEAR 1380 TITLE تعریف پذیری منطقی توابع شمارنده