معناشناسی صوری

[زبان شناسی] ← معنی شناسی صوری

💡 نظریهٔ زبان صوری، نظمی که گرامرهای صوری و زبان‌ها را مطالعه می‌کند، شاخه‌ای از ریاضیات کاربردی است. کاربرد آن در علوم نظری رایانه، زبان‌شناسی نظری، معناشناسی صوری، منطق ریاضی، سایر حوزه‌های مشاهده می‌شود.