동치,equivalence

Difference between r1.17 and the current

@@ -1,6 +1,8 @@
발음 /ɪ'kwɪvələns/ [[이퀴벌런스,equivalence]]정도.

Sub:
[[동치류,equivalence_class]]
[[행동치,row_equivalence]] - [[VG:행동치,row_equivalence]]
[[동치관계,equivalence_relation]] ([[관계,relation]])
=동치관계,equivalence_relation =,equivalence_relation 동치관계 equivalence_relation
{
@@ -78,19 +80,6 @@
... Google:material_equivalence
}
----
[[동치류,equivalence_class]]
{
tmp see [[Namu:동치관계#s-4]]
 
https://mathworld.wolfram.com/EquivalenceClass.html
 
 
... Naver:동치류
... Google:동치류
 
Up: [[class]] (pagename?)
}
[[equivalent_system]] or
[[equivalent_systems]]
{
@@ -120,6 +109,42 @@
[[프로그램,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 [[Date(2024-04-28T00:26:41)]]
 
Cmp [[튜링_완전성,Turing_completeness]]
 
}// Turing equivalence .... Ggl:"Turing equivalence" Naver:"Turing equivalence"
 
[[Wilf_equivalence]] =,Wilf_equivalence . Wilf_equivalence
{
 
MKL
[[치환,permutation]] or [[순열,permutation]]
[[Wilf_class]]
[[permutation_class]] =,permutation_class . permutation_class
{
'''permutation class'''
wt x [[Date(2024-05-06T05:36:08)]]
 
"A permutation class may also be known as a pattern_class, closed_class, or simply class of permutations." (we)
 
https://en.wikipedia.org/wiki/Permutation_class
 
}// permutation class .... Naver:"permutation class" Bing:"permutation class" Ggl:"permutation class"
 
Srch:Wilf_equivalence
}// Wilf equivalence ... Naver:"Wilf equivalence" Ggl:"Wilf equivalence" Bing:"Wilf equivalence"
 
----
ADDHERE
----
단어 뒷부분 겹침
[[bivalence]] =,bivalence .
{


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

Sub:
동치류,equivalence_class
행동치,row_equivalence - VG:행동치,row_equivalence
동치관계,equivalence_relation (관계,relation)
=동치관계,equivalence_relation =,equivalence_relation 동치관계 equivalence_relation
{


KmsK:동치관계 - 확인. Sub: 퍼지동치관계,fuzzy_equivalence_relation =퍼지동치관계,fuzzy_equivalence_relation =,fuzzy_equivalence_relation 퍼지동치관계 fuzzy_equivalence_relation
{
fuzzy equivalence relation
WtEn:fuzzy_equivalence_relation x 2024-03
} // fuzzy equivalence relation ... Naver:fuzzy equivalence relation Bing:fuzzy equivalence relation Ggl:fuzzy equivalence relation














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

//tmp from Namu:동치#s-2, chk
2.1 실질적 동치 - material_equivalence - 필요충분조건 성립하는 경우, aka 동일률
2.2. 논리적 동치 - 문장,sentence P가 문장 Q의 논리적귀결(논리결과,logical_consequence)이며 또한 Q가 P의 논리적 귀결이면, P와 Q 간에 논리적동치(논리동치,logical_equivalence)가 성립한다고 말함

Compare:
논리상등,logical_equality (curr at 상등,equality)
다른점비교 tbw




material_equivalence
{
= biconditional? logical_biconditional { AKA material biconditional ## material_biconditional MKLINK: XNOR_gate Twins: WpEn:Logical_biconditional = https://en.wikipedia.org/wiki/Logical_biconditional }
= iff?





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


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





}// Turing equivalence .... Ggl:Turing equivalence Naver:Turing equivalence

Wilf_equivalence =,Wilf_equivalence . Wilf_equivalence
{

MKL
치환,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

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

논리학
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
}



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

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



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