Difference between r1.35 and the current
@@ -1,3 +1,5 @@
#noindex
##=======형식,form =,form 형식 form
'''form'''이 잘 갖춰졌을 경우 'well-formed'라고 한다.ex. [[마크업언어,markup_language]]로 된 [[문서,document]]는 well-formed인 게 있고 그렇지 않은 게 있음
ex. [[적형식,wff]]
@@ -7,6 +9,20 @@
[[이차형식,quadratic_form]]
[[미분형식,differential_form]]
[[기본형식,fundamental_form]]
[[선형형식,linear_form]] - [[선형성,linearity]]
[[normal_form]] - 아래
[[prenex_normal_form]] =,prenex_normal_form . prenex_normal_form |=,PNF PNF
'''prenex normal form'''
WtEn:prenex_normal_form
[[WpEn:Prenex_normal_form]] = https://en.wikipedia.org/wiki/Prenex_normal_form
// prenex normal form ... Bing:"prenex normal form" Ggl:"prenex normal form"
[[Skolem_normal_form]] =,Skolem_normal_form . Skolem_normal_form |=,SNF SNF
'''Skolem normal form'''
https://ko.wikipedia.org/wiki/스콜렘_표준형
( universal_quantifier = universal_quantification ... [[전칭기호universal_quantifier]] ) 만으로 이루어진 prenex_normal_form 1차 논리식을 말한다.
모든 1차논리식들은 [[스콜렘화,Skolemization]] 과정을 통해 그 [[충족가능성,satisfiability]] 변화 없이 스콜렘 표준형으로 변환될 수 있다. ( 존재양화사 = [[존재기호existential_quantifier]] 제거)
// Skolem normal form .... Bing:"Skolem normal form" Naver:"Skolem normal form" Ggl:"Skolem normal form"
----이하wikify todo
@@ -55,6 +71,8 @@
표준|정규|정준 형식|형|꼴 ?
QQQ 표준이라는 번역이 적합하다면 standard_form 도 같은 뜻? ... WtEn:standard_form Google:standard+form
wk 는 그렇다고 함.
// see also [[normal_form]] (같은 뜻일때가 있음)
[[canonicalization]]이 canonical form이 아닌 것을 이런 형식으로 만드는?
QQQ 표준이라는 번역이 적합하다면 standard_form 도 같은 뜻? ... WtEn:standard_form Google:standard+form
wk 는 그렇다고 함.
[[Date(2024-08-19T02:56:14)]] - 정준형식 이 아무래도 맘에 안들지만 최선인 듯
[[canonicalization]]이 canonical form이 아닌 것을 이런 형식으로 만드는?
@@ -126,19 +144,23 @@
== (이하 몇개는 linearity ...) ==
[[선형성,linearity]]
[[linear_form]] =,linear_form . Srch:linear_form
[[선형형식,linear_form]] =선형형식,linear_form =,linear_form . 선형형식 linear_form
{
KmsE:"linear form" ? dddddddddddd
Srch:linear_form
WtEn:linear_formhttps://freshrimpsushi.github.io/ko/posts/1734/
https://proofwiki.org/wiki/Definition:Linear_FormWpEn:Linear_form
Ggl:"linear form"
// "linear form" ... NN:"linear form" Bing:"linear form" Ggl:"linear form"
== bilinear form ==
[[bilinear_form]] =,bilinear_form . Srch:bilinear_form
WtEn:bilinear_form
https://proofwiki.org/wiki/Definition:Associated_Bilinear_Form
@@ -156,9 +178,7 @@
https://ncatlab.org/nlab/show/bilinear+form
...
"bilinear form"
Ggl:"bilinear form"
// "bilinear form" ... NN:"bilinear form" Bing:"bilinear form" Ggl:"bilinear form"
== quadratic form ==
[[quadratic_form]] =,quadratic_form . Srch:quadratic_form
@@ -169,8 +189,7 @@
https://proofwiki.org/wiki/Definition:Associated_Quadratic_Form
https://ncatlab.org/nlab/show/quadratic+form
== symplectic form ==
symplectic form
https://ncatlab.org/nlab/show/quadratic+form
quadratic+form
"quadratic form"
// "quadratic form" ... NN:"quadratic form" Bing:"quadratic form" Ggl:"quadratic form"
== symplectic form ==
symplectic form
@@ -221,6 +240,7 @@
= 단어 =
'''형식'''의 (form 말고) 다른 영어 번역들:
format
formal
ex.
'''형식'''의 (form 말고) 다른 영어 번역들:
format
[[형식,format]]?
ex. [[형식_문자열,format_string]]formal
ex.
form이 잘 갖춰졌을 경우 'well-formed'라고 한다.
ex. 마크업언어,markup_language로 된 문서,document는 well-formed인 게 있고 그렇지 않은 게 있음
ex. 적형식,wff
ex. 마크업언어,markup_language로 된 문서,document는 well-formed인 게 있고 그렇지 않은 게 있음
ex. 적형식,wff
Sub:
이차형식,quadratic_form
미분형식,differential_form
기본형식,fundamental_form
선형형식,linear_form - 선형성,linearity
normal_form - 아래
미분형식,differential_form
기본형식,fundamental_form
선형형식,linear_form - 선형성,linearity
normal_form - 아래
prenex_normal_form =,prenex_normal_form . prenex_normal_form |=,PNF PNF
prenex normal form
prenex_normal_form
Prenex_normal_form = https://en.wikipedia.org/wiki/Prenex_normal_form
// prenex normal form ... prenex normal form prenex normal form
Skolem_normal_form =,Skolem_normal_form . Skolem_normal_form |=,SNF SNFprenex_normal_form
Prenex_normal_form = https://en.wikipedia.org/wiki/Prenex_normal_form
// prenex normal form ... prenex normal form prenex normal form
Skolem normal form
https://ko.wikipedia.org/wiki/스콜렘_표준형
https://ko.wikipedia.org/wiki/스콜렘_표준형
( universal_quantifier = universal_quantification ... 전칭기호universal_quantifier ) 만으로 이루어진 prenex_normal_form 1차 논리식을 말한다.
모든 1차논리식들은 스콜렘화,Skolemization 과정을 통해 그 충족가능성,satisfiability 변화 없이 스콜렘 표준형으로 변환될 수 있다. ( 존재양화사 = 존재기호existential_quantifier 제거)
// Skolem normal form .... Skolem normal form Skolem normal form Skolem normal form모든 1차논리식들은 스콜렘화,Skolemization 과정을 통해 그 충족가능성,satisfiability 변화 없이 스콜렘 표준형으로 변환될 수 있다. ( 존재양화사 = 존재기호existential_quantifier 제거)
이하wikify todo
open form
열린형식
개형
개형식
열린형식
개형
개형식
닫힌형식
폐형
폐형식
closed form
Closed-form_expression
= https://en.wikipedia.org/wiki/Closed-form_expression
폐형
폐형식
closed form
방정식,equation의 해,solution가 closed form이란 것은 해를 해석적(analytic, 어낼러시스,analysis)으로 표현,representationddddddddddd
from
https://cgvfxmath.github.io/2023-03-21/closed-form
closed-form_expressionfrom
https://cgvfxmath.github.io/2023-03-21/closed-form
Closed-form_expression
= https://en.wikipedia.org/wiki/Closed-form_expression
closed-form_solution
normal form (general) : normal_form =,normal_form . normal_form ... 정규형,normal_form or 표준형,normal_form
{
normal_form
normal form (general) : normal_form =,normal_form . normal_form ... 정규형,normal_form or 표준형,normal_form
{
normal_form
canonical_form =,canonical_form . canonical_form
{
canonical form
표준|정규|정준 형식|형|꼴 ?
QQQ 표준이라는 번역이 적합하다면 standard_form 도 같은 뜻? ... standard_form standard form
{
canonical form
표준|정규|정준 형식|형|꼴 ?
QQQ 표준이라는 번역이 적합하다면 standard_form 도 같은 뜻? ... standard_form standard form
wk 는 그렇다고 함.
2024-08-19 - 정준형식 이 아무래도 맘에 안들지만 최선인 듯Canonical_form
표준_형식
... canonical form canonical form canonical form
}
표준_형식
= https://ko.wikipedia.org/wiki/표준_형식
"표준 형식, 또는 표준형, 표준꼴, 정규형"
그걸 찾는 방법은 "표준화 정규화 정규화 canonicalization normalization"
Canonical_form"표준 형식, 또는 표준형, 표준꼴, 정규형"
그걸 찾는 방법은 "표준화 정규화 정규화 canonicalization normalization"
= https://en.wikipedia.org/wiki/Canonical_form
"In mathematics and computer science, a canonical, normal, or standard form of a mathematical object is a standard way of presenting that object as a mathematical expression."
... 표준형식 표준형식 표준형식"In mathematics and computer science, a canonical, normal, or standard form of a mathematical object is a standard way of presenting that object as a mathematical expression."
... canonical form canonical form canonical form
}
Backus-Naur_form BNF =,BNF . BNF
{
배커스-나우르 표기법 (Backus-Naur form) - 기계인간 John Grib
https://johngrib.github.io/wiki/jargon/backus-naur-form/
{
배커스-나우르 표기법 (Backus-Naur form) - 기계인간 John Grib
https://johngrib.github.io/wiki/jargon/backus-naur-form/
Up:
metasyntax / metasyntax notation
}
EBNF extended BNF =,EBNF .
{
https://foldoc.org/Extended Backus-Naur Form
metasyntax notation
}
ABNF augmented BNF =,ABNF .
{
metasyntax / metasyntax notation
}
EBNF extended BNF =,EBNF .
{
https://foldoc.org/Extended Backus-Naur Form
metasyntax notation
}
ABNF augmented BNF =,ABNF .
{
https://foldoc.org/Augmented Backus-Naur Form
metasyntax notation
}
논증형식,argument_form - curr. 논증,argument
metasyntax notation
}
논증형식,argument_form - curr. 논증,argument
수학에서 ¶
"form" is another name for a homogeneous polynomial[1]
즉, 형식이란 동차다항식,homogeneous_polynomial의 다른 이름이다.
{
모든 nonzero terms가 같은 degree를 가진 다항식,polynomial.
즉, 형식이란 동차다항식,homogeneous_polynomial의 다른 이름이다.
{
모든 nonzero terms가 같은 degree를 가진 다항식,polynomial.
AKA 제차다항식?
linear form ¶
bilinear form ¶
https://proofwiki.org/wiki/Definition:Bilinear_Form
https://proofwiki.org/wiki/Definition:Associated_Bilinear_Form
https://proofwiki.org/wiki/Definition:Associated_Bilinear_Form
겹선형_형식(bilinear_form) = https://wiki.mathnt.net/index.php?title=겹선형_형식(bilinear_form)
교대_겹선형_형식 = https://wiki.mathnt.net/index.php?title=교대_겹선형_형식
alternating bilinear form ? - 맞는듯, 그리고 alternating form 이라고도 함 (planetmath)
https://planetmath.org/alternatingform
alternating bilinear form
교대_겹선형_형식 = https://wiki.mathnt.net/index.php?title=교대_겹선형_형식
alternating bilinear form ? - 맞는듯, 그리고 alternating form 이라고도 함 (planetmath)
https://planetmath.org/alternatingform
alternating bilinear form
quadratic form ¶
sesquilinear form ¶
sesquilinear form
sesquilinear_form =,sesquilinear_form . sesquilinear_form
sesquilinear_form
https://ncatlab.org/nlab/show/sesquilinear form
https://proofwiki.org/wiki/Definition:Sesquilinear_Form
sesquilinear_form =,sesquilinear_form . sesquilinear_form
sesquilinear_form
https://ncatlab.org/nlab/show/sesquilinear form
https://proofwiki.org/wiki/Definition:Sesquilinear_Form
sesquilinear+form
"sesquilinear form"
"sesquilinear form"
단어 ¶
형식의 (form 말고) 다른 영어 번역들:
format
formal
format
formal
ex.
형식언어,formal_language
형식산술,formal_arithmetic { https://encyclopediaofmath.org/wiki/Arithmetic,_formal - arithmetical calculus (aka arithmetical_calculus?) }
formal_verification { 이건 '정형검증'이라는 번역이 많음. (formal을 '형식'보단 '정형'이라 번역.) verfication은 입증/검증/인증/(산술의 경우)검산/ ... verfication }
...
... formal_
... 형식형식언어,formal_language
형식산술,formal_arithmetic { https://encyclopediaofmath.org/wiki/Arithmetic,_formal - arithmetical calculus (aka arithmetical_calculus?) }
formal_verification { 이건 '정형검증'이라는 번역이 많음. (formal을 '형식'보단 '정형'이라 번역.) verfication은 입증/검증/인증/(산술의 경우)검산/ ... verfication }
...
... formal_
UI_element(위젯,widget)인 form (명확한 표현은 input_form ?) - 입력,input을 받고 보통 'Submit' 버튼,button이 마지막에 있는 그런?? - 의 번역은 뭐가좋을지. 폼,form?
입력 form
입력 폼
input form
입력 form
input form
입력 form
입력 form
입력 폼
input form
입력 form
input form
입력 form
형식,form과 비슷한 개념:
formula
형식은 규칙,rule과 비슷? 규칙의 일종?
formulaformula - 번역들: 공식, 식,
ex. 적형식,wff
pl. formulae or formulas (wk)
https://ko.wikipedia.org/wiki/공식
https://simple.wikipedia.org/wiki/Formula
https://en.wikipedia.org/wiki/Formula
Rel. 정리,theorem equality inequality 식,expression
format ex. 적형식,wff
pl. formulae or formulas (wk)
https://ko.wikipedia.org/wiki/공식
https://simple.wikipedia.org/wiki/Formula
https://en.wikipedia.org/wiki/Formula
Rel. 정리,theorem equality inequality 식,expression
형식은 규칙,rule과 비슷? 규칙의 일종?
----
- [1] Quadratic_form처음 부분
- [2] 상미분방정식#정의