شماره ركورد
313281
عنوان مقاله
نقش رياضيات در زندگي بشر و شناخت طبيعت (6): نقش منطق نمادي در كامپيوتري كردن دانش بشر (1)
پديد آورندگان
دانش نارويي، غلامرضا نويسنده ,
اطلاعات موجودي
فصلنامه سال 1372 شماره 38
رتبه نشريه
فاقد درجه علمي
تعداد صفحه
11
از صفحه
5
تا صفحه
15
كليدواژه
زبان ماشين , برنامه نويسي تابعي , فرمول ناسازگار , اصل رزلوسيون , برنامه نويسي منطقي , درخت استنتاج , جمله هاي اتمي , رياضيات , نرمال فصلي , شناخت طبيعت , نرمال عطفي , منطق نمادي , زندگي , دستورالعمل تبديل , نرم افزار , تيوري اتومات , استنتاج اتوماتيكي , تيوري اثبات , موتور آناليتيكي
سال انتشار
1372
عنوان نشريه
رشد آموزش رياضي
عنوان نشريه
رشد آموزش رياضي
اطلاعات موجودي
فصلنامه با شماره پیاپی 38 سال 1372
كلمات كليدي
#تست#آزمون###امتحان
لينک به اين مدرک