Difference between r1.16 and the current
@@ -10,34 +10,43 @@
[[참,true]]과 [[거짓,false]]으로 [[해석,interpretation]]되는 두 [[원소,element]]가 들어있는 [[집합,set]]. {0, 1} 또는 {False, True}.
MKLINK
[[Boolean_function]] =,Boolean_function . Boolean_function
{
MKLINK
[[Boolean-valued_function]] =,Boolean-valued_function . Boolean-valued_function
{
'''Boolean-valued function'''
MKLINK [[지시함수,indicator_function]] - [[VG:지시함수,indicator_function]]
....
Twins: [[WpEn:Boolean-valued_function]] = https://en.wikipedia.org/wiki/Boolean-valued_function
Ggl:"Boolean-valued function"
}
Ndict:"Boolean function"
Naver:"Boolean function"
Ggl:"Boolean function"
"Boolean function"
}
여기서 원소(entry)를 뽑는 행렬: [[logical_matrix]] = [[불_행렬,Boolean_matrix]]
[[logical_matrix]] =,logical_matrix =,logical_matrix . logical_matrix 논리행렬 ? 논리적행렬 ? KmsE:"logical matrix" x
WtEn:logical_matrix ?
MKLINK
[[Boolean_variable]] =,Boolean_variable . Boolean_variable { 값을 [[Boolean_domain]]에서 택하는 [[변수,variable]]. WtEn:Boolean_variable / mkl [[Boolean_value]] }
[[불_변수,Boolean_variable]] =불_변수,Boolean_variable =,Boolean_variable . 불_변수 Boolean_variable
{
[[값,value]]을 [[Boolean_domain]]에서 택하는 [[변수,variable]].
WtEn:Boolean_variable
Ref.
https://planetmath.org/booleandomain
mkl [[Boolean_value]]
}// Boolean variable ... Ggl:"Boolean variable"
{
WtEn:Boolean_function ?
WpSp:Boolean_function ?
WpEn:Boolean_function ?
Boolean function
[[WtEn:Boolean_function]]
= https://en.wiktionary.org/wiki/Boolean_function
WpSp:Boolean_function x 2024-04 ... https://simple.wikipedia.org/wiki/Boolean_function
[[WpEn:Boolean_function]]
= https://en.wikipedia.org/wiki/Boolean_function
MKLINK
[[Boolean-valued_function]] =,Boolean-valued_function . Boolean-valued_function
{
'''Boolean-valued function'''
불-값 함수?
MKLINK [[지시함수,indicator_function]] - [[VG:지시함수,indicator_function]]
....
Twins: [[WpEn:Boolean-valued_function]] = https://en.wikipedia.org/wiki/Boolean-valued_function
"Boolean-valued function"
} // Boolean-valued function ... Ggl:"Boolean-valued function"
Up: [[Boolean_algebra]] [[Boolean_logic]]
Up: [[불_대수,Boolean_algebra]] [[불_논리,Boolean_logic]]
}//"Boolean function" ... Ndict:"Boolean function" Naver:"Boolean function" Ggl:"Boolean function"
[[logical_matrix]] =,logical_matrix =,logical_matrix . logical_matrix 논리행렬 ? 논리적행렬 ? KmsE:"logical matrix" x
WtEn:logical_matrix ?
Sub:
불_정의역,Boolean_domain =불_정의역,Boolean_domain =,Boolean_domain 불_정의역 Boolean_domain
{
불_정의역 ? 은 내생각 , chk - Boolean domain Boolean domain Boolean domain
불_정의역,Boolean_domain =불_정의역,Boolean_domain =,Boolean_domain 불_정의역 Boolean_domain
{
불_정의역 ? 은 내생각 , chk - Boolean domain Boolean domain Boolean domain
$\displaystyle \mathbb{B}$
{false,true} 혹은 {T, F} 혹은 {0, 1} 혹은 {⊥, ⊤} 뭐 등등....
{false,true} 혹은 {T, F} 혹은 {0, 1} 혹은 {⊥, ⊤} 뭐 등등....
Boolean domain
참,true과 거짓,false으로 해석,interpretation되는 두 원소,element가 들어있는 집합,set. {0, 1} 또는 {False, True}.
참,true과 거짓,false으로 해석,interpretation되는 두 원소,element가 들어있는 집합,set. {0, 1} 또는 {False, True}.
MKLINK
불_변수,Boolean_variable =불_변수,Boolean_variable =,Boolean_variable . 불_변수 Boolean_variable
{
값,value을 Boolean_domain에서 택하는 변수,variable.
Boolean_variable
Ref.
https://planetmath.org/booleandomain
불_변수,Boolean_variable =불_변수,Boolean_variable =,Boolean_variable . 불_변수 Boolean_variable
{
값,value을 Boolean_domain에서 택하는 변수,variable.
Boolean_variable
Ref.
https://planetmath.org/booleandomain
Boolean_function
= https://en.wiktionary.org/wiki/Boolean_function
Boolean_function x 2024-04 ... https://simple.wikipedia.org/wiki/Boolean_function
Boolean_function
= https://en.wikipedia.org/wiki/Boolean_function
= https://en.wiktionary.org/wiki/Boolean_function
Boolean_function x 2024-04 ... https://simple.wikipedia.org/wiki/Boolean_function
Boolean_function
= https://en.wikipedia.org/wiki/Boolean_function
MKLINK
Boolean-valued_function =,Boolean-valued_function . Boolean-valued_function
{
Boolean-valued function
불-값 함수?
Boolean-valued_function =,Boolean-valued_function . Boolean-valued_function
{
Boolean-valued function
불-값 함수?
여기서 원소(entry)를 뽑는 행렬: logical_matrix = 불_행렬,Boolean_matrix
logical_matrix =,logical_matrix =,logical_matrix . logical_matrix 논리행렬 ? 논리적행렬 ? logical matrix x
불_행렬,Boolean_matrix 불_행렬,Boolean_matrix 불_행렬,Boolean_matrix =,Boolean_matrix
{
logical matrix
logical_matrix =,logical_matrix =,logical_matrix . logical_matrix 논리행렬 ? 논리적행렬 ? logical matrix x
불_행렬,Boolean_matrix 불_행렬,Boolean_matrix 불_행렬,Boolean_matrix =,Boolean_matrix
{
logical matrix
QQQ 이거 연결이 0 또는 1개만 있는 undirected_graph의 인접행렬,adjacency_matrix{ adjacency_matrix https://en.wikipedia.org/wiki/Adjacency_matrix } ?? chk
- digraph 도 됨. symmetric할 필요 없으니까 ... (proofwiki)
이진관계,binary_relation의 명시적 정의로 쓰일 수 있다. (pw)https://oeis.org/wiki/Logical_matrix
https://planetmath.org/logicalmatrix
"Such a matrix affords a matrix representation of a k-adic relation."
https://mathworld.wolfram.com/LogicalMatrix.htmlpoints: (0,1)-Matrix at https://mathworld.wolfram.com/01-Matrix.html
"It is also called a logical matrix, binary_matrix, relation_matrix, or Boolean_matrix. " // 이진행렬,binary_matrix 관계행렬,relation_matrix 불_행렬,Boolean_matrix와 동의어.
https://mathworld.wolfram.com/BooleanMatrix.html"It is also called a logical matrix, binary_matrix, relation_matrix, or Boolean_matrix. " // 이진행렬,binary_matrix 관계행렬,relation_matrix 불_행렬,Boolean_matrix와 동의어.
https://planetmath.org/logicalmatrix
Sub: irreducible_logical_matrix =,irreducible_logical_matrix . irreducible_logical_matrix {irreducible logical matrix 정사각행렬,square_matrix의 An의 원소가 strictly_positive한 그런 n이 존재. irreducible_logical_matrix https://proofwiki.org/wiki/Definition:Irreducible_Logical_Matrix "irreducible logical matrix"}
Sub:
Redheffer_matrix =,Redheffer_matrix =,Redheffer_matrix . Redheffer_matrix
{
레드헤퍼_행렬 Redheffer matrix
Redheffer_matrix
레드헤퍼_행렬
Redheffer_matrix
https://en.wikipedia.org/wiki/Redheffer_matrix
}
Redheffer_matrix =,Redheffer_matrix =,Redheffer_matrix . Redheffer_matrix
{
레드헤퍼_행렬 Redheffer matrix
Redheffer_matrix
레드헤퍼_행렬
Redheffer_matrix
https://en.wikipedia.org/wiki/Redheffer_matrix
}
domain_theory =,domain_theory . domain_theory (w at local) + (아주약간 내용 at VG 영역,domain 맨아래)
{
domain theory
domain theory
{
domain theory
domain theory
mentioned on: denotational_semantics
"domain theory"
}
}
}
domain_name =,domain_name . domain_name
{
domain_name?
internet_address Internet_address? 에서 // =,Internet_address Internet_address ? Internet_address ? Internet_address ? ... "인터넷 주소" 인터넷 주소 인터넷 주소 NdicT:인터넷 주소
{
domain_name?
internet_address Internet_address? 에서 // =,Internet_address Internet_address ? Internet_address ? Internet_address ? ... "인터넷 주소" 인터넷 주소 인터넷 주소 NdicT:인터넷 주소
internet URI의 일부를 이루는... (??)
domain -> 도메인 via kornorms. checked 2023-09-28
}
}
mathworld 이건 도메인,domain으로 옮겨야?
https://mathworld.wolfram.com/Domain.html
수학에서 '적어도 세 가지 다른 뜻'
함수,function에서 domain은 정의역 - 정의역,domain
확률론에서 - (복잡해서 생략)
위상수학,topology에서 domain은 connected_open_set. { 연결,connection 열린집합,open_set }
앨지브라,algebra에서 domain은 정역,integral_domain etc 뭐 이런것들. <- 아마 여기선 영역,domain에서 다룰 듯
https://artofproblemsolving.com/wiki/index.php/Domain함수,function에서 domain은 정의역 - 정의역,domain
확률론에서 - (복잡해서 생략)
위상수학,topology에서 domain은 connected_open_set. { 연결,connection 열린집합,open_set }
앨지브라,algebra에서 domain은 정역,integral_domain etc 뭐 이런것들. <- 아마 여기선 영역,domain에서 다룰 듯
2023-11-20 현재 두가지 언급
- (함수의) 정의역
- (환론,ring_theory의) domain
Up: 집합,set