Sub:
적형식,wff
명세언어,specification_language - 명세,specification 언어,language ie 형식언어,formal_language
프로그래밍언어,programming_language
적형식,wff
명세언어,specification_language - 명세,specification 언어,language ie 형식언어,formal_language
프로그래밍언어,programming_language
MKLINK
logical_language
형식문법,formal_grammar - 형식문법,formal_grammar
형식체계,formal_system - 형식체계,formal_system
formal_method formal_method
{
형식적 방법?
정형기법 or 형식수법 (wpko)
logical_language
형식문법,formal_grammar - 형식문법,formal_grammar
형식체계,formal_system - 형식체계,formal_system
formal_method formal_method
{
형식적 방법?
정형기법 or 형식수법 (wpko)
MKLINK
명세,specification
formalization_method // 혹은 이것자체를 mv to formalization formalization
bmks
Formal Methods Wiki
https://formalmethods.fandom.com/wiki/Formal_Methods_Wiki
명세,specification
formalization_method // 혹은 이것자체를 mv to formalization formalization
bmks
Formal Methods Wiki
https://formalmethods.fandom.com/wiki/Formal_Methods_Wiki
Key ppl:
Eric_Hehner Eric_Hehner
{
다음 비디오에서 다룸... 20분. 논리,logic와 산술,arithmetic을 어떻게 결합할 것인가
How to unify logic & arithmetic - YouTube
https://www.youtube.com/watch?v=niqqm1DRTkE
Eric_Hehner Eric_Hehner
{
다음 비디오에서 다룸... 20분. 논리,logic와 산술,arithmetic을 어떻게 결합할 것인가
How to unify logic & arithmetic - YouTube
https://www.youtube.com/watch?v=niqqm1DRTkE
먼저 symbols:
binary logic에 순서,order 주기, (=ordering)?
∧ AND
⊥ ∧ ⊤ = ⊥
⊥ < ⊤
and : minimum
binary logic에 순서,order 주기, (=ordering)?
∧ AND
⊥ ∧ ⊤ = ⊥
AND ∧ | ⊥ | ⊤ |
⊥ | ⊥ | ⊥ |
⊤ | ⊥ | ⊤ |
and : minimum
∨ OR
⊥ ∨ ⊤ = ⊤
or : maximum
⊥ ∨ ⊤ = ⊤
OR ∨ | ⊥ | ⊤ |
⊥ | ⊥ | ⊤ |
⊤ | ⊤ | ⊤ |
반대인 top/bot 기호는 위아래반대로.
commutative operation인 and/or 기호를 좌우대칭으로. (의도된 것)
commutative operation인 and/or 기호를 좌우대칭으로. (의도된 것)
x<4 ⇒ x<6
이건
(x<4)is stricter than→ (x<6),
(x<4)is less true than→ (x<6)
로 볼 수 있다. 그렇다면
⊥ → … → (x<4) → (x<6) → … → ⊤
여기서 가장 오른쪽에 있는 ⊤가 '정리,theorem' 지위를 가진다.
‘When a 진술,statement is true(top), we call it a theorem.’
이건
(x<4)
(x<4)
로 볼 수 있다. 그렇다면
⊥ → … → (x<4) → (x<6) → … → ⊤
여기서 가장 오른쪽에 있는 ⊤가 '정리,theorem' 지위를 가진다.
‘When a 진술,statement is true(top), we call it a theorem.’
⊥ → −∞ (false → negative infinity)
T → +∞ (true → positive infinity)
T → +∞ (true → positive infinity)
$\displaystyle \sum$ 대신 $\displaystyle +\langle ... \rangle$
$\displaystyle \prod$ 대신 $\displaystyle \times\langle ... \rangle$
$\displaystyle \prod$ 대신 $\displaystyle \times\langle ... \rangle$
Twins:
https://foldoc.org/formal methods
정형_기법
= https://ko.wikipedia.org/wiki/정형_기법
Formal_methods
= https://en.wikipedia.org/wiki/Formal_methods
https://formalmethods.fandom.com/wiki/Formal_methods
}
https://foldoc.org/formal methods
정형_기법
= https://ko.wikipedia.org/wiki/정형_기법
Formal_methods
= https://en.wikipedia.org/wiki/Formal_methods
https://formalmethods.fandom.com/wiki/Formal_methods
}
Intr:
https://encyclopediaofmath.org/wiki/Formal_language - in mathematical linguistics
}