Pagename TBD ...
의미
의미론 의미론,semantics - 이 최선의 번역?
시맨틱스
...

[edit]

1. Sub ¶

Sub:

[edit]

1.1. semantic value 의미값 ¶

의미값,semantic_value

[edit]

1.2. semantic web ¶

semantic_web =,semantic_web .
안쓰는단어지만 번역을 시도한다면
의미웹
의미론적웹
...?

https://ko.wikipedia.org/wiki/시맨틱_웹
https://simple.wikipedia.org/wiki/Semantic_Web
https://en.wikipedia.org/wiki/Semantic_Web
rel ontology 웹,web metadata meaning

[edit]

1.3. semantic consequence ¶

semantic_consequence =,semantic_consequence =,semantic_consequence . semantic_consequence

Semantic_consequence = ?
Up: logical_consequence? chk =,logical_consequence =,logical_consequence . logical_consequence
{
logical consequence

LogicalConsequence

logical_consequence (없다) 대신..

consequence

Logical_consequence

"logical consequence"
...

logical consequence

logical consequence
} // logical consequence

[edit]

1.4. semantic tableau ¶

semantic tableau

semantic_tableau
= https://en.wiktionary.org/wiki/semantic_tableau

Syn. 진리나무,truth_tree
Has link to: Method_of_analytic_tableaux = https://en.wikipedia.org/wiki/Method_of_analytic_tableaux

...
"semantic tableau"

semantic tableau

[edit]

1.5. Kripke semantics = relational semantics = frame semantics ¶

Kripke semantics = relational semantics = frame semantics
Kripke_semantics = relational_semantics = frame_semantics
크립키 의미론 ?
크립키_의미론
non-classical_logic system을 위한 formal_semantics .
MKL: Kripke_model { https://encyclopediaofmath.org/wiki/Kripke_models }

Kripke_semantics = https://en.wikipedia.org/wiki/Kripke_semantics

Up: (via we categories)
modal_logic
model_theory
sheaf_theory
non-classical_logic
mathematical_logic

...

Kripke semantics

Kripke semantics = relational semantics = frame semantics

[edit]

1.6. possible world semantics ¶

possible_world_semantics =,possible_world_semantics =,possible_world_semantics . possible_world_semantics

possible world semantics
가능세계의미론 ?

possible_world_semantics ?

ndict(nn) 없음. 2023-08-12

possible world semantics

possible world semantics
// possible world semantics
REL.
https://en.wikipedia.org/wiki/Possible_world
https://ko.wikipedia.org/wiki/가능세계론
비슷한 표현 possible_universe
표현에 관련: 가능성,possibility world ( 월드,world 세계,world ) universe (유니버스,universe 우주,universe )
REL.
modal_logic

...(random search)

가능세계의미론

가능세계론

[edit]

1.7. game semantics ¶

게임,game
game_semantics =,game_semantics =,game_semantics . game_semantics
game semantics
게임 의미론 ?
게임의미론 ?

game_semantics ??

https://en.wikipedia.org/wiki/Game_semantics

...
"game semantics"

game semantics x 2023-08-12

[edit]

1.8. axiomatic semantics ¶

axiomatic_semantics =,axiomatic_semantics =,axiomatic_semantics . axiomatic_semantics
{
axiomatic semantics

공리적 의미론 ?
공리,axiom

rel. Hoare_logic , 수리논리,mathematical_logic
rel. assert , assertion

https://foldoc.org/axiomatic semantics

https://xlinux.nist.gov/dads/HTML/axiomaticSemantics.html

~~axiomatic_semantics = https://en.wiktionary.org/wiki/axiomatic_semantics~~ x deleted

Axiomatic_semantics = https://en.wikipedia.org/wiki/Axiomatic_semantics

...
"axiomatic semantics"

axiomatic semantics

[edit]

1.9. denotational semantics ¶

denotational_semantics =,denotational_semantics =,denotational_semantics . denotational_semantics
{
denotational semantics

denotation?
denote v. indicate connote represent 비슷한 뜻.

denotation

denotational semantics

denotational semantics
(we){"is an approach of formalizing(formalization) the meanings of programming_language s by constructing mathematical_object { https://ko.wikipedia.org/wiki/수학적_대상 https://en.wikipedia.org/wiki/Mathematical_object } s (called denotations) that describe the meanings of expressions from the languages. Other approaches providing
formal semantics of programming languages // formal_semantics for 프로그래밍언어,programming_language(i.e. 형식언어,formal_language)
//

Semantics_(computer_science) = https://en.wikipedia.org/wiki/Semantics_(computer_science) (Redirected from

Formal_semantics_of_programming_languages )
// formal_semantics : formal semantics

formal_semantics

Formal_semantics
include axiomatic semantics // axiomatic semantics ...
and operational semantics."} // operational semantics ...
// 이상 세 가지 비교:

Semantics_(computer_science)#Approaches = https://en.wikipedia.org/wiki/Semantics_(computer_science)#Approaches

Sub:
denotational_semantics_of_the_actor_model
{
"The denotational_semantics of the actor_model is the subject of denotational domain theory for Actors."
// domain_theory (curr at ...) > denotational_domain_theory

Denotational_semantics_of_the_Actor_model = https://en.wikipedia.org/wiki/Denotational_semantics_of_the_Actor_model
Up: actor_model ... actor_model ... curr at 모형,model#s-8
}

denotational_semantics ?? qqqqq

https://en.wikipedia.org/wiki/Denotational_semantics

denotational semantics
denotational+semantics
}

[edit]

1.10. operational semantics ¶

operational_semantics =,operational_semantics =,operational_semantics . operational_semantics - w

operational semantics
structural_operational_semantics (SOS)

structural operational semantics
Cmp: structural_semantics
https://www.pls-lab.org/en/Structural_Operational_Semantics

https://foldoc.org/operational semantics

Operational_semantics = https://en.wikipedia.org/wiki/Operational_semantics

[edit]

1.11. reference semantics / value semantics ¶

reference_semantics / value_semantics
reference_semantics

참조,reference

value_semantics

값,value

see local

[edit]

1.12. formal semantics ¶

formal_semantics =,formal_semantics =,formal_semantics . formal_semantics
formal semantics

formal_semantics ??

"formal semantics"

formal semantics

[edit]

1.13. lexical semantics ¶

lexical semantics

"lexical semantics"

lexical semantics

[edit]

1.14. mathematical semantics ¶

mathematical_semantics

"mathematical semantics"

mathematical semantics

[edit]

1.15. statistical semantics ¶

statistical semantics

statistical_semantics

statistical_semantics
= https://en.wiktionary.org/wiki/statistical_semantics

대충, 단어,word의 의미,meaning에 대한 통계적 접근법임.
"(전산언어학,computational_linguistics) The study of estimation^{추정,estimation} of the meanings of words by looking at patterns of words in huge collections of texts, using statistical methods."

"statistical semantics"

statistical semantics

[edit]