313281

نقش رياضيات در زندگي بشر و شناخت طبيعت (6): نقش منطق نمادي در كامپيوتري كردن دانش بشر (1)

دانش نارويي، غلامرضا نويسنده ,

فصلنامه سال 1372 شماره 38

فاقد درجه علمي

11

5

15

زبان ماشين , برنامه نويسي تابعي , فرمول ناسازگار , اصل رزلوسيون , برنامه نويسي منطقي , درخت استنتاج , جمله هاي اتمي , رياضيات , نرمال فصلي , شناخت طبيعت , نرمال عطفي , منطق نمادي , زندگي , دستورالعمل تبديل , نرم افزار , تيوري اتومات , استنتاج اتوماتيكي , تيوري اثبات , موتور آناليتيكي

1372

رش‍د آم‍وزش‌ ري‍اض‍ي‌

رش‍د آم‍وزش‌ ري‍اض‍ي‌

فصلنامه با شماره پیاپی 38 سال 1372

#تست#آزمون###امتحان