로직,logic

Difference between r1.31 and the current

@@ -137,27 +137,27 @@

== modal logic ==
[[modal_logic]] =,modal_logic . modal_logic
curr at [[가능성,possibility]]
curr also at [[가능성,possibility]] 
 
modes? :
* 필연성 ... 반드시 ~, ~가 마땅하다, ~가 필연적이다,
* 가능성 ... ~일 수도,

WtEn:modal_logic
{
"Any [[formal_system]] that attempts to deal with [[modality|modalities]], such as [[가능성,possibility]] and [[necessity]], but also [[obligation]] and [[permission]]{ 허가? [[퍼미션,permission]]페이지는 존재 }." (wt)

Related terms:
[[deontic_logic]]
[[doxastic_logic]]
[[epistemic_logic]]
[[deontic_logic]] WtEn:deontic_logic Srch:deontic_logic
[[doxastic_logic]] WtEn:doxastic_logic Srch:doxastic_logic
[[epistemic_logic]] WtEn:epistemic_logic Srch:epistemic_logic
}

Ndict:"양상논리"
Bing:"양상논리"
Ggl:"양상논리"

https://namu.wiki/w/양상논리

Ndict:"modal logic" 
 
.... Ndict:"양상논리" Bing:"양상논리" Ggl:"양상논리"
.... Ndict:"modal logic" Bing:"modal logic" Ggl:"modal logic"
== many-sorted logic ==
[[many-sorted_logic]] =,many-sorted_logic . many-sorted_logic
many-sorted logic
@@ -357,9 +357,12 @@

=== combinational logic ===
combinational logic
[[조합논리,combinational_logic]]
[[combinational_logic]] =,combinational_logic =,combinational_logic . combinational_logic Srch:combinational_logic
조합논리 로 보통 번역하는 듯

combinational logic
WtEn:combinational_logic
메모리 없음. [[무기억성,memoryless_property]]?

@@ -367,14 +370,7 @@

Ndict:"combinational logic"

cf. [[combinational_circuit]] =,combinational_circuit =,combinational_circuit . combinational_circuit
{
combinational circuit
[[WtEn:combinational_circuit]] = https://en.wiktionary.org/wiki/combinational_circuit
Ndict:"combinational circuit"
Ggl:"combinational circuit"
"combinational circuit"
}
cf. [[조합회로,combinational_circuit]]

=== CHK ===
||기반 이론이 되는 논리 ||실제 장치 : logic_circuit [[logic_circuit]] WtEn:logic_circuit [[논리회로,logic_circuit]] ? Ndict:"논리 회로" Ggl:"논리 회로" 논리회로 logic_circuit ||
@@ -453,11 +449,8 @@
디지털논리회로

== logic gate ==
[[logic_gate]] =,logic_gate . logic_gate
logic gate
논리게이트 
WtEn:logic_gate 
Ggl:"logic gate"
[[논리게이트logic_gate]]
[[논리게이트,logic_gate]]

== logic programming ==
[[logic_programming]] =,logic_programming =,logic_programming . logic_programming


1. Sub (_logic)


1.2. non-classical logic

non-classical_logic =,non-classical_logic . non-classical_logic
non-classical logic
비고전논리 (wk)




1.5. 0th order

zeroth-order_logic =,zeroth-order_logic . zeroth-order_logic

WtEn:zeroth-order_logic x (2023-08-19), but WtEn:zero-order_logic exists

1.8. higher order

higher-order_logic =,higher-order_logic =,HOL . HOL

higher-order logic (HOL)

//ALSOIN second order {
Second-order and Higher-order Logic
https://plato.stanford.edu/entries/logic-higher-order/
}


1.9.1. second-order propositional logic

second-order_propositional_logic =,second-order_propositional_logic . second-order_propositional_logic
https://en.wikipedia.org/wiki/Second-order_propositional_logic

1.10.1. monadic predicate logic

monadic_predicate_logic =,monadic_predicate_logic . monadic_predicate_logic
monadic predicate logic
WtEn:monadic_predicate_logic
Ggl:monadic predicate logic

1.11. modal logic

modal_logic =,modal_logic . modal_logic
curr also at 가능성,possibility

modes? :
  • 필연성 ... 반드시 ~, ~가 마땅하다, ~가 필연적이다,
  • 가능성 ... ~일 수도,

WtEn:modal_logic
{
"Any formal_system that attempts to deal with modalities, such as 가능성,possibility and necessity, but also obligation and permission{ 허가? 퍼미션,permission페이지는 존재 }." (wt)




1.14. 0-valued logic

1.15. 1-valued logic

1.16. 2-valued logic



two-valued_logic
two-valued_logic =,two-valued_logic . two-valued_logic
{
two-valued logic


}

1.19. 9-valued logic


rel.
IEEE 1164

WpEn:Nine-valued_logic redir to
https://en.wikipedia.org/wiki/IEEE_1164
"The IEEE 1164 standard (Multivalue Logic System for VHDL Model Interoperability)"

1.22. deontic logic

deontic_logic =,deontic_logic . deontic_logic
{
deontic logic
WtEn:deontic_logic
Ggl:deontic logic
}

1.23. epistemic logic

epistemic_logic =,epistemic_logic . epistemic_logic
{
epistemic logic
WtEn:epistemic_logic
{ 최소 두 logic의 명칭
epistemic modal logic, a subfield of modal_logic that is concerned with reasoning about knowledge.
dynamic epistemic logic, a logical framework dealing with knowledge and information change.
}
Ggl:epistemic logic
}

1.24. doxastic logic

doxastic_logic =,doxastic_logic . doxastic_logic
{
doxastic logic


WtEn:doxastic_logic
진술,statement믿음,belief이 포함된 경우를 다루는 modal_logic의 한 갈래?

Ggl:doxastic logic
}

1.26. universal logic

universal_logic =,universal_logic . universal_logic
universal logic


1.27. temporal logic

1.27.1. linear temporal logic

1.27.2. alternating-time temporal logic

1.29. computation tree logic (CTL)

computation tree logic
computation_tree_logic (CTL)

computational tree logic 이란 표현도 많이 보인다 ex. WpEn:CTL*


1.29.1. CTL*

"CTL* is a superset of computational tree logic(computation_tree_logic?) (CTL) and linear_temporal_logic (LTL). It freely combines path_quantifiers and temporal_operators. Like CTL, CTL* is a branching-time logic. The formal semantics of CTL* formulae are defined with respect to a given Kripke_structure." (we)


1.30. sequential logic VS. combinational logic

1.30.1. sequential logic

sequential logic
sequential_logic =,sequential_logic =,sequential_logic . sequential_logic Srch:sequential_logic
순차논리 로 보통 번역하는 듯

이건 뜻이... sequential logic circuit을 줄인거랑, 페이지를 나누어야 하나?

WtEn:sequential_logic = https://en.wiktionary.org/wiki/sequential_logic
(short) 즉 메모리를 가지고 있다. input history를 기억한다.

https://ko.wikipedia.org/wiki/순차_논리



Ndict:sequential logic
Ggl:sequential logic
"sequential logic"
"sequential logic"

1.30.2. combinational logic

combinational logic
조합논리,combinational_logic
combinational_logic =,combinational_logic =,combinational_logic . combinational_logic Srch:combinational_logic
조합논리 로 보통 번역하는 듯

combinational logic




1.30.3. CHK

기반 이론이 되는 논리 실제 장치 : logic_circuit logic_circuit WtEn:logic_circuit 논리회로,logic_circuit ? Ndict:논리 회로 Ggl:논리 회로 논리회로 logic_circuit
sequential_logic sequential_logic_circuit = sequential_circuit
combinational_logic combinational_logic_circuit = combinational_circuit

1.32. fixed-point logic


fixed-point_logic =,fixed-point_logic =,fixed-point_logic . fixed-point_logic
{
고정점논리 ?



}

1.33. ADDHERE( _LOGIC)


1.34. ADDHERE( _LOGIC)


1.35. ADDHERE( _LOGIC)

1.36. ADDHERE( _LOGIC)


1.37. ADDHERE( _LOGIC)


1.38. ADDHERE( _LOGIC)


.... ADDHERE( _LOGIC)

2. Sub (logic_ / logical_)

두 Prefix 가 있는데 의미 차이가 혹시 있는지... usage 차이는 있는데.
logic_
logical_
Prefix 차이 나누어서 일단 목록 만들까? - 나중에 많아지면

2.1. Cmp: logic operation / logic operator / logic connective

logic operation
logic operator
logic connective
or
logical_connective
WtEn:logical_connective

....

logic_operation
WtEn:logic_operation
논리연산
연산,operation


logic connective
logic_connective
Ggl:logic connective

2.2. logic circuit

logic_circuit =,logic_circuit . logic_circuit
logic circuit
WtEn:logic_circuit
논리회로 ?

2.2.1. digital logic circuit

digital_logic_circuit
digital logic circuit
디지털논리회로

2.4. logic programming

logic_programming =,logic_programming =,logic_programming . logic_programming
{
logic programming


번역?
논리프로그래밍
논리적프로그래밍
로직프로그래밍
....
중에?


Sub:


constraint_logic_programming =,constraint_logic_programming =,constraint_logic_programming . constraint_logic_programming
{
"is a form of constraint_programming{WpEn:Constraint_programming = https://en.wikipedia.org/wiki/Constraint_programming}, in which logic_programming is extended to include concepts from constraint_satisfaction{ https://en.wikipedia.org/wiki/Constraint_satisfaction }."(we)
https://en.wikipedia.org/wiki/Constraint_logic_programming
constraint
WtEn:constraint_logic_programming ??
}






...
"logic programming"
Ndict:logic programming




logic_
logic_
logical_
logical_
...

...... ADDHERE (LOGIC(AL)_ ) // 일단 추가하고 나중에 위 둘로 분류.(를 전혀 할 필요 없을수도 있지만)