skip to main content

ریاضیات

زبان محتوا

پشتیبانی: CRM@email.irandoc.ac.ir

Concept information

... > شیء دانش ریاضی > شیء هندسی > ساختار > مدل > تایپ > تایپ کامل
... > رشته ریاضیات > منطق ریاضی > نظریه مدل > ساختار > مدل > تایپ > تایپ کامل
... > ریاضیات > منطق ریاضی > نظریه مدل > ساختار > مدل > تایپ > تایپ کامل

اصطلاح مرجح

تایپ کامل  

نوع

  • http://www.irandoc.ac.ir/onto/irandoc-meta/Concept

مفهوم اعم

یادداشت دامنه

  • مجموعه ای سازگار از فرمولها با درایه مشخص که نسبت به &quot.و&quot. بسته باشد (به ازای هر فرمول با درایه مشخص خود فرمول و یا نقیض آن در تایپ قرار دارد).

در زبان های دیگر

URI

http://www.irandoc.acir/onto/irandoc/math0007636

این مفهوم را بارگیری کن:

RDF/XML TURTLE JSON-LD