پاییز و زمستان 1400، سال دوازدهم - شماره 2 التصنيف ب (Ministry of Science)
-
مؤلف : اسدی، مهدی ؛
(27 صفحة - من 3 إلی 29 )
الکلمات المفتاحية:وجود ذهنیحافظهعلم اجمالیاستدلال های پیچیدهاثبات به کمک رایانهذهناستدلالبـهواهب الصوریقینتصوررایانهمـا
-
كاتب مسؤول : پوردانش، سعید ؛ مؤلف : بهنیافر، مهدی ؛
(23 صفحة - من 33 إلی 55 )
الکلمات المفتاحية:مدلسمانتیکنظریه برهاننتیجه ی منطقیمفهوم عام نتیجه ی منطقیتارسکیمفهـومکـهبـهمفهومیـا
-
مؤلف : همتایی، حسن ؛ نبوی، لطف اله ؛ كاتب مسؤول : حجتی، سید محمد علی ؛
(26 صفحة - من 59 إلی 84 )
الکلمات المفتاحية:زالتاماینونگوحدت گزارهرمزانشنمونشحملگزارههـاخاصیتخاصـیتبـه
-
مؤلف : حسینپور، غلامرضا ؛
(21 صفحة - من 87 إلی 107 )
الکلمات المفتاحية:استراوسونآستیننظریه صدقاظهارات انشائیمحمول صادقصدقجملهفعلاظهارکـه
-
مؤلف : زارعت پیشه، محمود ؛
(16 صفحة - من 111 إلی 126 )
الکلمات المفتاحية:حملحمل اولیحمل شایعاینهمانیحمل الشیء علی نفسهاینهمانیمیردامادملاصدرا
-
مؤلف : شعبانی صمغ آبادی، محسن ؛
(20 صفحة - من 129 إلی 148 )
الکلمات المفتاحية:سمنتیک زبان های طبیعیاسم های شماراسم های ناشمار انضمامیپارشناسی (نظریه ی جزء و کل)نظریه ی مجموعه هاناشماراسمهـاشمارردهبـهآبزبان
-
مؤلف : شیرمحمدزاده ملکی، فاطمه ؛
(23 صفحة - من 151 إلی 173 )
الکلمات المفتاحية:معناشناسی همسایگیمنطق زیرشهودیمنطق وجهی غیر نرمالمنطق وجهی دوموضعیهمتای وجهیمنطققابشهودیهمسایگیمنطـق
-
مؤلف : عطارزاده، علی رضا ؛
(16 صفحة - من 177 إلی 192 )
الکلمات المفتاحية:مادهکلیتوحدت تعریفارسطوتعریفتعریـفمابعدالطبیعهذاتوحدتارسـطو
-
مؤلف : علم، ابوالفضل ؛ كاتب مسؤول : منیری، مرتضی ؛
(17 صفحة - من 195 إلی 211 )
الکلمات المفتاحية:حساب محدودفرمول محدودمدل کامل محدودمدل همراه محدودحذف سور محدودمدلمحـدودنظریة مدلنظریهPVفرمولNP
-
مؤلف : فلاحی، اسدالله ؛
(20 صفحة - من 215 إلی 234 )
الکلمات المفتاحية:ارسطوقضیه خارجیهقضیه حقیقیهقیاس های وجهیقضایای حقیقیهخارجیهقیاسمنطقبـهمثالکـه
-
مؤلف : مفیدی، علیرضا ؛
(15 صفحة - من 237 إلی 251 )
الکلمات المفتاحية:منطق انتگرال بیکرانقضیه فراضربقضیه فشردگیفضاهای LPمنطقاندازهبـاقضیهبـهساختارها
-
مؤلف : نباتی، فرشته ؛
(20 صفحة - من 253 إلی 272 )
الکلمات المفتاحية:منطق مرتبه دومتئوفراستسگزاره های دارای حد اضافهقیاس های دارای حد اضافهقیاسارسطوگزارههـااضافهقیـاسحـدحملیمنطق