Biçimsel sistem 🎲
Biçimsel bir dil ve teoremler türetmek için kullanılan çıkarım kurallarından oluşan sistem.
Пока нет связанных полок. Скоро появятся.
🌐 English — Formal system
A system consisting of a formal language and inference rules used to derive theorems.
🌐 中文 — 形式系统
由形式语言和推理规则组成、用于推导定理的系统。
🌐 العربية — نظام شكلي
نظام يتكون من لغة شكلية وقواعد استدلال تُستخدم لاشتقاق المبرهنات.
🌐 Español — Sistema formal
Sistema compuesto por un lenguaje formal y reglas de inferencia usadas para derivar teoremas.
🌐 Français — Système formel
Système composé d’un langage formel et de règles d’inférence servant à dériver des théorèmes.
🌐 de — Formales System
Ein System aus einer formalen Sprache und Inferenzregeln zur Ableitung von Theoremen.
🌐 pt — Sistema formal
Sistema composto por uma linguagem formal e regras de inferência usadas para derivar teoremas.
🌐 tr — Biçimsel sistem
Biçimsel bir dil ve teoremler türetmek için kullanılan çıkarım kurallarından oluşan sistem.
🌐 hi — औपचारिक प्रणाली
एक औपचारिक भाषा और प्रमेय निकालने के लिए प्रयुक्त अनुमान नियमों से बनी प्रणाली।