#noindex
<<tableofcontents>>
= 불 해석 Boolean Interpretation =
[[Boolean_interpretation]]
https://proofwiki.org/wiki/Definition:Boolean_Interpretation

...
"Boolean Interpretation"
Ggl:"Boolean Interpretation"
Naver:"Boolean Interpretation"

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

http://emal.iptime.org/noriwiki/index.php/Abstract_interpretation
http://emal.iptime.org/noriwiki/index.php/분류:Abstract_interpretation

https://foldoc.org/abstract+interpretation

...
"abstract interpretation"
Google:abstract+interpretation Naver:abstract+interpretation
Bing:"abstract interpretation"

https://en.wiktionary.org/wiki/abstract_interpretation x [[Date(2023-11-14T16:54:44)]]

== (topics about 추상해석) ==

[[least_fixed_point]] =,least_fixed_point =,least_fixed_point . least_fixed_point |=,LFP LFP
 {
 least fixed point

 REL
 [[부분순서집합,partially_ordered_set,poset]]
 [[고정점,fixed_point]]

 Twin
 [[WpEn:Least_fixed_point]] = https://en.wikipedia.org/wiki/Least_fixed_point
 https://ja.wikipedia.org/wiki/最小不動点

 https://en.wiktionary.org/wiki/least_fixed_point x 
 ...
 Ggl:"least fixed point"
 Naver:"least fixed point"

 Srch:least_fixed_point
 }

[[widening]] =,widening =,widening . widening
http://emal.iptime.org/noriwiki/index.php/Widening

[[narrowing]] =,narrowing =,narrowing . narrowing
http://emal.iptime.org/noriwiki/index.php/Narrowing

= 기호의 해석 =
[[기호,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 }

= (양자역학) =
== Bohm's interpretation ==
[[양자역학,quantum_mechanics]]

https://ko.wikipedia.org/wiki/드_브로이-봄_이론
https://en.wikipedia.org/wiki/De_Broglie–Bohm_theory

... Ggl:"Bohm interpretation" KpsE:Bohm

== 코펜하겐 해석(Copenhagen interpretation) ==
https://ko.wikipedia.org/wiki/코펜하겐_해석

= (misc) 단어 '해석'에 대해 =
해석은 수학에선 보통 analysis의 번역임.
[[VG:해석학,analysis]], 복소해석, 조화해석, 수치해석, 푸리에 해석, etc.

[[analysis]]
[[어낼러시스,analysis]]
[[해석학,analysis]]
[[해석,analysis]]

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

= MKLINK, COMPARE =
[[진술,statement]]
[[interpreter]] - [[인터프리터,interpreter]] [[해석기,interpreter]]

----
https://ncatlab.org/nlab/show/interpretation
https://mathworld.wolfram.com/Interpretation.html
 first-order_logic 얘기, 저기서만 되나? QQQ
 satisfiability https://mathworld.wolfram.com/Satisfiable.html
 unsatisfiability https://mathworld.wolfram.com/Unsatisfiable.html
 [[진리표,truth_table]]
 connective ([[연결사,connective]] [[논리연결사,logical_connective]])