Sub:
[[불_정의역,Boolean_domain]] =불_정의역,Boolean_domain =,Boolean_domain 불_정의역 Boolean_domain
{
불_정의역 ? 은 내생각 , chk - Ndict:"Boolean domain" Naver:"Boolean domain" Ggl:"Boolean domain"

$\mathbb{B}$
{false,true} 혹은 {T, F} 혹은 {0, 1} 혹은 {⊥, ⊤} 뭐 등등....

Boolean domain
[[참,true]]과 [[거짓,false]]으로 [[해석,interpretation]]되는 두 [[원소,element]]가 들어있는 [[집합,set]]. {0, 1} 또는 {False, True}.

MKLINK
[[불_변수,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"

[[Boolean_function]] =,Boolean_function . 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 ... Ggl:"Boolean-valued function"

Up: [[불_대수,Boolean_algebra]] [[불_논리,Boolean_logic]]

}//"Boolean function" ... Ndict:"Boolean function" Naver:"Boolean function" Ggl:"Boolean function"

여기서 원소(entry)를 뽑는 행렬: [[logical_matrix]] = [[불_행렬,Boolean_matrix]]
[[logical_matrix]] =,logical_matrix =,logical_matrix . logical_matrix 논리행렬 ? 논리적행렬 ? KmsE:"logical matrix" x
 WtEn:logical_matrix ?
 WpSp:logical_matrix ?
 WpEn:logical_matrix ?
[[불_행렬,Boolean_matrix]] 불_행렬,Boolean_matrix 불_행렬,Boolean_matrix =,Boolean_matrix
{
'''logical matrix'''

~~WtEn:logical_matrix~~ x [[Date(2023-08-28T14:42:00)]]
~~WtEn:Boolean_matrix~~ x [[Date(2023-08-28T14:42:00)]]

''QQQ 이거 연결이 0 또는 1개만 있는 [[undirected_graph]]의 [[인접행렬,adjacency_matrix]]{ WtEn:adjacency_matrix  https://en.wikipedia.org/wiki/Adjacency_matrix } ?? chk''
 - digraph 도 됨. symmetric할 필요 없으니까 ... (proofwiki)

[[이진관계,binary_relation]]의 명시적 정의로 쓰일 수 있다. (pw)

https://oeis.org/wiki/Logical_matrix
 "Such a matrix affords a matrix representation of a k-adic relation."

https://mathworld.wolfram.com/LogicalMatrix.html
 ''points: (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
 ''points: (0,1)-Matrix at https://mathworld.wolfram.com/01-Matrix.html (too)''

https://planetmath.org/logicalmatrix

https://ko.wikipedia.org/wiki/이진_행렬

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

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

Sub: [[irreducible_logical_matrix]] =,irreducible_logical_matrix . irreducible_logical_matrix {'''irreducible logical matrix''' [[정사각행렬,square_matrix]]의 A^^n^^의 원소가 [[strictly_positive]]한 그런 n이 존재.  WtEn: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 
WtEn:Redheffer_matrix
[[WpKo:레드헤퍼_행렬]]
[[WpEn:Redheffer_matrix]]
https://en.wikipedia.org/wiki/Redheffer_matrix
}

Ndict:"logical matrix" Ggl:"logical matrix"
"logical matrix"}

https://en.wikiversity.org/wiki/Boolean_domain

https://planetmath.org/BooleanDomain

https://oeis.org/wiki/Boolean_domain

[[WpEn:Boolean_domain]]
= https://en.wikipedia.org/wiki/Boolean_domain
}

MKLINK
[[함수,function]]
[[연산,operation]]
[[연산자,operator]]
[[피연산자,operand]]
[[공역,codomain]]
[[치역,range]]

domain의 다른 뜻: [[영역,domain]] - curr. [[VG:영역,domain]]
{

[[domain_theory]] =,domain_theory . domain_theory (w at local) + (아주약간 내용 at VG 영역,domain 맨아래)
{
domain theory
KmsE:"domain theory"

여기서 말하는 [[도메인,domain]]이란, https://foldoc.org/domain 에서 4.

REL
[[순서론,order_theory]]

mentioned on: [[denotational_semantics]]

Ndict:"domain theory" Ggl:"domain theory"
domain+theory
[[이론,theory]]

"domain theory"
}

}

[[정역,integral_domain]] - w

[[도메인,domain]] =도메인,domain =,domain . 도메인
{
도메인 네임
도메인 이름

[[domain_name]] =,domain_name . domain_name
{
[[WtEn:domain_name]]?
[[internet_address]] [[Internet_address]]? 에서 // =,Internet_address WtEn:Internet_address ? WpSp:Internet_address ? WpEn:Internet_address ? ... "인터넷 주소" Ggl:"인터넷 주소" Bing:"인터넷 주소" NdicT:"인터넷 주소"

internet [[URI]]의 일부를 이루는... (??)

Ggl:"도메인 네임"
Ggl:"domain name"
Up: [[도메인,domain]] name([[이름,name]] or [[네임,name]]) ... [[식별자,identifier]]??
}

[[domain_model]]

domain -> 도메인 via kornorms. checked [[Date(2023-09-28T11:35:32)]]
}
----
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
 [[Date(2023-11-20T07:48:24)]] 현재 두가지 언급
 1. (함수의) 정의역 
 2. ([[환론,ring_theory]]의) domain 

----
Up: [[집합,set]]