Lógica formal 🎲
Estudio del razonamiento basado en reglas especificadas formalmente y en sistemas simbólicos.
Пока нет связанных полок. Скоро появятся.
🌐 English — Formal logic
The study of reasoning based on formally specified rules and symbolic systems.
🌐 中文 — 形式逻辑
研究以形式化规则和符号系统为基础的推理的学科。
🌐 العربية — المنطق الصوري
دراسة الاستدلال القائم على قواعد محددة بشكل صوري وأنظمة رمزية.
🌐 Español — Lógica formal
Estudio del razonamiento basado en reglas especificadas formalmente y en sistemas simbólicos.
🌐 Français — Logique formelle
Étude du raisonnement fondé sur des règles formellement spécifiées et des systèmes symboliques.
🌐 de — Formale Logik
Das Studium des Schließens auf der Grundlage formal festgelegter Regeln und symbolischer Systeme.
🌐 pt — Lógica formal
Estudo do raciocínio baseado em regras formalmente especificadas e em sistemas simbólicos.
🌐 tr — Biçimsel mantık
Biçimsel olarak belirlenmiş kurallara ve simgesel sistemlere dayanan akıl yürütmenin incelenmesi.
🌐 hi — औपचारिक तर्क
औपचारिक रूप से निर्धारित नियमों और प्रतीकात्मक प्रणालियों पर आधारित तर्क का अध्ययन।