형식,form

Difference between r1.29 and the current

@@ -2,8 +2,50 @@
ex. [[마크업언어,markup_language]]로 된 [[문서,document]]는 well-formed인 게 있고 그렇지 않은 게 있음
ex. [[적형식,wff]]

----
Sub:
 
[[이차형식,quadratic_form]]
[[미분형식,differential_form]]
[[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
 
open form vs closed form
Ggl:"open form vs closed form"
Naver:"open form closed form"
 
open form
열린형식
개형
개형식
 
닫힌형식
폐형
폐형식
closed form
[[방정식,equation]]의 [[해,solution]]가 '''closed form'''이란 것은 해를 해석적^^(analytic, [[어낼러시스,analysis]])^^으로 [[표현,representation]]ddddddddddd
from
https://cgvfxmath.github.io/2023-03-21/closed-form
 
[[closed-form_expression]]
[[WpEn:Closed-form_expression]]
= https://en.wikipedia.org/wiki/Closed-form_expression
 
[[closed-form_solution]]
[[closed-form_expression]]으로 나타낸 [[해,solution]]?? 내생각,chk.
normal form (general) : [[normal_form]] =,normal_form . normal_form ... [[정규형,normal_form]] or [[표준형,normal_form]]
{
WtEn:normal_form
@@ -44,38 +86,7 @@
... Ndict:canonical+form Naver:canonical+form Google:canonical+form
}
----
[[이차형식,quadratic_form]]
[[미분형식,differential_form]] =미분형식,differential_form =,differential_form 미분형식 differential_form
{
미분 형식
differential form
 
[[WtEn:differential_form]]
 
Srch:미분형식
Srch:differential_form
 
 
https://ko.wikipedia.org/wiki/미분_형식
WpSp:Differential_form ?
WpEn:Differential_form
 
 
 
[[MathNote:미분형식_(differential_forms)과_다변수_미적분학]] = https://wiki.mathnt.net/index.php?title=미분형식_(differential_forms)과_다변수_미적분학
....
 
Ndict:미분형식
Ggl:미분형식
Bing:미분형식
 
REL / MKL
[[미분,differential]]
[[형식,form]]
[[미분연산자,]] (둘중...)
 
}
[[Backus-Naur_form]] BNF =,BNF .
[[Backus-Naur_form]] BNF =,BNF . BNF
{
배커스-나우르 표기법 (Backus-Naur form) - 기계인간 John Grib
https://johngrib.github.io/wiki/jargon/backus-naur-form/
@@ -84,8 +95,14 @@
[[문법,grammar]]
?

WtEn:Backus-Naur_form
https://foldoc.org/Backus-Naur+Form
metasyntax notation
 
https://namu.wiki/w/배커스-나우르%20표기법
 
Up:
metasyntax / metasyntax notation
}
EBNF extended BNF =,EBNF .
{
@@ -131,14 +148,29 @@
== bilinear form ==
[[bilinear_form]] =,bilinear_form . Srch:bilinear_form
WtEn:bilinear_form
 
 
https://proofwiki.org/wiki/Definition:Bilinear_Form
https://proofwiki.org/wiki/Definition:Associated_Bilinear_Form
WpEn:Bilinear_form
Ggl:"bilinear form"
 
 
[[MathNote:겹선형_형식(bilinear_form)]] = https://wiki.mathnt.net/index.php?title=겹선형_형식(bilinear_form)
[[MathNote:교대_겹선형_형식]] = https://wiki.mathnt.net/index.php?title=교대_겹선형_형식
alternating bilinear form ? - 맞는듯, 그리고 alternating form 이라고도 함 (planetmath)
https://planetmath.org/alternatingform
Ggl:"alternating bilinear form" 
 
[[WpEn:Bilinear_form]] = https://en.wikipedia.org/wiki/Bilinear_form
 
 
https://encyclopediaofmath.org/wiki/Bilinear_form

https://ncatlab.org/nlab/show/bilinear+form
bilinear+form
 
...
"bilinear form"
Ggl:"bilinear form"

== quadratic form ==
[[quadratic_form]] =,quadratic_form . Srch:quadratic_form
@@ -207,6 +239,8 @@
[[형식언어,formal_language]]
[[형식산술,formal_arithmetic]] { https://encyclopediaofmath.org/wiki/Arithmetic,_formal - ''arithmetical calculus'' (aka [[arithmetical_calculus]]?) }
[[formal_verification]] { 이건 '정형검증'이라는 번역이 많음. (formal을 '형식'보단 '정형'이라 번역.) verfication은 입증/검증/인증/(산술의 경우)검산/ ... Ndict:verfication }
...
... Self:formal_

... NdEn:형식
----

form이 잘 갖춰졌을 경우 'well-formed'라고 한다.
ex. 마크업언어,markup_language로 된 문서,document는 well-formed인 게 있고 그렇지 않은 게 있음
ex. 적형식,wff

Sub:

이차형식,quadratic_form
미분형식,differential_form
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


open form
열린형식
개형
개형식


closed-form_solution
closed-form_expression으로 나타낸 해,solution?? 내생각,chk.

normal form (general) : normal_form =,normal_form . normal_form ... 정규형,normal_form or 표준형,normal_form
{
WtEn:normal_form


see also canonical_form (같은 뜻일때가 있음)
curr at 정규형normal_form페이지 아래쪽 (TODO 거기서 fork)


Ggl:normal form
}
normal form (DB) : 정규형normal_form
canonical_form =,canonical_form . Srch:canonical_form
{
canonical form
표준|정규|정준 형식|형|꼴 ?
QQQ 표준이라는 번역이 적합하다면 standard_form 도 같은 뜻? ... WtEn:standard_form Google:standard form
wk 는 그렇다고 함.
// see also normal_form (같은 뜻일때가 있음)
canonicalization이 canonical form이 아닌 것을 이런 형식으로 만드는?

WtEn:canonical_form .... 추가함 read

WpSimple:Canonical_form
= https://simple.wikipedia.org/wiki/Canonical_form
WpKo:표준_형식
= https://ko.wikipedia.org/wiki/표준_형식
"표준 형식, 또는 표준형, 표준꼴, 정규형"
그걸 찾는 방법은 "표준화 정규화 WpKo:정규화 canonicalization normalization"
WpEn:Canonical_form
= 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."

... Ndict:표준형식 Naver:표준형식 Google:표준형식
... Ndict:canonical form Naver:canonical form Google:canonical form
}
Backus-Naur_form BNF =,BNF . BNF
{
배커스-나우르 표기법 (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 .
{



[edit]

수학에서

"form" is another name for a homogeneous polynomial[1]
즉, 형식이란 동차다항식,homogeneous_polynomial의 다른 이름이다.
{
모든 nonzero terms가 같은 degree를 가진 다항식,polynomial.

AKA 제차다항식?



[edit]

(이하 몇개는 linearity ...)

[edit]

linear form

[edit]

bilinear form

[edit]

quadratic form

[edit]

symplectic form

[edit]

sesquilinear form

[edit]

Kähler form

Kähler form

Ggl:Kähler form
Bing:Kähler form
"Kähler form"

[edit]

Hermitian form

[edit]

단어

형식의 (form 말고) 다른 영어 번역들:
format
ex. 형식_문자열,format_string
formal
ex.
형식언어,formal_language
형식산술,formal_arithmetic { https://encyclopediaofmath.org/wiki/Arithmetic,_formal - arithmetical calculus (aka arithmetical_calculus?) }
formal_verification { 이건 '정형검증'이라는 번역이 많음. (formal을 '형식'보단 '정형'이라 번역.) verfication은 입증/검증/인증/(산술의 경우)검산/ ... Ndict:verfication }
...
... Self:formal_

... NdEn:형식
form의 (형식 말고) 다른 한국어 번역들:
형태
implicit_form: 내재적 형태, explicit_form: 명시적 형태. [2]
형상, 틀, 거푸집, 폼, ...

형태 형상과 비슷한 것:
모양 NdEn:모양 KmsK:모양 Ndict:모양 Ggl:모양
셰이프,shape
피겨,figure

UI_element(위젯,widget)인 form (명확한 표현은 input_form ?) - 입력,input을 받고 보통 'Submit' 버튼,button이 마지막에 있는 그런?? - 의 번역은 뭐가좋을지. 폼,form?
Naver:입력 form
Naver:입력 폼
Naver:input form
Ggl:입력 form
Ggl:input form
Bing:입력 form

... NdEn:form
형식,form과 비슷한 개념:

formula
formulaSrch:formula - 번역들: 공식, 식,
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
Srch:format - 번역들: 형식, 서식,


형식은 규칙,rule과 비슷? 규칙의 일종?

----
형식,form Modified on 6:07 am, May 1, 2024.
🎲 Random