발음 /ɪ'kwɪvələns/ 이퀴벌런스,equivalence정도.

Sub:
행동치,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

동치관계

동치관계 정의
동치관계 정의
동치관계 정의

equivalence_relation

동치관계

동치관계

동치관계

동치관계,equivalence_relation

Up: 동치,equivalence, 관계,relation > 이항관계,binary_relation
}

범주,category의 동치,equivalence: category_equivalence - w

논리동치,logical_equivalence (논리학,logic 논리,logic 로직,logic)
{
논리적 동치

두 명제,proposition가 모든 가능성에서 동일한 진리값,truth_value을 가질 경우 두 명제는 논리적 동치이다. - chk

//tmp from 동치#s-2, chk
Compare:
논리상등,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

https://proofwiki.org/wiki/Definition:Logical_Equivalence

Up: 논리학,logic 논리,logic 로직,logic 동치,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?

MKLINK
material_conditional = material_implication
{
Material_conditional
}

Material_equivalence redir. to => If_and_only_if = https://en.wikipedia.org/wiki/If_and_only_if

... material_equivalence
... material_equivalence
}

동치류,equivalence_class
{
tmp see 동치관계#s-4

https://mathworld.wolfram.com/EquivalenceClass.html

... 동치류
... 동치류

Up: class (pagename?)
}

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:
동치계: 같은 해집합을 가진 두 선형계.

선형계,linear_system
계,system
해집합,solution_set

via 김현철 http://kocw.net/home/search/kemView.do?kemId=1267347 1. 13m
}

프로그램동치
program_equivalence =,program_equivalence .
{
https://www.pls-lab.org/en/Program_equivalence
"Given two programs, when are they equal/the same/equivalent?"

프로그램,program
}

튜링_동치,Turing_equivalence =튜링_동치,Turing_equivalence =,Turing_equivalence . 튜링_동치 Turing_equivalence
{
Turing equivalence

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

https://en.wiktionary.org/wiki/Turing_equivalence X 2024-04-28

Cmp 튜링_완전성,Turing_completeness

}// Turing equivalence .... Turing equivalence Turing equivalence

ADDHERE

단어 뒷부분 겹침
bivalence =,bivalence .
{
bivalence
bivalence

논리학
principle_of_bivalence =,principle_of_bivalence .
bivalence_principle =,bivalence_principle .
{
법칙,law or 원리,principle.

MKL
multi-valued_logic

"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
}

bivalence
bivalence
bivalence
}

원자가,valence

Cmp:
equation(방정식 or ...), identity(항등식 or 항등성 or 항등-)

antiequivalence =,antiequivalence . antiequivalence
anti-equivalence =,anti-equivalence . anti-equivalence
{
anti-equivalence ?
antiequivalence ?

antiequivalence ?
antiequivalence ?

....
antiequivalence
antiequivalence
}

2023-01-11 현재
동치,equivalence는 없고, see
동치관계,equivalence_relation

동치
= https://ko.wikipedia.org/wiki/동치

동치
http://www.ktword.co.kr/test/view/view.php?no=4765