- 포뮬러,formula . . . . 79 matches
##=포뮬러,formula =,formula .
mk [[식,formula]] ?
공식으로도. [[공식,formula]] - [[VG:공식,formula]]
[[원자식,atom]] (= atomic formula)
[[적형식,wff]] - formula with [[wellformedness]]? chk
[[formulation]] - 단어 매우 비슷.... NdEn:formulation Ggl:formulation Ndict:formulation
= propositional formula =
[[propositional_formula]] =,propositional_formula =,propositional_formula . propositional_formula
propositional formula
WtEn:propositional_formula = https://en.wiktionary.org/wiki/propositional_formula x [[Date(2023-12-01T21:06:22)]]
''[[명제식,propositional_formula]] exists''
aka sentential formula [* MathWorld:Formula]
"propositional formula"
Ggl:"propositional formula" Naver:"propositional formula" Bing:"propositional formula"
= sentential formula =
[[sentential_formula]] =,sentential_formula =,sentential_formula . sentential_formula
sentential formula
[[로직,logic]] 이론에서 "[[포뮬러,formula]]"라 하면 보통 '''sentential formula'''(같은 말: propositional formula , 다시 말해 [[propositional_calculus]](=[[propositional_logic]])의 formula)를 말한다.[* mw Formula]
WtEn:sentential_formula x ([[Date(2023-08-18T16:36:21)]])
WpEn:Sentential_formula redir to WpEn:Propositional_formula
- 문장,sentence . . . . 38 matches
formula와?
closed_formula = sentence [* [[WpEn:Sentence_(mathematical_logic)]]]
'''문장,sentence'''은 [[명제식,propositional_formula?action=highlight&value=문장,sentence]]과 동의어일 수 있음, see 저기의 we.
// 밑에 [[포뮬러,formula]]s
[[sentential_formula]] =,sentential_formula . sentential_formula
sentential formula
WtEn:sentential_formula x [[Date(2023-09-11T20:18:16)]]
WpEn:Sentential_formula
[[MW:SententialFormula]]
= https://mathworld.wolfram.com/SententialFormula.html
"sentential formula"
Ggl:"sentential formula"
[[Date(2023-11-23T04:32:56)]] 'sentential formula'는 [[명제식,propositional_formula]]의 한 표현일 수 있음(동의어일 수 있음), see 저기의 wpen.
[[open_sentential_formula]]
[[closed_sentential_formula]]
[[open_sentential_formula]] =,open_sentential_formula . open_sentential_formula - w
open sentential formula
"A sentential formula that contains at least one free variable (Carnap 1958, p. 24). A sentential variable containing no free variables (i.e., all variables are bound) is called a closed sentential formula."
https://mathworld.wolfram.com/OpenSententialFormula.html
Ggl:"open sentential formula"
- 분자,molecule . . . . 29 matches
[[구조식,structural_formula]] =구조식,structural_formula =,structural_formula . 구조식 structural_formula
structural formula
KcsE:"structural formula" ? - 구조식.
WtEn:structural_formula = https://en.wiktionary.org/wiki/structural_formula
WpEn:Structural_formula
"structural formula"
Ndict:"structural formula"
Up: [[구조,structure]] [[식,formula]]
[[skeletal_formula]] =,skeletal_formula =,skeletal_formula . skeletal_formula
skeletal formula
KcsE:"skeletal formula" ? x
WtEn:skeletal_formula = https://en.wiktionary.org/wiki/skeletal_formula
WpEn:Skeletal_formula = https://en.wikipedia.org/wiki/Skeletal_formula
{[[Date(2023-11-26T18:54:28)]] 첫문장 " The '''skeletal formula, line-angle formula, or shorthand formula''' of an organic compound is a type of molecular structural formula that serves as a shorthand representation of a molecule's bonding and some details of its molecular geometry."}
"skeletal formula"
Ndict:"skeletal formula"
Up: [[식,formula]]
- 적형식,wff . . . . 22 matches
TBD. [[논리식,logical_formula]] or [[논리식,formula]] page mk?
'''well-formed formula, well-formed formulae(복수형, [[WtEn:well-formed_formulae]]), (줄여서) wff'''
'''정형식''', - "다음 식은 CTL의 정형식(well-formed formula)이다." - WpKo:계산_트리_논리 - WpEn:Computation_tree_logic (CTL)
(그냥 간단히 줄여서, 앞의 well-formed를 생략해서) '''논리식, formula'''. ([[포뮬러,formula]] / [[논리식,logic_formula]] / [[논리식,logical_formula]])
[[WtEn:well-formed_formula]]
https://en.wiktionary.org/wiki/well-formed_formula
[[WpEn:Well-formed_formula]] = https://en.wikipedia.org/wiki/Well-formed_formula
[[https://proofwiki.org/wiki/Definition:Well-Formed_Formula]]
https://everything2.com/title/Well-formed+formula
https://en.wiktionary.org/wiki/well-formed_formula
https://planetmath.org/word (Synonym: well-formed formula, Defines: well formed formula)
http://www.gabormelli.com/RKB/Well-Formed_Formula
[[논리식,logic_formula]] [[논리식,logical_formula]]
- 논리식,logic_formula . . . . 19 matches
[[논리식,logical_formula]] - ? merge?
[[명제식,propositional_formula]]?
[[원자식,atom]] = atomic_formula
[[일차식,first-order_formula]] ? =,first-order_formula . first-order_formula
'''first-order formula'''
} // first-order formula .... Ggl:"first-order formula" ...." 추가해서 Ggl:"%22first-order%20formula%22"
logic_formula vs logical_formula ??
WtEn:logic_formula
WtEn:logical_formula
Ggl:"logic.formula vs logical.formula"
[[포뮬러,formula]]? [[공식,formula]]? [[식,formula]]?
- 명제식,propositional_formula . . . . 19 matches
(wpen) propositional_expression, sentential_formula 와 동의어이며 sentence라고도 한다고. - [[문장,sentence]]과의 관계 확실히.
[[포뮬러,formula]]
: A canonical form for a '''propositional formula'''. ( https://encyclopediaofmath.org/wiki/Disjunctive_normal_form )
WtEn:propositional_formula ?
[[WpEn:Propositional_formula]]
= https://en.wikipedia.org/wiki/Propositional_formula
a '''propositional formula''' is a type of syntactic formula
// (syntactic_formula : [[신택스,syntax]] [[포뮬러,formula]] ... [[논리식,logical_formula]] ... 명제논리이므로 '''명제식,propositional_formula'''?)
If the values of all variables in a propositional formula are given,
// [[명제식,propositional_formula]]의 모든 변수의 값들이 주어지면,
A '''propositional formula''' may also be called '''a propositional expression, a sentence, or a sentential formula'''.
// AKA: [[명제식,propositional_expression]], a [[문장,sentence]], or a [[문장식,sentential_formula]].
https://encyclopediaofmath.org/wiki/Propositional_formula
[[논리식,logical_formula]]?
- 식,expression . . . . 16 matches
[[formula]] { [[논리식,logical_formula]] [[논리식,logic_formula]] [[논리식,formula]] REL: [[원자식,atom]](atomic_formula) [[명제식,propositional_formula]] .... }
well-formed_formula - [[적형식,wff]]
[[명제식,propositional_formula]]
[[포뮬러,formula]]
[[논리식,logical_formula]] = [[논리식,logic_formula]] ~= [[적형식,wff]]
[[논리식,logical_expression]] ? - 현재 [[논리식,logic_formula]] [[논리식,logical_formula]] 페이지는 있는데... TBD
[[식,]], [[VG:식,]] 그리고 [[expression]]으로 검색해 적당히 링크 - atom, formula 이런것들
[[공식,formula]]
REL: [[원자식,atom]](atomic_formula)
- 원자식,atom . . . . 10 matches
'''atomic formula''', 줄여서 간단히 '''atom'''
aka '''prime formula'''[* "atomic formula (also known as an atom or a prime formula)" (we)]
WtEn:atomic_formula
[[WpEn:Atomic_formula]]
Up: [[포뮬러,formula]]
'''atomic_formula''' =,atomic_formula . atomic_formula
- 논리식,logical_formula . . . . 9 matches
##=====논리식,logical_formula =,logical_formula 논리식 logical_formula
페이지명 [[논리식,formula]]으로 할까?
[[포뮬러,formula]]? [[공식,formula]]?
[[논리식,logic_formula]] - ? merge?
[[명제식,propositional_formula]]
https://encyclopediaofmath.org/wiki/Logical_formula
- 서브,sub . . . . 9 matches
== subformula ==
##=,subformula . subformula
WtEn:subformula
NN:subformula Ggl:subformula
MKL [[논리식,logic_formula]] [[논리식,logical_formula]] [[포뮬러,formula]]
- 블랙-숄즈,Black-Scholes . . . . 8 matches
[[블랙-숄즈_공식,Black-Scholes_formula]] =블랙-숄즈_공식,Black-Scholes_formula =,Black-Scholes_formula 블랙-숄즈_공식 Black-Scholes_formula
Black-Scholes formula
[[공식,formula]]
https://en.wikipedia.org/wiki/Black–Scholes_model#Black–Scholes_formula
[[WpEn:Black–Scholes_model]] (model and formula)
- 형식,form . . . . 7 matches
formula
[[formula]]Srch:formula - 번역들: 공식, 식,
pl. formulae or formulas (wk)
https://simple.wikipedia.org/wiki/Formula
https://en.wikipedia.org/wiki/Formula
- 리터럴,literal . . . . 3 matches
'''리터럴'''은 atomic formula(aka 'atom' or 'prime formula') or its negation.
'''리터럴'''이란, [[원자식,atomic_formula]]([[원자식,atom]]) 혹은 그것의 [[부정,negation]].
- 명제논리,propositional_logic . . . . 3 matches
[[명제식,propositional_formula]]
[[논리식,logical_formula]] / [[논리식,logical_formula]] / [[적형식,wff]]
- 시퀀트,sequent . . . . 3 matches
[[formula]]s 이 있는데 premise들과 conclusion(들)이 있고
'''sequent'''의 RHS에 있는 [[formula]]s.
5. (logic) The first of two subsets of a '''sequent''', consisting of all the sequent's [[formula]]e which are valuated as true.
- 아톰,atom . . . . 3 matches
atomic_formula =,atomic_formula -> [[원자식,atom]] (atomic_formula)
- 이차,quadratic . . . . 3 matches
이차방정식의 해의 공식? quadratic_formula WtEn:quadratic_formula Ggl:"quadratic formula"
- 진리값,truth_value . . . . 3 matches
... chk [[논증,argument]] / [[불_식,Boolean_expression]] / [[논리식,logic_formula]] ~ [[논리식,logical_formula]] / [[명제식,propositional_formula]] / [[문장,sentence]]
- 텀,term . . . . 3 matches
formula - [[포뮬러,formula]] ...
식 - [[식,expression]] [[식,formula]] ...
- 폼,form . . . . 3 matches
[[포뮬러,formula]] - 수학에선 [[공식,formula]]
[[formulation]] 형식화? 정형화?
- 가능성,possibility . . . . 2 matches
the formula ㅁP can be used to represent the [[문장,statement]] that "P is known"
다음 modal_formula 를 이렇게 읽는다고.
- 가설,hypothesis . . . . 2 matches
그리고 $\operatorname{Re}(s)>1$ 일 때는 영점이 존재하지 않으며, Euler_product_formula Ggl:"Euler product formula" 로 증명이 가능한데, 여기선 스킵하겠다.
- 규칙,rule . . . . 2 matches
WtEn:rewriting#Noun 2. "a wide range of potentially non-deterministic methods of replacing subterms of a formula with other terms"
WtEn:rewrite#Noun 3. "The replacement of subterms of a formula with other terms, according to certain rules, by way of transformation."
- 노멀폼,normal_form . . . . 2 matches
Boolean_logic 에서, [[포뮬러,formula]]가 CNF라는 것은...
(첫문단 "In [Boolean_logic], a formula is in '''conjunctive normal form (CNF) or clausal normal form'''
- 추론규칙,inference_rule . . . . 2 matches
[[형식체계,formal_system]]에 추가되어도 그 체계의 [[정리,theorem]]를 바꾸지 않는 [[추론규칙,inference_rule]]. 사실 이게 없이도 이미 존재하는 규칙들로부터 모든 formula가 derive될 수 있으므로, 이것은 redundant하다고 볼 수 있음.
[[논리식,logic_formula]]
- 충족가능성,satisfiability . . . . 2 matches
formula [[공식,formula]]? 은, 그 [[변수,variable]]들에 어떤(적당한) [[대입,assignment]]을 해서 [[참,true]]이 되면, satisfiable.
- 칼큘러스,calculus . . . . 2 matches
"is an algorithm formulated by utilitarian philosopher Jeremy_Bentham (1747–1832) for calculating the degree or amount of pleasure that a specific action is likely to induce."(we)
투플 해석 공식 tuple calculus formula
- 클로저,closure . . . . 2 matches
or is_a [[포뮬러,formula]] > [[논리식,logical_formula]]?
- TmpExcerpts . . . . 1 match
(각주): $n! \approx \sqrt{2\pi n}(n/e)^n.$ ([[VG:스털링_공식,Stirling_formula]])
- 구조,structure . . . . 1 match
[[구조식,structural_formula]] - 화학에서 분자에 대한
- 논리게이트,logic_gate . . . . 1 match
표현을 위해 [[논리식,logic_formula]]이나 [[진리표,truth_table]] 사용됨.
- 로직,logic . . . . 1 match
"'''CTL*''' is a [[superset]] of computational tree logic''([[computation_tree_logic]]?)'' (CTL) and [[linear_temporal_logic]] (LTL). It freely combines [[path_quantifier]]s and [[temporal_operator]]s. Like CTL, CTL* is a branching-time logic. The formal semantics of CTL* formulae are defined with respect to a given [[Kripke_structure]]." (we)
- 명제proposition . . . . 1 match
[[명제식,propositional_formula]]
- 모형,model . . . . 1 match
이하 명제를 '만족' ( 혹시 충족으로도 번역되는 satisfaction ?? [[포뮬러,formula]]가 [[참,true]]이 되게 하는 그거? rel. [[satisfaction_relation]]? chk. Ggl:satisfaction+in+mathematics ... [[만족,satisfaction]] [[충족,satisfaction]] ... KmsK:만족 )
- 변수,variable . . . . 1 match
"A variable that appears in an axiom schema and ranges over formulas, distinguished from the variables of the axiom schema that are quantified over and that range over the individuals of the universe of discourse."
- 선언,declaration . . . . 1 match
* delcaration_style : In the declaration style you formulate an algorithm in terms of several equations that shall be satisfied.
- 오일러_공식,Euler_formula . . . . 1 match
[[공식,formula]]
- 이토_과정,Ito_process . . . . 1 match
[[이토_공식,Ito_formula]]
- 이희원_고등미적분학1_2013 . . . . 1 match
드무아브르 정리 생략. See [[VG:드무아브르_공식,de_Moivre_s_formula]]
- 절,clause . . . . 1 match
Up: [[논리식,logical_formula]]의 일종임. (we)
- 정현파,sinusoidal_wave . . . . 1 match
[[오일러_공식,Euler_formula]]에 의해 $e^{j\omega t}=\cos\omega t + j\sin\omega t$ 즉 실수부와 허수부가 동일한 주파수(각주파수?... [[VG:각진동수,angular_frequency]]) $\omega$ 를 가지며 위상은 90도 차이인 정현파로 이루어진 [[복소신호]] { Google:복소신호 Naver:복소신호 } , 가상의 신호.
- 커널,kernel . . . . 1 match
[[오일러_공식,Euler_formula]]을 써서 복소함수로 나타내면, 유한 등비급수(see [[기하급수,geometric_series]])에 불과하다.
- 평면그래프,planar_graph . . . . 1 match
https://ncatlab.org/nlab/show/Euler%27s+formula+for+planar+graphs
- 합성,synthesis . . . . 1 match
convolution formula 합성곱공식 // Ggl:합성곱공식
Found 44 matching pages out of 2019 total pages
You can also click here to search title.
