시맨틱스 (의미론)

코드의 의미에 대한 연구; 코드가 어떻게 작성되었는지(구문)가 아니라 실제로 무엇을 하는지를 다룹니다.

🌐 용어 다른 언어로:

English Deutsch Español Français 日本語 한국어 Polski Português Русский Türkçe Українська

Components: 1. IIoT. 2. Big Data & AI. 3. Additive Manufacturing (3D Printing). 4. Autonomous Robots. 5. Cloud Computing.

        graph LR
  Center["시맨틱스 (의미론)"]:::main
  Pre_syntax["syntax"]:::pre --> Center
  click Pre_syntax "/terms/syntax"
  Rel_syntax["syntax"]:::related -.-> Center
  click Rel_syntax "/terms/syntax"
  Rel_logic["logic"]:::related -.-> Center
  click Rel_logic "/terms/logic"
  classDef main fill:#7c3aed,stroke:#8b5cf6,stroke-width:2px,color:white,font-weight:bold,rx:5,ry:5;
  classDef pre fill:#0f172a,stroke:#3b82f6,color:#94a3b8,rx:5,ry:5;
  classDef child fill:#0f172a,stroke:#10b981,color:#94a3b8,rx:5,ry:5;
  classDef related fill:#0f172a,stroke:#8b5cf6,stroke-dasharray: 5 5,color:#94a3b8,rx:5,ry:5;
  linkStyle default stroke:#4b5563,stroke-width:2px;

🕸️ Open in Universe

🧒 5살도 이해할 수 있게 설명

구문은 철자와 문법(단어를 올바르게 쓰는 것)과 같습니다. 의미론은 문장의 '뜻'입니다. "내 개가 달로 날아갔다"처럼 문법적으로 완벽하지만 말이 안 되는(잘못된 의미론) 문장을 쓸 수 있습니다.

🤓 Expert Deep Dive

형식 의미론(조작적, 표시적, 공리적)은 프로그램 동작을 수학적으로 정의합니다. C++의 정의되지 않은 동작(Undefined Behavior)은 표준이 결과를 규정하지 않는 의미론적 개념입니다. 시맨틱 웹(RDF, OWL)은 의미를 추가하여 인터넷 데이터를 기계가 읽을 수 있게 만드는 것을 목표로 합니다.

🔗 관련 용어

선행 지식:

syntax

🧒 5살도 이해할 수 있게 설명

🤓 Expert Deep Dive

🔗 관련 용어

📚 출처