Difference between r1.17 and the current
@@ -1,6 +1,8 @@
발음 /ɪ'kwɪvələns/ [[이퀴벌런스,equivalence]]정도.
Sub:
=동치관계,equivalence_relation =,equivalence_relation 동치관계 equivalence_relation
{
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]]
{
}
----
[[equivalent_systems]]
{
@@ -120,6 +109,42 @@
[[프로그램,program]]
}
----
[[bivalence]] =,bivalence .
{
}
----
[[튜링_동치,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 -
행동치,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
//tmp from 
동치#s-2, chk
논리상등,logical_equality (curr at 상등,equality)
다른점비교 tbw
동치#s-2, chk2.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_equivalenceLogical_equivalence = https://en.wikipedia.org/wiki/Logical_equivalencematerial_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 ?