2007-11-11から1日間の記事一覧
1.2 Examples of Syntax and Semantics p.4 のメモ(2) Σ-structures p.5 まず、signatureとしてΣが与えられる。 このとき、Σ-structures が、set Aと、 それぞれにつき与えられる により構成される。 ってのは、のような関数が用意されていて、\sigmaにつき…
1.2 Examples of Syntax and Semantics p.4 のメモ(2) Σ-structures p.5 まず、signatureとしてΣが与えられる。 このとき、Σ-structures が、set Aと、 それぞれにつき与えられる により構成される。 ってのは、のような関数が用意されていて、\sigmaにつき…