Initial Algebra
Let’s begin with the definition of a mathematical structure ‘algebra’.
Recent posts
2-CNF Satisfiability is Poly-time Decidable
2-CNF is CNF that every clause has at most two literals. The satisfiability of CNF is NP-complete in general, however 2-CNF satisfiability is special becuase...
Horn Formula Satisfiability is Polynomial Time Decidable
A propositional logic formula is in conjuncitve normal form (CNF) if it is a conjunction of disjunctions of literals $L_{i,j}$:
의미론과 재귀 (2)
$\mathtt{while} \; B \; C$의 표시적 의미론denotational semantics적 관계는 다음과 같았다:
의미론과 재귀 (1)
프로그래밍 언어는 문법syntax과 의미론semantics의 결합으로 볼 수 있다. 어떤 가상의 기계가 있다고 가정하고 실행하는 과정을 한 단계씩 나아가는 과정을 설명하는 의미론을 실행적operational 의미론 이라고 하고, 프로그램을 어떤 함수로 간주해서 그 함수가 수학적으로...