دستگاه صوری: تفاوت میان نسخهها
محتوای حذفشده محتوای افزودهشده
Fatranslator (بحث | مشارکتها) جز اصلاح پیوند> مجموعه > مجموعه (ریاضی) (به درخواست کاربر:Yamaha5) دلیل:وپ:داپ |
جز ربات ردهٔ همسنگ (۳۰.۱) +مرتب (۱۴.۹ core): + رده:هند در سده ۴ (پیش از میلاد) |
||
خط ۹: | خط ۹: | ||
{{پانویس}} |
{{پانویس}} |
||
{{چپچین}} |
{{چپچین}} |
||
Ebbinghaus, H. -D., Flum, J., and Thomas, W. ''Mathematical logic'', Springer-Verlag New* York Inc., ۱۹۸۴. ISBN 0-387-96170-4 |
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