논리
논리학
논리체계
...
논리,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.9.1
.
second-order propositional logic
1.10
.
predicate logic
1.10.1
.
monadic 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.27.1
.
linear temporal logic
1.27.2
.
alternating-time temporal logic
1.28
.
dynamic logic (modal logic)
1.29
.
computation tree logic (CTL)
1.29.1
.
CTL*
1.30
.
sequential logic VS. combinational logic
1.30.1
.
sequential logic
1.30.2
.
combinational logic
1.30.3
.
CHK
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_)
2.1
.
Cmp: logic operation / logic operator / logic connective
2.2
.
logic circuit
2.2.1
.
digital logic circuit
2.3
.
logic gate
2.4
.
logic programming
[
edit
]
1
.
Sub (_logic)
¶
[
edit
]
1.1
.
classical Logic
¶
classical logic
고전논리 (wk)
classical_logic
https://proofwiki.org/wiki/Definition:Classical_Logic
https://ko.wikipedia.org/wiki/고전_논리
https://en.wikipedia.org/wiki/Classical_logic
[
edit
]
1.2
.
non-classical logic
¶
non-classical_logic
=,non-classical_logic . non-classical_logic
non-classical logic
비고전논리 (wk)
non-classical_logic
https://ko.wikipedia.org/wiki/비고전_논리
non-classical logic
non-classical logic
[
edit
]
1.3
.
mathematical logic
¶
mathematical_logic
mathematical
https://ko.wikipedia.org/wiki/수리_논리학
https://simple.wikipedia.org/wiki/Mathematical_logic
https://en.wikipedia.org/wiki/Mathematical_logic
https://proofwiki.org/wiki/Definition:Mathematical_Logic
syn. symbolic_logic ? - see proofwiki
[
edit
]
1.4
.
symbolic logic
¶
심벌,symbol
기호,symbol
https://proofwiki.org/wiki/Definition:Symbolic_Logic
[
edit
]
1.5
.
0th order
¶
zeroth-order_logic
=,zeroth-order_logic . zeroth-order_logic
zeroth-order_logic
x (2023-08-19), but
zero-order_logic
exists
[
edit
]
1.6
.
1st order
¶
first-order_logic
=,first-order_logic . first-order_logic
first-order logic
first-order_logic
First_order_logic
=
https://simple.wikipedia.org/wiki/First_order_logic
1차_논리
=
https://ko.wikipedia.org/wiki/1차_논리
First-order_logic
=
https://en.wikipedia.org/wiki/First-order_logic
https://mathworld.wolfram.com/First-OrderLogic.html
https://planetmath.org/firstorderlogic
[
edit
]
1.7
.
2nd order
¶
second-order logic
second-order_logic
Cmp:
second-order_arithmetic
=,second-order_arithmetic . second-order_arithmetic {
second-order arithmetic
https://en.wikipedia.org/wiki/Second-order_arithmetic
}
https://ko.wikipedia.org/wiki/2차_논리
https://ncatlab.org/nlab/show/second-order logic
[
edit
]
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/
}
https://ncatlab.org/nlab/show/higher-order logic
[
edit
]
1.9
.
propositional logic
¶
propositional_logic
=,propositional_logic . propositional_logic
propositional_logic
propositional_logic
명제,proposition
AKA
propositional_calculus
propositional_calculus
propositional_logic
https://simple.wikipedia.org/wiki/Propositional_logic
https://ko.wikipedia.org/wiki/명제_논리
Propositional_calculus
https://proofwiki.org/wiki/Definition:Propositional_Logic
"propositional logic"
[
edit
]
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
[
edit
]
1.10
.
predicate logic
¶
predicate_logic
=,predicate_logic . predicate_logic
predicate logic
predicate_logic
https://simple.wikipedia.org/wiki/Predicate_logic
https://ko.wikipedia.org/wiki/술어_논리
https://proofwiki.org/wiki/Definition:Predicate_Logic
https://ncatlab.org/nlab/show/predicate logic
aka
predicate_calculus
=,predicate_calculus . predicate_calculus
predicate_calculus
predicate_calculus
[
edit
]
1.10.1
.
monadic predicate logic
¶
monadic_predicate_logic
=,monadic_predicate_logic . monadic_predicate_logic
monadic predicate logic
monadic_predicate_logic
monadic predicate logic
[
edit
]
1.11
.
modal logic
¶
modal_logic
=,modal_logic . modal_logic
curr also at
가능성,possibility
modes? :
필연성 ... 반드시 ~, ~가 마땅하다, ~가 필연적이다,
가능성 ... ~일 수도,
modal_logic
{
"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
}
https://namu.wiki/w/양상논리
....
양상논리
양상논리
양상논리
....
modal logic
modal logic
modal logic
[
edit
]
1.12
.
many-sorted logic
¶
many-sorted_logic
=,many-sorted_logic . many-sorted_logic
many-sorted logic
many-sorted_logic
=
https://en.wiktionary.org/wiki/many-sorted_logic
https://en.wikipedia.org/wiki/Many-sorted_logic
Cmp:
many-valued_logic
[
edit
]
1.13
.
many-valued logic
¶
many-valued_logic
=,many-valued_logic . many-valued_logic
many-valued logic
aka:
multi-valued logic
multivalued logic
rel.
https://en.wikipedia.org/wiki/Don't-care_term
Inter:
https://ko.wikipedia.org/wiki/다치_논리
진리값,truth_value
이 두 개 이상인
명제논리,propositional_logic
{
propositional_logic
}
https://namu.wiki/w/다치논리
Many-valued_logic
=
https://en.wikipedia.org/wiki/Many-valued_logic
many-valued logic
"many-valued logic"
[
edit
]
1.14
.
0-valued logic
¶
[
edit
]
1.15
.
1-valued logic
¶
[
edit
]
1.16
.
2-valued logic
¶
둘,two
{
석세서,successor
of
석세서,successor
of
영,zero
.
}
two-valued_logic
two-valued_logic
=,two-valued_logic . two-valued_logic
{
two-valued logic
many-valued_logic
중에서 가능한
값,value
이 두 개인 경우.
https://ncatlab.org/nlab/show/two-valued logic
two-valued logic
}
[
edit
]
1.17
.
3-valued logic
¶
https://ko.wikipedia.org/wiki/3치_논리
https://en.wikipedia.org/wiki/Three-valued_logic
[
edit
]
1.18
.
4-valued logic
¶
https://en.wikipedia.org/wiki/Four-valued_logic
[
edit
]
1.19
.
9-valued logic
¶
rel.
IEEE 1164
Nine-valued_logic
redir to
https://en.wikipedia.org/wiki/IEEE_1164
"The IEEE 1164 standard (Multivalue Logic System for VHDL Model Interoperability)"
[
edit
]
1.20
.
finite-valued logic
¶
https://en.wikipedia.org/wiki/Finite-valued_logic
[
edit
]
1.21
.
infinite-valued logic
¶
https://en.wikipedia.org/wiki/Infinite-valued_logic
[
edit
]
1.22
.
deontic logic
¶
deontic_logic
=,deontic_logic . deontic_logic
{
deontic logic
deontic_logic
deontic logic
}
[
edit
]
1.23
.
epistemic logic
¶
epistemic_logic
=,epistemic_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.
}
epistemic logic
}
[
edit
]
1.24
.
doxastic logic
¶
doxastic_logic
=,doxastic_logic . doxastic_logic
{
doxastic logic
doxastic
doxastic
doxastic
doxastic_logic
진술,statement
에
믿음,belief
이 포함된 경우를 다루는
modal_logic
의 한 갈래?
doxastic logic
}
[
edit
]
1.25
.
intuitionistic logic
¶
intuitionistic_logic
=,intuitionistic_logic . intuitionistic_logic
intuitionistic logic
가능한 번역들:
직관주의 논리
직관논리
intuitionistic_logic
intuitionistic_logic
=
http://en.wiktionary.org/wiki/intuitionistic_logic
https://mathworld.wolfram.com/IntuitionisticLogic.html
Intuitionistic_logic
??? jjjjjj
Intuitionistic_logic
=
https://en.wikipedia.org/wiki/Intuitionistic_logic
...
직관주의 논리
직관주의 논리
....
intuitionistic logic
intuitionistic logic
Up:
직관주의,intuitionism
=,직관주의 =,intuitionism . { 배중률{
배중률
배중률
}을 배제 ... rel.
직관,intuition
{ intuition
직관
intuition
} ....
https://ko.wikipedia.org/wiki/직관주의
https://en.wikipedia.org/wiki/Intuitionism
}
비고전주의논리학
비고전주의논리학
[
edit
]
1.26
.
universal logic
¶
universal_logic
=,universal_logic . universal_logic
universal logic
universal_logic
https://en.wikipedia.org/wiki/Universal_logic
[
edit
]
1.27
.
temporal logic
¶
시제논리 시간논리 ...둘중 하나로 번역.
https://ko.wikipedia.org/wiki/시간_논리
https://en.wikipedia.org/wiki/Temporal_logic
[
edit
]
1.27.1
.
linear temporal logic
¶
linear temporal logic
linear temporal logic
"linear temporal logic"
[
edit
]
1.27.2
.
alternating-time temporal logic
¶
https://en.wikipedia.org/wiki/Alternating-time_temporal_logic
alternating-time temporal logic
"alternating-time temporal logic"
[
edit
]
1.28
.
dynamic logic (modal logic)
¶
dynamic_logic
Dynamic_logic_(modal_logic)
=
https://en.wikipedia.org/wiki/Dynamic_logic_(modal_logic
)
=
https://en.wikipedia.org/wiki/Dynamic_logic_(modal_logic)
[
edit
]
1.29
.
computation tree logic (CTL)
¶
computation tree logic
computation_tree_logic
(CTL)
computational tree logic 이란 표현도 많이 보인다 ex.
CTL*
MKL
temporal_logic
[
edit
]
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_quantifier
s and
temporal_operator
s. Like CTL, CTL* is a branching-time logic. The formal semantics of CTL* formulae are defined with respect to a given
Kripke_structure
." (we)
CTL*
=
https://en.wikipedia.org/wiki/CTL*
[
edit
]
1.30
.
sequential logic
VS.
combinational logic
¶
[
edit
]
1.30.1
.
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/순차_논리
https://en.wikipedia.org/wiki/Sequential_logic
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"
만들때도?
암튼
기계,meachine
s
sequential logic
sequential logic
"sequential logic"
"sequential logic"
[
edit
]
1.30.2
.
combinational logic
¶
combinational logic
조합논리,combinational_logic
combinational_logic
=,combinational_logic =,combinational_logic . combinational_logic
combinational_logic
조합논리 로 보통 번역하는 듯
combinational logic
combinational_logic
메모리 없음.
무기억성,memoryless_property
?
https://en.wikipedia.org/wiki/Combinational_logic
combinational logic
cf.
조합회로,combinational_circuit
[
edit
]
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
[
edit
]
1.31
.
metalogic
¶
metalogic
metalogic
[
edit
]
1.32
.
fixed-point logic
¶
fixed-point logic
fixed-point logic
fixpoint logic
fixed-point_logic
=,fixed-point_logic =,fixed-point_logic . fixed-point_logic
{
고정점논리 ?
https://en.wikipedia.org/wiki/Fixed-point_logic
rel
고정점,fixed_point
}
[
edit
]
1.33
.
ADDHERE( _LOGIC)
¶
[
edit
]
1.34
.
ADDHERE( _LOGIC)
¶
[
edit
]
1.35
.
ADDHERE( _LOGIC)
¶
[
edit
]
1.36
.
ADDHERE( _LOGIC)
¶
[
edit
]
1.37
.
ADDHERE( _LOGIC)
¶
[
edit
]
1.38
.
ADDHERE( _LOGIC)
¶
.... ADDHERE( _LOGIC)
[
edit
]
2
.
Sub (logic_ / logical_)
¶
두 Prefix 가 있는데 의미 차이가 혹시 있는지... usage 차이는 있는데.
logic_
logical_
Prefix 차이 나누어서 일단 목록 만들까? -
나중에 많아지면
[
edit
]
2.1
.
Cmp: logic operation / logic operator / logic connective
¶
logic operation
logic operator
logic connective
or
logical_connective
logical_connective
....
logic_operation
logic_operation
논리연산
연산,operation
logic operator
logic_operator
logic operator
logic connective
logic_connective
logic connective
[
edit
]
2.2
.
logic circuit
¶
logic_circuit
=,logic_circuit . logic_circuit
logic circuit
logic_circuit
논리회로 ?
[
edit
]
2.2.1
.
digital logic circuit
¶
digital_logic_circuit
digital logic circuit
디지털논리회로
[
edit
]
2.3
.
logic gate
¶
logic_gate
=,logic_gate . logic_gate
logic gate
논리게이트
logic_gate
logic gate
[
edit
]
2.4
.
logic programming
¶
logic_programming
=,logic_programming =,logic_programming . logic_programming
{
logic programming
로직,logic
프로그래밍,programming
번역?
논리프로그래밍
논리적프로그래밍
로직프로그래밍
....
중에?
Topics:
Horn_clause
프롤로그,Prolog
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 }
}
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
??
}
logic_programming
?
http://www.aistudy.com/logic/logic_programming.htm
...
"logic programming"
logic programming
logic_programming
https://simple.wikipedia.org/wiki/Logic_programming
https://en.wikipedia.org/wiki/Logic_programming
Up:
프로그래밍패러다임,programming_paradigm
logic
(
로직,logic
논리,logic
?
논리학,logic
?)
}
logic_
logic_
logical_
logical_
...
...... ADDHERE (LOGIC(AL)_ ) //
일단 추가하고 나중에 위 둘로 분류.(를 전혀 할 필요 없을수도 있지만)
Cmp:
앨지브라,algebra
칼큘러스,calculus
https://everything2.com/title/logic
logic is
reason
Retrieved from http://red-ruby.com/wiki/wiki.php/로직,logic
last modified 2024-05-06 14:58:19