تفاوت میان نسخه‌های «دستگاه صوری»

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