Difference between r1.17 and the current
@@ -20,6 +20,7 @@
Naver:"Boolean Interpretation"
= 추상해석? abstract interpretation =
[[abstract_interpretation]]
[[추상해석,abstract_interpretation]] =추상해석,abstract_interpretation =,abstract_interpretation . abstract_interpretation ?
= 추상해석? abstract interpretation =
or 추상적해석?
'''abstract interpretation'''[[abstract_interpretation]]
[[추상해석,abstract_interpretation]] =추상해석,abstract_interpretation =,abstract_interpretation . abstract_interpretation ?
Pagerole 나누기 : 해석,interpreting에는 다른 걸 적을까?
Interpretation의 주체는 or 대상은
Interpretation의 주체는 or 대상은
- compiler/interpreter - in compiler theory
- 기호 문장 ... - in logic / linguistics
- ...
2. 추상해석? abstract interpretation ¶
or 추상적해석?
abstract interpretation
abstract_interpretation
추상해석,abstract_interpretation =추상해석,abstract_interpretation =,abstract_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
http://emal.iptime.org/noriwiki/index.php/분류:Abstract_interpretation
...
"abstract interpretation"
abstract interpretation
abstract interpretation
abstract interpretation
"abstract interpretation"
![Google: Google:](/wiki/imgs/interwiki/google-16.png)
![Naver: Naver:](/wiki/imgs/interwiki/naver-16.png)
![Bing: Bing:](/wiki/imgs/interwiki/bing-16.png)
2.1. (topics about 추상해석) ¶
least_fixed_point =,least_fixed_point =,least_fixed_point . least_fixed_point |=,LFP LFP
http://emal.iptime.org/noriwiki/index.php/Widening
{
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 . wideningleast fixed point
REL
부분순서집합,partially_ordered_set,poset
고정점,fixed_point
Twin
![WpEn: WpEn:](/wiki/imgs/interwiki/wpen-16.png)
https://ja.wikipedia.org/wiki/最小不動点
https://en.wiktionary.org/wiki/least_fixed_point x
...
![Ggl: Ggl:](/wiki/imgs/interwiki/ggl-16.png)
![Naver: Naver:](/wiki/imgs/interwiki/naver-16.png)
![Srch: Srch:](/wiki/imgs/interwiki/srch-16.png)
}
http://emal.iptime.org/noriwiki/index.php/Widening
3. 기호의 해석 ¶
rel model_theory curr at 모형,model#modeltheory
rel semiotics =,semiotics =,semiotics . semiotics { semiotics
semiotics기호학
semiotics
semiotics
semiotics
semiotics semiotics }
rel semiotics =,semiotics =,semiotics . semiotics { semiotics
![WtEn: WtEn:](/wiki/imgs/interwiki/wten-16.png)
![NdEn: NdEn:](/wiki/imgs/interwiki/nden-16.png)
![Ndict: Ndict:](/wiki/imgs/interwiki/ndict-16.png)
![Bing: Bing:](/wiki/imgs/interwiki/bing-16.png)
![Ggl: Ggl:](/wiki/imgs/interwiki/ggl-16.png)
6. MKLINK, COMPARE ¶
https://ncatlab.org/nlab/show/interpretation
https://mathworld.wolfram.com/Interpretation.html
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 {
formal_semantics
formal_semantics
Formal_semantics_(logic) } 이라 한다.
}
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)
satisfiability https://mathworld.wolfram.com/Satisfiable.html
unsatisfiability https://mathworld.wolfram.com/Unsatisfiable.html
진리표,truth_table
connective (연결사,connective 논리연결사,logical_connective)
![WpEn: WpEn:](/wiki/imgs/interwiki/wpen-16.png)
= 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: Srch:](/wiki/imgs/interwiki/srch-16.png)
![WtEn: WtEn:](/wiki/imgs/interwiki/wten-16.png)
![WpEn: WpEn:](/wiki/imgs/interwiki/wpen-16.png)
}