دستگاه صوری: تفاوت میان نسخه‌ها
محتوای حذف‌شده محتوای افزوده‌شده
جز ربات:تصحیح شابک |
جز Bot:Romaniztion of ISBN |
||
| خط ۸: | خط ۸: | ||
== منابع == |
== منابع == |
||
{{چپ‌چین}} |
{{چپ‌چین}} |
||
Ebbinghaus, H. -D., Flum, J., and Thomas, W. ''Mathematical logic'', Springer-Verlag New* York Inc., ۱۹۸۴. ISBN |
Ebbinghaus, H. -D., Flum, J., and Thomas, W. ''Mathematical logic'', Springer-Verlag New* York Inc., ۱۹۸۴. ISBN 0-387-96170-4 |
||
{{پایان چپ‌چین}} |
{{پایان چپ‌چین}} |
||
نسخهٔ ۲۹ مهٔ ۲۰۱۰، ساعت ۰۲:۳۵
در منطق صوری، منظور از سیستم صوری یا سامانه صوری (Formal system) عبارت است از یک زبان صوری به علاوهٔ مجموعه‌ای از قواعد استنباط و اصول موضوع.
جستارهای وابسته
منابع
Ebbinghaus, H. -D., Flum, J., and Thomas, W. Mathematical logic, Springer-Verlag New* York Inc., ۱۹۸۴. ISBN 0-387-96170-4