Contents
1
.
불 해석 Boolean Interpretation
2
.
추상해석? abstract interpretation
2.1
.
(topics about 추상해석)
3
.
기호의 해석
4
.
(양자역학)
4.1
.
Bohm's interpretation
4.2
.
코펜하겐 해석(Copenhagen interpretation)
5
.
(misc) 단어 '해석'에 대해
6
.
MKLINK, COMPARE
[
edit
]
1
.
불 해석 Boolean Interpretation
¶
Boolean_interpretation
https://proofwiki.org/wiki/Definition:Boolean_Interpretation
...
"Boolean Interpretation"
Boolean Interpretation
Boolean Interpretation
[
edit
]
2
.
추상해석? 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"
abstract interpretation
abstract interpretation
abstract interpretation
https://en.wiktionary.org/wiki/abstract_interpretation
x 2023-11-15
[
edit
]
2.1
.
(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
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
...
least fixed point
least fixed point
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
[
edit
]
3
.
기호의 해석
¶
기호,symbol
심벌,symbol
의 해석에 대해서는 curr at
모형,model#modeltheory
rel
model_theory
curr at
모형,model#modeltheory
rel
semiotics
=,semiotics =,semiotics . semiotics { semiotics
semiotics
기호학
semiotics
semiotics
semiotics
semiotics
semiotics }
[
edit
]
4
.
(양자역학)
¶
[
edit
]
4.1
.
Bohm's interpretation
¶
양자역학,quantum_mechanics
https://ko.wikipedia.org/wiki/드_브로이-봄_이론
https://en.wikipedia.org/wiki/De_Broglie–Bohm_theory
...
Bohm interpretation
Bohm
[
edit
]
4.2
.
코펜하겐 해석(Copenhagen interpretation)
¶
https://ko.wikipedia.org/wiki/코펜하겐_해석
[
edit
]
5
.
(misc) 단어 '해석'에 대해
¶
해석은 수학에선 보통 analysis의 번역임.
해석학,analysis
, 복소해석, 조화해석, 수치해석, 푸리에 해석, etc.
analysis
어낼러시스,analysis
해석학,analysis
해석,analysis
해석
을 보면
{
관계해석relational_calculus
...저기선 calculus의 번역에 쓰임.
}
[
edit
]
6
.
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
)
Retrieved from http://www.red-ruby.com/wiki/wiki.php/해석,interpretation
last modified 2024-02-13 10:12:34