해석,interpretation

Difference between r1.17 and the current

@@ -20,6 +20,7 @@
Naver:"Boolean Interpretation"

= 추상해석? abstract interpretation =
or 추상적해석?
'''abstract interpretation'''
[[abstract_interpretation]]
[[추상해석,abstract_interpretation]] =추상해석,abstract_interpretation =,abstract_interpretation . abstract_interpretation ?


Pagerole 나누기 : 해석,interpreting에는 다른 걸 적을까?
See WtEn:interpreting NdEn:interpreting for meaning

Interpretation의 주체는 or 대상은
  • compiler/interpreter - in compiler theory
  • 기호 문장 ... - in logic / linguistics
  • ...
이런걸로구분예정tbw

3. 기호의 해석

기호,symbol 심벌,symbol의 해석에 대해서는 curr at 모형,model#modeltheory

rel model_theory curr at 모형,model#modeltheory
rel semiotics =,semiotics =,semiotics . semiotics { semiotics WtEn:semiotics기호학 NdEn:semiotics Ndict:semiotics Bing:semiotics Ggl:semiotics semiotics }

4. (양자역학)

4.2. 코펜하겐 해석(Copenhagen interpretation)

5. (misc) 단어 '해석'에 대해

해석은 수학에선 보통 analysis의 번역임.
VG:해석학,analysis, 복소해석, 조화해석, 수치해석, 푸리에 해석, etc.


RR:해석을 보면
{
관계해석relational_calculus ...저기선 calculus의 번역에 쓰임.
}

6. MKLINK, COMPARE



https://ncatlab.org/nlab/show/interpretation
https://mathworld.wolfram.com/Interpretation.html
WpEn:Interpretation_(logic)
= https://en.wikipedia.org/wiki/Interpretation_(logic)
{
An interpretation is an assignment(대입보다는 할당?) of meaning(의미,meaning) to the symbols(기호,symbol) of a formal language(형식언어,formal_language).
많은 형식언어,formal_language는 defined in solely syntactic terms, 그래서 해석이 주어지기 전 까지 뜻을 가지지 않는다.
형식언어의 해석에 대한 일반적 학문(general study)을 formal_semantics =,formal_semantics =,formal_semantics . formal_semantics { Srch:formal_semantics WtEn:formal_semantics WpEn:Formal_semantics_(logic) } 이라 한다.
}