keyword نظریه مدل / (5 Article)
- Sort by
- Date
-
1.
Writer : علم، ابوالفضل ؛ Corresponding Author : منیری، مرتضی ؛
Journal:منطق پژوهی»پاییز و زمستان 1400، سال دوازدهم - شماره 2 ، ب (Ministry of Science/ISC (17 page(s) - From 195 to 211 )
Keywords:حساب محدودفرمول محدودمدل کامل محدودمدل همراه محدودحذف سور محدودBounded ArithmeticBounded formulaBounded model completeBounded model companionBounded quantifier eliminationمدلمحـدودنظریة مدلنظریهPVفرمولNP
-
2.
Writer : دهقانی، فرزاد ؛
Journal:دین پژوهی و کارآمدی»تابستان 1402 - شماره 8 ، ب (Ministry of Science (18 page(s) - From 51 to 68 )
Keywords:قرآن کریمنظریه مدلنظریه نقشهروزآمدی قرآنMap TheoryModernity of QuranHoly Quranmodel theory
-
3.
Writer : سیدمحمدعلی حجتی ؛ سلمان پناهی ؛
Journal:منطق پژوهی»پاییز و زمستان 1392، سال چهارم - شماره 2 ، Science-Research (Ministry of Science/ISC (21 page(s) - From 41 to 41، From 43 to 62 )
Keywords:رئالیسمنظریة مدلپاتنمبرهان جایگشت
-
4.
Writer : حجتی، سید محمد علی ؛ سعیدی مهر، محمد ؛ شهریاری، شهرام ؛
Journal:متافیزیک»بهار و تابستان 1392 - شماره 15 ، Science-Research (Ministry of Science/ISC (16 page(s) - From 1 to 16 )
Keywords:ضرورتصدق منطقیجهانهای ممکننظریة مدلبالفعلگراییممکنگراییزالتاهانسنجهاناعتبارتارسکیعملگرجمله
-
5.
Writer : ابراهیمی دینانی، غلامحسین ؛ دیباجی، سید محمد علی ؛
Journal:مدرس علوم انسانی»زمستان 1379 - شماره 17 ، Science-Research (Ministry of Science/ISC (14 page(s) - From 109 to 122 )
Keywords:توجیهنفسصدقمجردبدنباورمادیروابط قضایارابطه همساختی معرفت شناسیمدل فلسفینظریه مدلنظریه تابعملاصدرامدلنظریههمساختیلایبنیتس
Journal (Article count) |
---|
Journal دین پژوهی و کارآمدی 1 |
Journal متافیزیک 1 |
Journal منطق پژوهی 1 |
Journal مدرس علوم انسانی 1 |
Related keywords
Article publication trend
Scientific rank
- علمی-پژوهشی (3 Article)
- ب (2 Article)