دستگاه صوری: تفاوت میان نسخهها
محتوای حذفشده محتوای افزودهشده
جز سامانه صوری به سیستم صوری که قبلاً صفحهٔ تغییر مسیر بود، منتقل شد: وگ؛ لطفا تنها به همراه مشارکت در نوشتن مطالب زیادتر کلمه های متفاوت ر� |
جز ربات : جراحی پلاستیک |
||
خط ۱: | خط ۱: | ||
در [[منطق صوری]]، منظور از '''سیستم صوری''' یا '''سامانه صوری''' (Formal system) عبارت است از یک [[زبان صوری]] به علاوهٔ [[مجموعه]]ای از [[قواعد استنباط]] و [[اصل موضوع |
در [[منطق صوری]]، منظور از '''سیستم صوری''' یا '''سامانه صوری''' (Formal system) عبارت است از یک [[زبان صوری]] به علاوهٔ [[مجموعه]]ای از [[قواعد استنباط]] و [[اصل موضوع|اصول موضوع]]. |
||
==جستارهای وابسته== |
==جستارهای وابسته== |
||
* [[حساب گزارهها |
* [[حساب گزارهها|منطق گزارهها]] |
||
* [[قضایای عدم تمامیت گدل]] |
* [[قضایای عدم تمامیت گدل]] |
||
* [[علوم صوری]] |
* [[علوم صوری]] |
نسخهٔ ۱۰ نوامبر ۲۰۰۸، ساعت ۰۹:۳۶
در منطق صوری، منظور از سیستم صوری یا سامانه صوری (Formal system) عبارت است از یک زبان صوری به علاوهٔ مجموعهای از قواعد استنباط و اصول موضوع.
جستارهای وابسته
منابع
Ebbinghaus, H. -D., Flum, J., and Thomas, W. Mathematical logic, Springer-Verlag New* York Inc., ۱۹۸۴. ISBN: ۰-۳۸۷-۹۶۱۷۰-۴