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
}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
메모리 없음. [[무기억성,memoryless_property]]?
@@ -367,14 +370,7 @@
Ndict:"combinational logic"
cf. [[combinational_circuit]] =,combinational_circuit =,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
WtEn:logic_gate
Ggl:"logic gate"
== logic programming ==
[[logic_programming]] =,logic_programming =,logic_programming . logic_programming
== logic gate ==
[[logic_gate]] =,logic_gate . logic_gate
논리게이트
[[논리게이트logic_gate]]
[[논리게이트,logic_gate]]
== logic programming ==
[[logic_programming]] =,logic_programming =,logic_programming . logic_programming
논리
논리학
논리체계
...
논리,logic
논리학,logic
논리학
논리체계
...
논리,logic
논리학,logic
Contents
- 1. Sub (_logic)
- 1.1. classical Logic
- 1.2. non-classical logic
- 1.3. mathematical logic
- 1.4. symbolic logic
- 1.5. 0th order
- 1.6. 1st order
- 1.7. 2nd order
- 1.8. higher order
- 1.9. propositional logic
- 1.10. predicate logic
- 1.11. modal logic
- 1.12. many-sorted logic
- 1.13. many-valued logic
- 1.14. 0-valued logic
- 1.15. 1-valued logic
- 1.16. 2-valued logic
- 1.17. 3-valued logic
- 1.18. 4-valued logic
- 1.19. 9-valued logic
- 1.20. finite-valued logic
- 1.21. infinite-valued logic
- 1.22. deontic logic
- 1.23. epistemic logic
- 1.24. doxastic logic
- 1.25. intuitionistic logic
- 1.26. universal logic
- 1.27. temporal logic
- 1.28. dynamic logic (modal logic)
- 1.29. computation tree logic (CTL)
- 1.30. sequential logic VS. combinational logic
- 1.31. metalogic
- 1.32. 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)
- 2. Sub (logic_ / logical_)
1.3. mathematical logic ¶
https://ko.wikipedia.org/wiki/수리_논리학
https://simple.wikipedia.org/wiki/Mathematical_logic
https://en.wikipedia.org/wiki/Mathematical_logic
https://simple.wikipedia.org/wiki/Mathematical_logic
https://en.wikipedia.org/wiki/Mathematical_logic
syn. symbolic_logic ? - see proofwiki
1.6. 1st order ¶
1.7. 2nd order ¶
Cmp:
second-order_arithmetic =,second-order_arithmetic . second-order_arithmetic {
second-order arithmetic
https://en.wikipedia.org/wiki/Second-order_arithmetic
}
second-order_arithmetic =,second-order_arithmetic . second-order_arithmetic {
second-order arithmetic
https://en.wikipedia.org/wiki/Second-order_arithmetic
}
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/
}
Second-order and Higher-order Logic
https://plato.stanford.edu/entries/logic-higher-order/
}
1.9. propositional logic ¶
propositional_logic =,propositional_logic . propositional_logic
propositional_logic
propositional_logic
propositional_logic
propositional_logic
https://simple.wikipedia.org/wiki/Propositional_logic
https://ko.wikipedia.org/wiki/명제_논리
Propositional_calculus
https://ko.wikipedia.org/wiki/명제_논리
Propositional_calculus
"propositional logic"
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
https://en.wikipedia.org/wiki/Second-order_propositional_logic
1.10. predicate logic ¶
aka predicate_calculus =,predicate_calculus . predicate_calculus
predicate_calculus
predicate_calculus
predicate_calculus
predicate_calculus
1.10.1. monadic predicate logic ¶
monadic_predicate_logic =,monadic_predicate_logic . monadic_predicate_logic
monadic predicate logic
monadic_predicate_logic
monadic predicate logic
monadic predicate logic
monadic_predicate_logic
monadic predicate logic
1.11. modal logic ¶
modes? :
{
"Any formal_system that attempts to deal with modalities, such as 가능성,possibility and necessity, but also obligation and permission{ 허가? 퍼미션,permission페이지는 존재 }." (wt)
- 필연성 ... 반드시 ~, ~가 마땅하다, ~가 필연적이다,
- 가능성 ... ~일 수도,
{
"Any formal_system that attempts to deal with modalities, such as 가능성,possibility and necessity, but also obligation and permission{ 허가? 퍼미션,permission페이지는 존재 }." (wt)
Related terms:
deontic_logic deontic_logic deontic_logic
doxastic_logic doxastic_logic doxastic_logic
epistemic_logic epistemic_logic epistemic_logic
}
deontic_logic deontic_logic deontic_logic
doxastic_logic doxastic_logic doxastic_logic
epistemic_logic epistemic_logic epistemic_logic
}
1.13. many-valued logic ¶
many-valued_logic =,many-valued_logic . many-valued_logic
many-valued logic
aka:
multi-valued logic
multivalued logic
many-valued logic
aka:
multi-valued logic
multivalued logic
1.16. 2-valued logic ¶
many-valued_logic중에서 가능한 값,value이 두 개인 경우.
https://ncatlab.org/nlab/show/two-valued logic
two-valued logic
https://ncatlab.org/nlab/show/two-valued logic
two-valued logic
}
1.19. 9-valued logic ¶
rel.
IEEE 1164
IEEE 1164
Nine-valued_logic redir to
https://en.wikipedia.org/wiki/IEEE_1164
https://en.wikipedia.org/wiki/IEEE_1164
"The IEEE 1164 standard (Multivalue Logic System for VHDL Model Interoperability)"
1.23. epistemic logic ¶
epistemic_logic =,epistemic_logic . epistemic_logic
{
epistemic logic
epistemic_logic
{ 최소 두 logic의 명칭
epistemic logic
}
{
epistemic logic
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.
}dynamic epistemic logic, a logical framework dealing with knowledge and information change.
epistemic logic
}
1.25. intuitionistic logic ¶
intuitionistic_logic =,intuitionistic_logic . intuitionistic_logic
intuitionistic logic
가능한 번역들:
직관주의 논리
직관논리
intuitionistic_logic
intuitionistic logic
가능한 번역들:
직관주의 논리
직관논리
intuitionistic_logic
https://mathworld.wolfram.com/IntuitionisticLogic.html
Intuitionistic_logic ??? jjjjjj
Intuitionistic_logic = https://en.wikipedia.org/wiki/Intuitionistic_logic
Intuitionistic_logic ??? jjjjjj
Intuitionistic_logic = https://en.wikipedia.org/wiki/Intuitionistic_logic
Up:
직관주의,intuitionism =,직관주의 =,intuitionism . { 배중률{ 배중률 배중률 }을 배제 ... rel. 직관,intuition { intuition 직관 intuition } .... https://ko.wikipedia.org/wiki/직관주의 https://en.wikipedia.org/wiki/Intuitionism }
비고전주의논리학 비고전주의논리학
직관주의,intuitionism =,직관주의 =,intuitionism . { 배중률{ 배중률 배중률 }을 배제 ... rel. 직관,intuition { intuition 직관 intuition } .... https://ko.wikipedia.org/wiki/직관주의 https://en.wikipedia.org/wiki/Intuitionism }
비고전주의논리학 비고전주의논리학
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.1. sequential logic ¶
sequential logic
sequential_logic =,sequential_logic =,sequential_logic . sequential_logic sequential_logic
순차논리 로 보통 번역하는 듯
sequential_logic =,sequential_logic =,sequential_logic . sequential_logic sequential_logic
순차논리 로 보통 번역하는 듯
이건 뜻이... sequential logic circuit을 줄인거랑, 페이지를 나누어야 하나?
sequential_logic = https://en.wiktionary.org/wiki/sequential_logic
(short) 즉 메모리를 가지고 있다. input history를 기억한다.
https://ko.wikipedia.org/wiki/순차_논리FSM(finite-state_machine)을 만들 때 사용함.
Moore_machine 무어_기계,Moore_machine Moore_machine Moore_machine Moore_machine Moore machine Moore machine Moore machine "Moore machine"
Mealy_machine 밀리_기계,Mealy_machine Mealy_machine Mealy_machine Mealy_machine Mealy machine Mealy machine Mealy machine "Mealy machine"
만들때도?
암튼 기계,meachines
Moore_machine 무어_기계,Moore_machine Moore_machine Moore_machine Moore_machine Moore machine Moore machine Moore machine "Moore machine"
Mealy_machine 밀리_기계,Mealy_machine Mealy_machine Mealy_machine Mealy_machine Mealy machine Mealy machine Mealy machine "Mealy machine"
만들때도?
암튼 기계,meachines
1.30.2. combinational logic ¶
combinational logic
조합논리,combinational_logic
combinational_logic =,combinational_logic =,combinational_logic . combinational_logic combinational_logic
조합논리 로 보통 번역하는 듯
조합논리,combinational_logic
combinational_logic =,combinational_logic =,combinational_logic . combinational_logic combinational_logic
조합논리 로 보통 번역하는 듯
combinational logic
1.30.3. CHK ¶
기반 이론이 되는 논리 | 실제 장치 : logic_circuit logic_circuit logic_circuit 논리회로,logic_circuit ? 논리 회로 논리 회로 논리회로 logic_circuit |
sequential_logic | sequential_logic_circuit = sequential_circuit |
combinational_logic | combinational_logic_circuit = combinational_circuit |
2. Sub (logic_ / logical_) ¶
두 Prefix 가 있는데 의미 차이가 혹시 있는지... usage 차이는 있는데.
logic_
logical_
Prefix 차이 나누어서 일단 목록 만들까? - 나중에 많아지면
logic_
logical_
Prefix 차이 나누어서 일단 목록 만들까? - 나중에 많아지면
2.4. logic programming ¶
번역?
논리프로그래밍
논리적프로그래밍
로직프로그래밍
....
중에?
논리프로그래밍
논리적프로그래밍
로직프로그래밍
....
중에?
Sub:
inductive_logic_programming =,inductive_logic_programming . inductive_logic_programming
{
inductive_logic_programming ??
https://en.wikipedia.org/wiki/Inductive_logic_programming
https://en.wikipedia.org/wiki/Inductive_logic_programming
induction { VG 귀납,induction }
}
{
inductive_logic_programming ??
https://en.wikipedia.org/wiki/Inductive_logic_programming
https://en.wikipedia.org/wiki/Inductive_logic_programming
induction { VG 귀납,induction }
}
constraint_logic_programming =,constraint_logic_programming =,constraint_logic_programming . constraint_logic_programming
{
"is a form of constraint_programming{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
constraint_logic_programming ??
}
{
"is a form of constraint_programming{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
constraint_logic_programming ??
}
logic_programming
https://simple.wikipedia.org/wiki/Logic_programming
https://en.wikipedia.org/wiki/Logic_programming
https://simple.wikipedia.org/wiki/Logic_programming
https://en.wikipedia.org/wiki/Logic_programming
logic_
logic_
logical_
logical_
...
logic_
logical_
logical_
...
...... ADDHERE (LOGIC(AL)_ ) // 일단 추가하고 나중에 위 둘로 분류.(를 전혀 할 필요 없을수도 있지만)