발음 /ɪ'kwɪvələns/ 이퀴벌런스,equivalence정도.
Sub:
동치류,equivalence_class
행동치,row_equivalence - 행동치,row_equivalence
동치관계,equivalence_relation (관계,relation)
=동치관계,equivalence_relation =,equivalence_relation 동치관계 equivalence_relation
{
동치류,equivalence_class
행동치,row_equivalence - 행동치,row_equivalence
동치관계,equivalence_relation (관계,relation)
=동치관계,equivalence_relation =,equivalence_relation 동치관계 equivalence_relation
{
is_a 관계,relation
동치관계 - 확인. Sub: 퍼지동치관계,fuzzy_equivalence_relation =퍼지동치관계,fuzzy_equivalence_relation =,fuzzy_equivalence_relation 퍼지동치관계 fuzzy_equivalence_relation
} // fuzzy equivalence relation ... fuzzy equivalence relation fuzzy equivalence relation fuzzy equivalence relation
} // fuzzy equivalence relation ... fuzzy equivalence relation fuzzy equivalence relation fuzzy equivalence relation
//tmp from 동치#s-2, chk
논리상등,logical_equality (curr at 상등,equality)
다른점비교 tbw
2.1 실질적 동치 - material_equivalence - 필요충분조건 성립하는 경우, aka 동일률
2.2. 논리적 동치 - 문장,sentence P가 문장 Q의 논리적귀결(논리결과,logical_consequence)이며 또한 Q가 P의 논리적 귀결이면, P와 Q 간에 논리적동치(논리동치,logical_equivalence)가 성립한다고 말함
Compare:2.2. 논리적 동치 - 문장,sentence P가 문장 Q의 논리적귀결(논리결과,logical_consequence)이며 또한 Q가 P의 논리적 귀결이면, P와 Q 간에 논리적동치(논리동치,logical_equivalence)가 성립한다고 말함
논리상등,logical_equality (curr at 상등,equality)
다른점비교 tbw
Twins:
Logical_equivalence = https://simple.wikipedia.org/wiki/Logical_equivalence
Logical_equivalence = https://en.wikipedia.org/wiki/Logical_equivalence
Logical_equivalence = https://simple.wikipedia.org/wiki/Logical_equivalence
Logical_equivalence = https://en.wikipedia.org/wiki/Logical_equivalence
material_equivalence
{
= biconditional? logical_biconditional { AKA material biconditional ## material_biconditional MKLINK: XNOR_gate Twins: Logical_biconditional = https://en.wikipedia.org/wiki/Logical_biconditional }
= iff?
{
= biconditional? logical_biconditional { AKA material biconditional ## material_biconditional MKLINK: XNOR_gate Twins: Logical_biconditional = https://en.wikipedia.org/wiki/Logical_biconditional }
= iff?
equivalent_system or
equivalent_systems
{
// equival..의 번역 참조 @ kms:
// https://www.kms.or.kr/mathdict/list.html?key=ename&keyword=equivalent
// https://www.kms.or.kr/mathdict/list.html?key=ename&keyword=equivalence
동치계 ... 가 최선?
equivalent_systems
{
// equival..의 번역 참조 @ kms:
// https://www.kms.or.kr/mathdict/list.html?key=ename&keyword=equivalent
// https://www.kms.or.kr/mathdict/list.html?key=ename&keyword=equivalence
동치계 ... 가 최선?
Equivalent systems:
Two linear systems with the same solution set.
동치계: 같은 해집합을 가진 두 선형계.프로그램동치
program_equivalence =,program_equivalence .
{
https://www.pls-lab.org/en/Program_equivalence
"Given two programs, when are they equal/the same/equivalent?"
program_equivalence =,program_equivalence .
{
https://www.pls-lab.org/en/Program_equivalence
"Given two programs, when are they equal/the same/equivalent?"
튜링_동치,Turing_equivalence =튜링_동치,Turing_equivalence =,Turing_equivalence . 튜링_동치 Turing_equivalence
{
Turing equivalence
{
Turing equivalence
https://en.wiktionary.org/wiki/Turing_equivalence X 2024-04-28
MKL
치환,permutation or 순열,permutation
Wilf_class
permutation_class =,permutation_class . permutation_class
{
permutation class
wt x 2024-05-06
치환,permutation or 순열,permutation
Wilf_class
permutation_class =,permutation_class . permutation_class
{
permutation class
wt x 2024-05-06
"A permutation class may also be known as a pattern_class, closed_class, or simply class of permutations." (we)
ADDHERE
논리학
principle_of_bivalence =,principle_of_bivalence .
bivalence_principle =,bivalence_principle .
{
법칙,law or 원리,principle.
principle_of_bivalence =,principle_of_bivalence .
bivalence_principle =,bivalence_principle .
{
법칙,law or 원리,principle.
"principle (or law) of bivalence ... A logic satisfying this principle is called a two-valued_logic or bivalent_logic"
https://en.wikipedia.org/wiki/Principle_of_bivalence
}
https://en.wikipedia.org/wiki/Principle_of_bivalence
}
antiequivalence =,antiequivalence . antiequivalence
anti-equivalence =,anti-equivalence . anti-equivalence
{
anti-equivalence ?
antiequivalence ?
anti-equivalence =,anti-equivalence . anti-equivalence
{
anti-equivalence ?
antiequivalence ?