دستگاه صوری: تفاوت میان نسخهها
محتوای حذفشده محتوای افزودهشده
CarsracBot (بحث | مشارکتها) جز r2.7.2) (ربات: افزودن nl:Formeel systeem |
جز ربات: مرتبسازی ردهها؛ زیباسازی |
||
خط ۱: | خط ۱: | ||
در [[منطق صوری]]، منظور از '''سیستم صوری''' یا '''سامانه صوری''' (Formal system) عبارت است از یک [[زبان صوری]] به علاوهٔ [[مجموعه]] |
در [[منطق صوری]]، منظور از '''سیستم صوری''' یا '''سامانه صوری''' (Formal system) عبارت است از یک [[زبان صوری]] به علاوهٔ [[مجموعه|مجموعهای]] از [[قواعد استنباط]] و [[اصل موضوع|اصول موضوع]]. |
||
== جستارهای وابسته == |
== جستارهای وابسته == |
||
خط ۱۳: | خط ۱۳: | ||
{{علوم سامانهها}} |
{{علوم سامانهها}} |
||
⚫ | |||
[[رده:زبانهای صوری]] |
[[رده:زبانهای صوری]] |
||
[[رده:منطق ریاضی]] |
[[رده:منطق ریاضی]] |
||
⚫ | |||
[[ar:نظام شكلي]] |
[[ar:نظام شكلي]] |
نسخهٔ ۲۸ مهٔ ۲۰۱۲، ساعت ۰۹:۰۴
در منطق صوری، منظور از سیستم صوری یا سامانه صوری (Formal system) عبارت است از یک زبان صوری به علاوهٔ مجموعهای از قواعد استنباط و اصول موضوع.
جستارهای وابسته
منابع
Ebbinghaus, H. -D., Flum, J., and Thomas, W. Mathematical logic, Springer-Verlag New* York Inc., ۱۹۸۴. ISBN 0-387-96170-4