노멀폼,normal_form

Difference between r1.11 and the current

@@ -123,9 +123,14 @@

VG Srch : http://tomoyo.ivyro.net/123/wiki.php/FindPage?action=fullsearch&value=conjunctive_normal_form&context=20&case=1

[[Foldoc:Conjunctive+Normal+Form]] = https://foldoc.org/Conjunctive+Normal+Form
[[WtEn:conjunctive_normal_form]] = https://en.wiktionary.org/wiki/conjunctive_normal_form
https://ko.wikipedia.org/wiki/논리곱_표준형
[[WpEn:Conjunctive_normal_form]] = https://en.wikipedia.org/wiki/Conjunctive_normal_form
Boolean_logic 에서, [[포뮬러,formula]]가 CNF라는 것은...
(첫문단 "In [Boolean_logic], a formula is in '''conjunctive normal form (CNF) or clausal normal form'''
if it is a conjunction of one or more clauses,
@@ -139,10 +144,11 @@

[[disjunctive_normal_form]] =,disjunctive_normal_form . disjunctive_normal_form |=,DNF DNF
{
'''disjunctive normal form''' 
DNF
'''disjunctive normal form, DNF'''

[[WtEn:disjunctive_normal_form]] = nnnnnnnnnnfffffffffff
 
[[Foldoc:Disjunctive+Normal+Form]] = https://foldoc.org/Disjunctive+Normal+Form
[[WtEn:disjunctive_normal_form]] = https://en.wiktionary.org/wiki/disjunctive_normal_form
https://encyclopediaofmath.org/wiki/Disjunctive_normal_form
} // disjunctive normal form ... Ggl:"disjunctive normal form" Ndict:"disjunctive normal form"



normal form, NF
번역이 정규형(정규형normal_form) 표준형 정규형식 표준형식등으로 다양하며, TBD. 분명 넷 중 하나로 결정될듯. 여기는 TemporaryPageName.
2024-04-07 지금까지의 vg page names에 맞추자면 정규형식,normal_form이 제일 유력. regular/normal은 정규, canonical은 정준, standard는 표준, 으로 통일하는게 어떨지....

일단 KmsE:normal form 보면 kms는 '표준형'을 선호한다 - standard_form 과 겹치는데. 저것도 사실 비슷한 뜻이다... Ggl:standard form 근데 문제는 standard form과 다른 뜻으로 normal form이 쓰일 때이다.
(canonical_form = canonical form 도 비슷한 뜻이고 여기랑 번역어들이 겹친다)
(비슷한 번역 문제가 대칭군 - 에도 있다. 대칭군: 대칭군,symmetric_group or 대칭군,symmetry_group)
{2023-12-09:
conjunctive normal form 논리곱표준형
disjunctive normal form 논리합(의) 표준형
Hesse’s normal form 헤세의 표준형
normal form 표준형
}

NN:normal form 보면 DB쪽에서는 normal form의 번역으로 '정규형'을 절대적으로 선호한다.



선형대수,linear_algebra
조르당 표준형(Jordan normal form) ? Jordan_normal_form
Jordan normal form
Not in KmsE:Jordan normal form 2024-07-13
// Jordan normal form .... NN:Jordan normal form Ggl:Jordan normal form Bing:Jordan normal form


어느 분야에 속하는지 찾아보기 귀찮은 NF는 일단 여기에 대충 적고 나중에 분류
{

prenex_normal_form =,prenex_normal_form . prenex_normal_form |=,PNF PNF
{
prenex normal form
프레넥스 ?
https://ko.wikipedia.org/wiki/프리넥스_표준형



} // prenex normal form .... Ggl:prenex normal form Bing:prenex normal form

Smith_normal_form =,Smith_normal_form . Smith_normal_form |=,SNF SNF
{
스미스 표준형 (Smith normal form)
WtEn:Smith_normal_form ?
WpEn:Smith_normal_form ?
MathNote:스미스_표준형_(Smith_normal_form) = http://wiki.mathnt.net/index.php?title=스미스_표준형_(Smith_normal_form)
정수행렬에 대한 normal form. 여러 분야에서 활용한다고.
}// Smith normal form ... Ggl:Smith normal form Bing:Smith normal form NN:Smith normal form Naver:Smith normal form

weak_head_normal_form =,weak_head_normal_form . weak_head_normal_form |=,WHNF WHNF
{
weak head normal form
WHNF

Weak Head Normal Form - We Love Haskell
https://www.opentutorials.org/course/2064/11208



xxx
https://en.wiktionary.org/wiki/weak_head_normal_form x 2023-12
...
WtEn:WHNF ?? ddddddddddddwwwwwwwwwww
WpEn:WHNF ?

} // .... weak head normal form .... Ggl:weak head normal form Ndict:weak head normal form


Greibach_normal_form =,Greibach_normal_form . Greibach_normal_form |=,GNF GNF
{
Greibach normal form
GNF
https://en.wikipedia.org/wiki/Greibach_normal_form
formal_language_theory / 형식언어,formal_language이론에서 context-free_grammar가 GNF라는 것은....
} // Greibach normal form .... Naver:Greibach normal form Bing:Greibach normal form Ggl:Greibach normal form

Chomsky_normal_form =,Chomsky_normal_form . Chomsky_normal_form
{
Chomsky normal form
CNF (다만 conjunctive_normal_form 도 CNF)
https://en.wikipedia.org/wiki/Chomsky_normal_form
} // Chomsky normal form .... NN:Chomsky normal form Bing:Chomsky normal form Ggl:Chomsky normal form

Kuroda_normal_form =,Kuroda_normal_form . Kuroda_normal_form
{
Kuroda normal form

https://en.wikipedia.org/wiki/Kuroda_normal_form
formal_language_theory / 형식언어,formal_language이론에서 noncontracting_grammar{WpEn:Noncontracting_grammar = https://en.wikipedia.org/wiki/Noncontracting_grammar }가 KNF 안에 있다(? "is in")는 것은, 모든 production_rule s 들이 다음 형식이라는것.....


Skolem_normal_form =,Skolem_normal_form . Skolem_normal_form (w)
{
Skolem normal form




} // Skolem normal form .... Bing:Skolem normal form Ggl:Skolem normal form

conjunctive_normal_form =,conjunctive_normal_form . conjunctive_normal_form |=,CNF CNF
{
conjunctive normal form
CNF






Boolean_logic 에서, 포뮬러,formula가 CNF라는 것은...
(첫문단 "In Boolean_logic, a formula is in conjunctive normal form (CNF) or clausal normal form
if it is a conjunction of one or more clauses,
where a clause is a disjunction of literals;
otherwise put,
it is a product of sums or an AND of ORs.
As a canonical_normal_form, it is useful in automated theorem proving and circuit theory." 2023-12-04)

} // conjunctive normal form ... Ggl:conjunctive normal form Ndict:conjunctive normal form


disjunctive_normal_form =,disjunctive_normal_form . disjunctive_normal_form |=,DNF DNF
{
disjunctive normal form, DNF



}

REL



1. Database의 normal forms: 1NF 2NF ... BCNF ...

database
DB에선 대체로 정규형 으로 번역하는 듯

이미 있던 페이지: 정규형normal_form


2. clausal *

clausal normal form
WtEn:clausal_normal_form
= https://en.wiktionary.org/wiki/clausal_normal_form
"synonym of conjunctive_normal_form"

3. Game theory의 normal form

4. autogeninterwikis


Zeta:
Libre:
Namu:
WpKo:



WpJa:


...
정규형
표준형
정규형식
표준형식
"normal form"


5. MKL

5.1. canonical form

6. 물리에서

7. wikiadmin

2023-12-04 Page name via normal-노멀, form-폼 (kornorms)