Teoria dos tipos 🎲
Ramo da lógica matemática e da ciência da computação que estuda tipos, termos e as regras que os regem.
Пока нет связанных полок. Скоро появятся.
🌐 English — Type theory
Branch of mathematical logic and computer science that studies types, terms, and the rules governing them.
🌐 中文 — 类型论
数理逻辑与计算机科学的一个分支，研究类型、项以及支配它们的规则。
🌐 العربية — نظرية الأنماط
فرع من المنطق الرياضي وعلوم الحاسب يدرس الأنماط والحدود والقواعد التي تحكمها.
🌐 Español — Teoría de tipos
Rama de la lógica matemática y la informática que estudia los tipos, los términos y las reglas que los rigen.
🌐 Français — Théorie des types
Branche de la logique mathématique et de l'informatique qui étudie les types, les termes et les règles qui les régissent.
🌐 de — Typentheorie
Teilgebiet der mathematischen Logik und der Informatik, das Typen, Terme und die sie regelnden Regeln untersucht.
🌐 pt — Teoria dos tipos
Ramo da lógica matemática e da ciência da computação que estuda tipos, termos e as regras que os regem.
🌐 tr — Tip teorisi
Matematiksel mantık ve bilgisayar biliminin, tipleri, terimleri ve bunları yöneten kuralları inceleyen dalı.
🌐 hi — प्रकार सिद्धांत
गणितीय तर्क और कंप्यूटर विज्ञान की वह शाखा जो प्रकारों, पदों और उन्हें नियंत्रित करने वाले नियमों का अध्ययन करती है।