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

Sub:

이차형식,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

prenex_normal_form

Prenex_normal_form = https://en.wikipedia.org/wiki/Prenex_normal_form
// prenex normal form ...

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 ....

Skolem normal form

이하wikify todo

open form vs closed form

open form closed form

open form
열린형식
개형
개형식

닫힌형식
폐형
폐형식
closed form

방정식,equation의 해,solution가 closed form이란 것은 해를 해석적^{(analytic, 어낼러시스,analysis)}으로 표현,representationddddddddddd
from
https://cgvfxmath.github.io/2023-03-21/closed-form

closed-form_expression

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
{

normal_form

normal form

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

Normal_form

normal form
}
normal form (DB) : 정규형normal_form

canonical_form =,canonical_form .

canonical_form
{
canonical form
표준|정규|정준 형식|형|꼴 ?
QQQ 표준이라는 번역이 적합하다면 standard_form 도 같은 뜻? ...

standard_form

standard form

wk 는 그렇다고 함.

2024-08-19 - 정준형식 이 아무래도 맘에 안들지만 최선인 듯

// see also normal_form (같은 뜻일때가 있음)
canonicalization이 canonical form이 아닌 것을 이런 형식으로 만드는?

canonical_form .... 추가함 read

Canonical_form

= https://simple.wikipedia.org/wiki/Canonical_form

표준_형식

= https://ko.wikipedia.org/wiki/표준_형식
"표준 형식, 또는 표준형, 표준꼴, 정규형"
그걸 찾는 방법은 "표준화 정규화

정규화 canonicalization normalization"

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."

...

표준형식

표준형식
...

canonical form

canonical form
}

Backus-Naur_form BNF =,BNF . BNF
{
배커스-나우르 표기법 (Backus-Naur form) - 기계인간 John Grib
https://johngrib.github.io/wiki/jargon/backus-naur-form/

구문 syntax
문법,grammar
?

Backus-Naur_form

https://foldoc.org/Backus-Naur Form

https://namu.wiki/w/배커스-나우르 표기법

Up:
metasyntax / metasyntax notation
}
EBNF extended BNF =,EBNF .
{
https://foldoc.org/Extended Backus-Naur Form
metasyntax notation
}
ABNF augmented BNF =,ABNF .
{

https://datatracker.ietf.org/doc/html/rfc5234

https://foldoc.org/Augmented Backus-Naur Form
metasyntax notation
}
논증형식,argument_form - curr. 논증,argument

[edit]

수학에서 ¶

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

AKA 제차다항식?

동차다항식

Homogeneous_polynomial
}

복소수,complex_number는 - 표현,representation
극형식,polar_form,
지수형식? exponential_form
으로 나타낼 수 있다

[edit]