Difference between r1.14 and the current
@@ -1,4 +1,14 @@
#noindex
<<tableofcontents>>
= 불 해석 Boolean Interpretation =
[[Boolean_interpretation]]
##======해석,interpretation =,interpretation 해석 interpretation
Pagerole 나누기 : [[해석,interpreting]]에는 다른 걸 적을까?
See WtEn:interpreting NdEn:interpreting for meaning
'''Interpretation'''의 주체는 or 대상은
* compiler/interpreter - in compiler theory
* 기호 문장 ... - in logic / linguistics
* ...
이런걸로구분예정tbw
= 불 해석 Boolean Interpretation =
[[Boolean_interpretation]]
@@ -10,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 ?
@@ -98,3 +109,11 @@
unsatisfiability https://mathworld.wolfram.com/Unsatisfiable.html
[[진리표,truth_table]]
connective ([[연결사,connective]] [[논리연결사,logical_connective]])
[[진리표,truth_table]]
connective ([[연결사,connective]] [[논리연결사,logical_connective]])
[[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)]] } 이라 한다.
}
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"
abstract interpretation abstract interpretation
abstract interpretation
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
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
}
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 semiotics기호학 semiotics semiotics semiotics semiotics semiotics }
6. MKLINK, COMPARE ¶
https://ncatlab.org/nlab/show/interpretation
https://mathworld.wolfram.com/Interpretation.html
= 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)
Interpretation_(logic)satisfiability https://mathworld.wolfram.com/Satisfiable.html
unsatisfiability https://mathworld.wolfram.com/Unsatisfiable.html
진리표,truth_table
connective (연결사,connective 논리연결사,logical_connective)
= 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) } 이라 한다.
}