JMX Technology (1)
NOTE: 해당 글에 있는 JMX Technology 내용은 오라클의 Java Documentation을 출처로 하고, 튜토리얼은 JDK8을 기반으로 작성된 것입니다.
Recent posts
A dive into Gradle
History of Gradle Java 시장에서 Ant와 Maven이 지배적이었다. Ant는 절차적 프로그래밍 아이디어를 기반으로 2000년도에 처음 출시된 빌드 툴이다. 그 후에도 네트워크를 통한 플러그인과 디펜던시 관리를 적용함으로써 개선되었다.
Models of Computation(4) - Context-free Grammars (CFG)
Limitations of Regular Expressions
Models of Computation(3) - Propositional Logic (CNF)
In this section, we are going to use the original syntax of propositional logic. i.e. Only the operators $\lnot, \land, \lor$ will be used. If there is a for...
Models of Computation(3.1) - Propositional Logic (ND)
Why do we do deduction?