دستگاه صوری: تفاوت میان نسخهها
محتوای حذفشده محتوای افزودهشده
CarsracBot (بحث | مشارکتها) جز r2.7.2) (ربات: افزودن nl:Formeel systeem |
جز ربات: مرتبسازی ردهها؛ زیباسازی |
||
خط ۱:
در [[منطق صوری]]، منظور از '''سیستم صوری''' یا '''سامانه صوری''' (Formal system) عبارت است از یک [[زبان صوری]] به علاوهٔ [[مجموعه|مجموعهای]]
== جستارهای وابسته ==
خط ۱۳:
{{علوم سامانهها}}
[[رده:روشهای صوری]]▼
[[رده:زبانهای صوری]]
[[رده:منطق ریاضی]]
▲[[رده:روشهای صوری]]
[[ar:نظام شكلي]]
|